EPTCS 51 - SecCo 2010
Konstantinos Chatzikokolakis, Véronique Cortier (Eds.): Proceedings 8th International Workshop on Security Issues in Concurrency. 2010 EPTCS 51 [ contents ]- Bernardo Toninho, Luís Caires: A Spatial-Epistemic Logic for Reasoning about Security Protocols. ... 1-15
- Eike Best, Philippe Darondeau, Roberto Gorrieri: On the Decidability of Non Interference over Unbounded Petri Nets. ... 16-33
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team