default search action
2nd WISP@ICATPN 2004: Bologna, Italy
- Nadia Busi, Roberto Gorrieri, Fabio Martinelli:
Proceedings of the 2nd International Workshop on Security Issues with Petri Nets and other Computational Models, WISP@ICATPN 2004, Bologna, Italy, June 26, 2004. Electronic Notes in Theoretical Computer Science 121, Elsevier 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
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
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 W. Bryans
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-02 18:01 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: