SecCo

Keyphrases

Publications

2010

Loïc Hélouët, Aline Roumy
Covert channel detection using Information Theory SecCo (2010)
Bernardo Toninho, Luís Caires
A Spatial-Epistemic Logic for Reasoning about Security Protocols SecCo (2010)
Eike Best, Philippe Darondeau, Roberto Gorrieri
On the Decidability of Non Interference over Unbounded Petri Nets SecCo (2010)

volume 51, 2010

Proceedings 8th International Workshop on Security Issues in Concurrency, SecCo 2010, Paris, France, 30th August 2010. SecCo 51 (2010)

volume 128, number 5, 2005

Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems, SecCo 2004, London, UK, August 30, 2004 SecCo 128 (5) (2005)

volume 85, number 3, 2003

First International Workshop on Security Issues in Coordination Models, Languages, and Systems, SecCo 2003, Satellite Event for ICALP 2003, Eindhoven, The Netherlands, June 28-29, 2003 SecCo 85 (3) (2003)