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)