Security Protocols XVII [electronic resource] :17th International Workshop, Cambridge, UK, April 1-3, 2009. Revised Selected Papers /
Contributor(s): Christianson, Bruce [editor.] | Malcolm, James A [editor.] | Matyáš, Vashek [editor.] | Roe, Michael [editor.] | SpringerLink (Online service).Material type: BookSeries: Lecture Notes in Computer Science: 7028Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.Description: X, 367 p. 28 illus. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783642362132.Subject(s): Computer science | Computer communication systems | Computer security | Data encryption (Computer science) | Computers | Law and legislation | Management information systems | Computer Science | Data Encryption | Computer Communication Networks | Management of Computing and Information Systems | Systems and Data Security | Information Systems Applications (incl. Internet) | Legal Aspects of ComputingOnline resources: Click here to access online
Evolutionary design of attack strategies -- Below the salt -- Attacking each other -- Bringing zero-knowledge proofs of knowledge to practice -- Towards a verified reference implementation of a trusted platform module -- Pretty good democracy -- Brief encounters with a random key graph -- Why I'm not an entropist -- A novel stateless authentication protocol -- Establishing distributed hidden friendship relations -- The final word.
This book constitutes the thoroughly refereed post-proceedings of the 17th International Workshop on Security Protocols, SP 2009, held in Cambridge, UK, in April 2009. The 17 revised full papers presented together with edited transcriptions of some of the discussions following the presentations have gone through multiple rounds of reviewing, revision, and selection. The theme of this workshop was "Brief Encounters". In the old days, security protocols were typically run first as preliminaries to, and later to maintain, relatively stable continuing relationships between relatively unchanging individual entities. Pervasive computing, e-bay and second life have shifted the ground: we now frequently desire a secure commitment to a particular community of entities, but relatively transient relationships with individual members of it, and we are often more interested in validating attributes than identity. The papers and discussions in this volume examine the theme from the standpoint of various different applications and adversaries.