|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 10 publication records. Showing 10 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Nadia Busi, Roberto Gorrieri, Fabio Martinelli (eds.) |
Proceedings of the 2nd International Workshop on Security Issues with Petri Nets and other Computational Models, WISP@ICATPN 2004, Bologna, Italy, June 26, 2004 ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISP@ICATPN ![Elsevier The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Federico Crazzolara, Glynn Winskel |
Petri Nets With Persistence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISP@ICATPN ![In: Proceedings of the 2nd International Workshop on Security Issues with Petri Nets and other Computational Models, WISP@ICATPN 2004, Bologna, Italy, June 26, 2004, pp. 143-155, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISP@ICATPN ![In: Proceedings of the 2nd International Workshop on Security Issues with Petri Nets and other Computational Models, WISP@ICATPN 2004, Bologna, Italy, June 26, 2004, pp. 117-142, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo Corin, Jeroen Doumen, Sandro Etalle |
Analysing Password Protocol Security Against Off-line Dictionary Attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISP@ICATPN ![In: Proceedings of the 2nd International Workshop on Security Issues with Petri Nets and other Computational Models, WISP@ICATPN 2004, Bologna, Italy, June 26, 2004, pp. 47-63, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy W. Bryans, Maciej Koutny, Peter Y. A. Ryan |
Modelling Opacity Using Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISP@ICATPN ![In: Proceedings of the 2nd International Workshop on Security Issues with Petri Nets and other Computational Models, WISP@ICATPN 2004, Bologna, Italy, June 26, 2004, pp. 101-115, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Giacomo Baldi, Andrea Bracciali, Gian-Luigi Ferrari 0002, Emilio Tuosto |
A Coordination-based Methodology for Security Protocol Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISP@ICATPN ![In: Proceedings of the 2nd International Workshop on Security Issues with Petri Nets and other Computational Models, WISP@ICATPN 2004, Bologna, Italy, June 26, 2004, pp. 23-46, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Nadia Busi, Roberto Gorrieri, Fabio Martinelli |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISP@ICATPN ![In: Proceedings of the 2nd International Workshop on Security Issues with Petri Nets and other Computational Models, WISP@ICATPN 2004, Bologna, Italy, June 26, 2004, pp. 1-2, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Chiara Bodei, Michele Curti, Pierpaolo Degano, Corrado Priami |
A Quantitative Study of Two Attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISP@ICATPN ![In: Proceedings of the 2nd International Workshop on Security Issues with Petri Nets and other Computational Models, WISP@ICATPN 2004, Bologna, Italy, June 26, 2004, pp. 65-85, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | John Bigham, Xuan Jin, David Gamez, Chris I. Phillips 0001 |
Hybrid Workflow and Bayesian Networks to Correlate Information in the Protection of Large Scale Critical Infrastructures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISP@ICATPN ![In: Proceedings of the 2nd International Workshop on Security Issues with Petri Nets and other Computational Models, WISP@ICATPN 2004, Bologna, Italy, June 26, 2004, pp. 87-99, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Wil M. P. van der Aalst, Ana Karla A. de Medeiros |
Process Mining and Security: Detecting Anomalous Process Executions and Checking Process Conformance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISP@ICATPN ![In: Proceedings of the 2nd International Workshop on Security Issues with Petri Nets and other Computational Models, WISP@ICATPN 2004, Bologna, Italy, June 26, 2004, pp. 3-21, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #10 of 10 (100 per page; Change: )
|
|