


default search action
7th SECCO 2009: Bologna, Italy
- Michele Boreale
, Steve Kremer
:
Proceedings 7th International Workshop on Security Issues in Concurrency, SECCO 2009, Bologna, Italy, 5th September 2009. 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

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.