8th International Workshop on Security Issues in Concurrency

Accepted papers

• Eike Best, Philippe Darondeau and Roberto Gorrieri.
  On the Decidability of Non Interference over Unbounded Petri Nets
  
  
• Bernardo Toninho and Luis Caires.
  A Spatial-Epistemic Logic for Reasoning about Security Protocols
  
  
• Loic Helouet and Aline Roumy.
  Covert channel detection using Information Theory
  
  
• Stephanie Delaune, Steve Kremer, Mark Ryan and Graham Steel.
  A Formal Analysis of Authentication in the TPM (short paper)