Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "WISP@ICATPN"( http://dblp.L3S.de/Venues/WISP@ICATPN )

URL (DBLP): http://dblp.uni-trier.de/db/conf/apn

Publication years (Num. hits)
2004 (9) 2005 (1)
Publication types (Num. hits)
inproceedings(9) proceedings(1)
Venues (Conferences, Journals, ...)
WISP@ICATPN(10)
Authors
Fabio Martinelli(2) Nadia Busi(2) Roberto Gorrieri(2) Abdelmalek Benzekri(1) Ana Karla A. de Medeiros(1) Andrea Bracciali(1) Bassem Nasser(1) Chiara Bodei(1) Chris I. Phillips 0001(1) Corrado Priami(1) David Gamez(1) Emilio Tuosto(1) Federico Crazzolara(1) François Barrère(1) Frédéric Grasset(1) Giacomo Baldi(1) More (+10 of total 30)
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
1Nadia 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 WISP@ICATPN The full citation details ... 2005 DBLP  BibTeX  RDF
1Federico Crazzolara, Glynn Winskel Petri Nets With Persistence. Search on Bibsonomy WISP@ICATPN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Romain 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 WISP@ICATPN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Ricardo Corin, Jeroen Doumen, Sandro Etalle Analysing Password Protocol Security Against Off-line Dictionary Attacks. Search on Bibsonomy WISP@ICATPN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Jeremy W. Bryans, Maciej Koutny, Peter Y. A. Ryan Modelling Opacity Using Petri Nets. Search on Bibsonomy WISP@ICATPN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Giacomo Baldi, Andrea Bracciali, Gian-Luigi Ferrari 0002, Emilio Tuosto A Coordination-based Methodology for Security Protocol Verification. Search on Bibsonomy WISP@ICATPN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Nadia Busi, Roberto Gorrieri, Fabio Martinelli Preface. Search on Bibsonomy WISP@ICATPN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Chiara Bodei, Michele Curti, Pierpaolo Degano, Corrado Priami A Quantitative Study of Two Attacks. Search on Bibsonomy WISP@ICATPN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1John 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 WISP@ICATPN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Wil 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 WISP@ICATPN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #10 of 10 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license