Volume 121, February 2005

Proceedings of the 2nd International Workshop on Security Issues with Petri Nets and other Computational Models (WISP 2004)

• 
  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