Limit search to available items
Book Cover
E-book
Author International Workshop on Security Protocols (17th : 2009 : Cambridge, England)

Title Security protocols XVII : 17th International Workshop, Cambridge, UK, April 1-3, 2009. Revised selected papers / Bruce Christianson [and others] (eds.)
Published Berlin ; New York : Springer, ©2013

Copies

Description 1 online resource
Series Lecture notes in computer science, 0302-9743 ; 7028
LNCS sublibrary. SL 4, Security and cryptology
Lecture notes in computer science ; 7028.
LNCS sublibrary. SL 4, Security and cryptology.
Contents Introduction: Brief Encounters / Bruce Christianson -- Evolutionary Design of Attack Strategies / Jiří Kůr, Václav Matyáš, Petr Švenda -- Evolutionary Design of Attack Strategies / Petr Švenda -- Below the Salt / Matt Blaze, Patrick McDaniel -- Is the Honeymoon over? / Matt Blaze -- Below the Salt / Matt Blaze -- Attacking Each Other / Wihem Arsac, Giampaolo Bella, Xavier Chantry, Luca Compagna -- Attacking Each Other / Xavier Chantry -- Bringing Zero-Knowledge Proofs of Knowledge to Practice / Endre Bangerter, Stefania Barzan, Stephan Krenn -- Bringing Zero-Knowledge Proofs of Knowledge to Practice / Stephan Krenn -- Towards a Verified Reference Implementation of a Trusted Platform Module / Aybek Mukhamedov, Andrew D. Gordon, Mark Ryan -- Towards a Verified Reference Implementation of a Trusted Platform Module / Aybek Mukhamedov
The Least Privacy-Damaging Centralised Traffic Data Retention Architecture / George Danezis -- The Least Privacy-Damaging Centralised Traffic Data Retention Architecture / George Danezis -- Pretty Good Democracy / Peter Y.A. Ryan, Vanessa Teague -- Pretty Good Democracy / Peter Y.A. Ryan -- Design and Verification of Anonymous Trust Protocols / Michael Backes, Matteo Maffei -- Design and Verification of Anonymous Trust Protocols / Michael Backes -- Brief Encounters with a Random Key Graph / Virgil D. Gligor, Adrian Perrig, Jun Zhao -- Brief Encounters with a Random Key Graph / Virgil D. Gligor -- Trust*: Using Local Guarantees to Extend the Reach of Trust / Stephen Clarke, Bruce Christianson, Hannan Xiao -- Trust*: Using Local Guarantees to Extend the Reach of Trust / Bruce Christianson -- Alice and Bob in Love / Joseph Bonneau -- Alice and Bob in Love / Joseph Bonneau -- Why I'm Not an Entropist / Paul Syverson
Why I'm Not an Entropist / Paul Syverson -- Deriving Ephemeral Authentication Using Channel Axioms / Dusko Pavlovic, Catherine Meadows -- Deriving Ephemeral Authentication Using Channel Axioms / Catherine Meadows -- A Novel Stateless Authentication Protocol / Chris J. Mitchell -- A Novel Stateless Authentication Protocol / Chris J. Mitchell -- The Trust Economy of Brief Encounters / Ross Anderson -- The Trust Economy of Brief Encounters / Ross Anderson -- Qualitative Analysis for Trust Management / Simon N. Foley, Vivien M. Rooney -- Qualitative Analysis for Trust Management / Simon N. Foley -- Establishing Distributed Hidden Friendship Relations / Sören Preibusch, Alastair R. Beresford -- Establishing Distributed Hidden Friendship Relations / Sören Preibusch -- Not That Kind of Friend / Jonathan Anderson, Frank Stajano -- Not That Kind of Friend / Jonathan Anderson -- The Final Word / Orson Scott Card
Summary 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
Analysis Computer science
Computer Communication Networks
Data protection
Data encryption (Computer science)
Computers -- Law and legislation
Management of Computing and Information Systems
Systems and Data Security
Information Systems Applications (incl. Internet)
In Springer eBooks
Subject Computer security -- Congresses
Data encryption (Computer science) -- Congresses
Computer networks -- Security measures -- Congresses
Computer networks.
Computer security.
Computer Communication Networks
Computer Security
Computer networks -- Security measures.
Computer security.
Data encryption (Computer science)
Genre/Form Electronic books
Conference papers and proceedings.
Conference papers and proceedings.
Actes de congrès.
Form Electronic book
Author Christianson, Bruce.
ISBN 9783642362132
3642362133
Other Titles Security protocols 17