Electronic Notes in Theoretical Computer Science, Volume 121

Volume 121, February 2005

• Nadia Busi, Roberto Gorrieri, Fabio Martinelli:
  Preface. 1-2
  
• Wil M. P. van der Aalst, Ana Karla A. de Medeiros:
  Process Mining and Security: Detecting Anomalous Process Executions and Checking Process Conformance. 3-21
  
• Giacomo Baldi, Andrea Bracciali, Gian Luigi Ferrari, Emilio Tuosto:
  A Coordination-based Methodology for Security Protocol Verification. 23-46
  
• Ricardo Corin, Jeroen Doumen, Sandro Etalle:
  Analysing Password Protocol Security Against Off-line Dictionary Attacks. 47-63
  
• Chiara Bodei, Michele Curti, Pierpaolo Degano, Corrado Priami:
  A Quantitative Study of Two Attacks. 65-85
  
• John Bigham, Xuan Jin, David Gamez, Chris I. Phillips:
  Hybrid Workflow and Bayesian Networks to Correlate Information in the Protection of Large Scale Critical Infrastructures. 87-99
  
• Jeremy Bryans, Maciej Koutny, Peter Y. A. Ryan:
  Modelling Opacity Using Petri Nets. 101-115
  
• Romain Laborde, Bassem Nasser, Frédéric Grasset, François Barrère, Abdelmalek Benzekri:
  A Formal Approach for the Evaluation of Network Security Mechanisms Based on RBAC Policies. 117-142
  
• Federico Crazzolara, Glynn Winskel:
  Petri Nets With Persistence. 143-155