Bruce Christianson , Bruno Crispo , James A. Malcolm , Michael Roe (Eds.):
Security Protocols - 15th International Workshop, Brno, Czech Republic, April 18-20, 2007. Revised Selected Papers.
Lecture Notes in Computer Science 5964 Springer 2010, ISBN 978-3-642-17772-9
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Micah Sherr :
Measurable Security through Isotropic Channels (Transcript of Discussion).
13-19
export record as
dblp key:
export record as
dblp key:
Amerson Lin :
Modeling Partial Attacks with Alloy (Transcript of Discussion).
34-36
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Shishir Nagaraja :
Privacy Amplification with Social Networks (Transcript of Discussion).
74-80
export record as
dblp key:
export record as
dblp key:
Michael Roe :
Reconciling Multiple IPsec and Firewall Policies (Transcript of Discussion).
98-103
export record as
dblp key:
export record as
dblp key:
Alf Zugenmaier :
Anchor-Less Secure Session Mobility (Transcript of Discussion).
110-113
export record as
dblp key:
export record as
dblp key:
Thomas Tjøstheim :
A Model for System-Based Analysis of Voting Systems (Transcript of Discussion).
131-132
export record as
dblp key:
export record as
dblp key:
Bruce Christianson :
Multi-Channel Key Agreement Using Encrypted Public Key Exchange (Transcript of Discussion).
139-146
export record as
dblp key:
export record as
dblp key:
Jolyon Clulow :
On the Security of the EMV Secure Messaging API (Transcript of Discussion).
150-151
export record as
dblp key:
export record as
dblp key:
Jaap-Henk Hoepman :
Distributed Double Spending Prevention (Transcript of Discussion).
166-170
export record as
dblp key:
export record as
dblp key:
Jolyon Clulow :
Robbing the Bank with a Theorem Prover - (Transcript of Discussion).
172-177
export record as
dblp key:
export record as
dblp key:
Hiroshi Yoshiura :
Disclosure Control of Natural Language Information to Enable Secure and Enjoyable Communication over the Internet - (Transcript of Discussion).
189-190
export record as
dblp key:
export record as
dblp key:
Alec Yasinsac :
Towards Working with Small Atomic Functions - (Transcript of Discussion).
201-203
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
George Danezis :
Private Yet Abuse Resistant Open Publishing (Transcript of Discussion).
244-255
export record as
dblp key:
conf/spw/ChristiansonCMR07
data released under the ODC-BY 1.0 license
