EPTCS 7 - SECCO 2009

Michele Boreale, Steve Kremer (Eds.): Proceedings 7th International Workshop on Security Issues in Concurrency. EPTCS 7 2009

Han Chen, Pasquale Malacaria:
Studying Maximum Information Leakage Using Karush-Kuhn-Tucker Conditions. 1-15
Filippo Del Tedesco, David Sands:
A User Model for Information Erasure. 16-30
Jun Pang, Chenyi Zhang:
How to Work with Honest but Curious Judges? (Preliminary Report). 31-45
Joshua D. Guttman:
Fair Exchange in Strand Spaces. 46-60
Qurat ul Ain Nizamani, Emilio Tuosto:
Heuristic Methods for Security Protocols. 61-75

Last update Wed May 22 22:44:17 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page