Operational semantics and verification of security protocols /

Operational semantics and verification of security protocols /

Pokaži ostale verzije (3)

<p>Security protocols are widely used to ensure secure communications over insecure networks, such as the internet or airwaves. These protocols use strong cryptography to prevent intruders from reading or modifying the messages. However, using cryptography is not enough to ensure their correct...

Spremljeno u:

Bibliografski detalji
Glavni autor:	Cremers, Cas (Autor)
Autor kompanije:	SpringerLink (Online service)
Daljnji autori:	Mauw, Sjouke
Format:	e-knjiga
Jezik:	English
Izdano:	Berlin, Heidelberg Springer Berlin Heidelberg 2012.
Serija:	Information Security and Cryptography
Teme:	Computer science. Computer network architectures. Software engineering. Data structures (Computer science).
Online pristup:	Click here to view the full text content
Oznake:	Dodaj oznaku Bez oznaka, Budi prvi tko označuje ovaj zapis!

Similar Items

Operational semantics and verification of security protocols /
od: Cremers, Cas
Izdano: (2012)

Operational semantics and verification of security protocols
od: Cremers, Cas
Izdano: (2012)

Operational semantics and verification of security protocols
od: Cremers, Cas
Izdano: (2012)

Cryptographic protocol : security analysis based on trusted freshness /
od: Dong, Ling
Izdano: (2012)

Engineering secure two-party computation protocols : Design, optimization, and applications of efficient secure function evaluation /
od: Schneider, Thomas
Izdano: (2012)

Synchronizing internet protocol security (SIPSec)
od: Shoniregun, Charles A.
Izdano: (2007)

Efficient secure two-party protocols techniques and constructions /
od: Hazay, Carmit
Izdano: (2010)

Security protocols 15th international workshop, Brno, Czech Republic, April 18-20, 2007. revised selected papers /
Izdano: (2010)

Security protocols : 13th International Workshop, Cambridge, UK, April 20-22, 2005, Revised Selected Papers /
Izdano: (2007)

Computer aided verification : 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings /
Izdano: (2014)

Network-Aware Security for Group Communications
od: Sun, Yan
Izdano: (2008)

Security for Telecommunications Networks
od: Traynor, Patrick
Izdano: (2008)

Protocol engineering /
od: König, Hartmut
Izdano: (2012)

Secure smart embedded devices, platforms and applications /
Izdano: (2014)

Embedded java security : security for mobile devices /
od: Debbabi, Mourad
Izdano: (2007)

Economics of information security and privacy
Izdano: (2010)

Formal correctness of security protocols : With 62 Figures and 4 Tables /
od: Bella, Giampaolo
Izdano: (2007)

Security protocols : 11th International Workshop, Cambridge, UK, April 2-4, 2003, Revised Selected Papers

Information Processing and Security Systems
od: Saeed, Khalid
Izdano: (2005)

Engineering secure software and systems second international symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010. Proceedings /
Izdano: (2010)

Engineering secure software and systems Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings /
Izdano: (2011)

Engineering secure software and systems : 4th International symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings /
od: Barthe, Gilles
Izdano: (2012)

Practical internet security /
od: Vacca, John R.
Izdano: (2007)

Engineering secure software and systems : 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings /
Izdano: (2013)

Secure group communications over data networks
od: Zou, Xukai
Izdano: (2005)

Information security theory and practice. security of mobile and cyber-physical systems : 7th IFIP WG 11.2 International Workshop, WISTP 2013, Heraklion, Greece, May 28-30, 2013. Proceedings /
Izdano: (2013)

Security for wireless sensor networks
od: Liu, Donggang
Izdano: (2007)

Guide to wireless network security /
od: Vacca, John R.

Cyberspace security and defense: research isssues Proceedings of the NATO advanced research workshop on cyberspace security and defense: research issues Gdansk, Poland 6-9 September 2004 /
Izdano: (2005)

Developing ambient intelligence : Proceedings of the First International Conference on Ambient Intelligence Developments (AmID'06) /
od: Mana, Antonio

Insider threats in cyber security
Izdano: (2010)

Security in E-Learning
od: Weippl, Edgar
Izdano: (2005)

Security Protocols XXI : 21st International Workshop, Cambridge, UK, March 19-20, 2013, Revised Selected Papers /
Izdano: (2013)

Advances in information security and its application Third International Conference, ISA 2009, Seoul, Korea, June 25-27, 2009. Proceedings /
Izdano: (2009)

Operational Semantics for Timed Systems A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems
Izdano: (2005)

The semantic web : Joint international semantic technology conference, JIST 2011, Hangzhou, China, December 4-7, 2011. Proceedings /
Izdano: (2012)

Smart Cards, Tokens, Security and Applications
od: Mayes, Keith E.
Izdano: (2008)

Security with noisy data : on private biometrics, secure key storage and anti-counterfeiting /
Izdano: (2008)

Secure localization and time synchronization for wireless sensor and ad hoc networks
Izdano: (2007)

Network security policies and procedures
od: Frye, Douglas W.
Izdano: (2007)