|
|
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 |
WISP@ICATPN |
2005 |
DBLP BibTeX RDF |
|
1 | Federico Crazzolara, Glynn Winskel |
Petri Nets With Persistence. |
WISP@ICATPN |
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. |
WISP@ICATPN |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo Corin, Jeroen Doumen, Sandro Etalle |
Analysing Password Protocol Security Against Off-line Dictionary Attacks. |
WISP@ICATPN |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy W. Bryans, Maciej Koutny, Peter Y. A. Ryan |
Modelling Opacity Using Petri Nets. |
WISP@ICATPN |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Giacomo Baldi, Andrea Bracciali, Gian-Luigi Ferrari 0002, Emilio Tuosto |
A Coordination-based Methodology for Security Protocol Verification. |
WISP@ICATPN |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Nadia Busi, Roberto Gorrieri, Fabio Martinelli |
Preface. |
WISP@ICATPN |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Chiara Bodei, Michele Curti, Pierpaolo Degano, Corrado Priami |
A Quantitative Study of Two Attacks. |
WISP@ICATPN |
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. |
WISP@ICATPN |
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. |
WISP@ICATPN |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #10 of 10 (100 per page; Change: )
|
|