Security Protocols: 14th International Workshop, Cambridge, UK, March 27-29, 2006, Revised Selected Papers
- ISBN-10
- 3642049036
- ISBN-13
- 9783642049033
- Series
- Security Protocols
- Category
- Computers
- Pages
- 287
- Language
- English
- Published
- 2009-10-15
- Publisher
- Springer Science & Business Media
- Authors
- Michael Roe, Bruce Christianson, Bruno Crispo
Description
This book constitutes the thoroughly refereed post-proceedings of the 14th International Workshop on Security Protocols, held in Cambridge, UK, in March 2006. The 21 revised full papers presented together with edited transcriptions of some of the discussions following the presentations have passed through multiple rounds of reviewing, revision, and selection. Among the topics addressed are authentication, anonymity, cryptographics and biometrics, cryptographic protocols, network security, privacy, SPKI, user-friendliness, access control, API security, costs of security, and others.
Get the book
Other editions
-
- 2006
- - pages
- Paperback
- Springer Science & Business Media
-
- 2005-09-05
- 349 pages
- Paperback
- Springer Science & Business Media
-
- 2004-01-13
- 241 pages
- Paperback
- Springer Science & Business Media
-
- 2001-09-12
- 266 pages
- Paperback
- Springer Science & Business Media
Similar books
-
Internet Security Protocols: Protecting IP Traffic
By Uyless D. BlackImplement end-to-end and gateway security for IP networks. "Internet Security Protocols: Protecting IP Traffic" is a complete networking professional's guide to providing end-to-end and gateway Internet security for the...
-
Security Protocols: 21st International Workshop, Cambridge, UK, March 19-20, 2013, Revised Selected Papers
By Joseph Bonneau, Jonathan Anderson, Bruce ChristiansonThis book constitutes the thoroughly refereed post-workshop proceedings of the 21st International Workshop on Security Protocols, held in Cambridge, UK, in March 2013.
-
The Modelling and Analysis of Security Protocols: The CSP Approach
By Peter Ryan[17] J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, and L. J. Hwang. Symbolic model checking: 1020 states and beyond. Information and Computation, 98(2), 1992. [18] M. Burmester and Y. Desmedt. A secure and efficient conference ...
-
Formal Correctness of Security Protocols
By Giampaolo Bellathe protocol by Abadi et al. was available (Abadi and Blanchet's analysis [2] was yet to be published). ... 12.1.2 Challenges from Higher-Level Protocols Classical security protocols, such as those from Clark and Jacob's library [61], ...
-
Security Protocols XXVI: 26th International Workshop, Cambridge, UK, March 19–21, 2018, Revised Selected Papers
By Jonathan Anderson, Bruce Christianson, Frank StajanoMore recently we went deeper into the relation of threat models and the subtleties they entail on the formal verification process of security protocols in the presence of humans [8]. We started to symbolically evaluate security ...
-
Security Protocols XXIII: 23rd International Workshop, Cambridge, UK, March 31 - April 2, 2015, Revised Selected Papers
By Jonathan Anderson, James Malcolm, Bruce ChristiansonIn the study of secure protocols, we must both ensure that the design of the protocol is secure and that the implementation is correct. One implementation problem which has frequently occurred is that implementations fail to implement ...
-
Security Protocols XXIV: 24th International Workshop, Brno, Czech Republic, April 7-8, 2016, Revised Selected Papers
By Jonathan Anderson, Bruce Christianson, Frank StajanoThanks to revelations by Snowden and by currently available man-in-the-middle tools focused on protocol meta-data (such as so-called “Stingrays” for cellphones), this view is no longer tenable. Security protocols that only protect the ...
-
Security Protocols XXII: 22nd International Workshop, Cambridge, UK, March 19-21, 2014, Revised Selected Papers
By Jonathan Anderson, James Malcolm, Bruce ChristiansonNon-collaborative Attackers and How and Where to Defend Flawed Security Protocols (Extended Version) Michele Peroli1, Luca Vigan`o2(B), and Matteo Zavatteri1 1 Dipartimento di Informatica, Universit`a di Verona, Verona, ...
-
Security Protocols XVI: 16th International Workshop, Cambridge, UK, April 16-18, 2008. Revised Selected Papers
By Michael Roe, James Malcolm, Bruce Christianson4 Discussion In this paper we considered a quantitative-based approach to evaluating the deployment of security protocols. The approach focuses on how confidence in protocol components can be traced across the deployment; ...
-
Security Protocols XVII: 17th International Workshop, Cambridge, UK, April 1-3, 2009. Revised Selected Papers
By Michael Roe, Bruce Christianson, James A. MalcolmGollmann, D.: On the verification of cryptographic protocols — a tale of two committees. In: Proc. of the Workshop on Secure Architectures and Information Flow. ENTCS, vol. 32. Elsevier Science (2000) 4.