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
Last update Tue May 21 13:45:40 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
