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
|
|
Computer networks -- Security measures
|
|
Computer security
|
|
Data encryption (Computer science)
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Christianson, Bruce.
|
ISBN |
9783642362132 |
|
3642362133 |
|