Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "ARSPA@IJCAR"( http://dblp.L3S.de/Venues/ARSPA@IJCAR )

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

Publication years (Num. hits)
2004 (11) 2005 (1)
Publication types (Num. hits)
inproceedings(11) proceedings(1)
Venues (Conferences, Journals, ...)
ARSPA@IJCAR(12)
Authors
Alessandro Armando(3) Luca Viganò 0001(3) Alan Bundy(1) Carlos Caleiro(1) Catherine Meadows 0001(1) Christopher Lynch(1) David A. Basin(1) Graham Steel(1) Hao Chen 0032(1) Jeremy L. Jacob(1) John A. Clark(1) Jolyon Clulow(1) Laurent Mazaré(1) Luca Compagna(1) Mathieu Turuani(1) Michaël Rusinowitch(1) More (+10 of total 22)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 12 publication records. Showing 12 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Alessandro Armando, Luca Viganò 0001 (eds.) Proceedings of the Workshop on Automated Reasoning for Security Protocol Analysis, ARSPA@IJCAR 2004, Cork, Ireland, July 4, 2004 Search on Bibsonomy ARSPA@IJCAR The full citation details ... 2005 DBLP  BibTeX  RDF
1Simon N. Foley Believing the Integrity of a System: (Invited Talk). Search on Bibsonomy ARSPA@IJCAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Graham Steel, Alan Bundy Attacking Group Multicast Key Management Protocols Using Coral. Search on Bibsonomy ARSPA@IJCAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Christopher Lynch, Catherine Meadows 0001 On the Relative Soundness of the Free Algebra Model for Public Key Encryption. Search on Bibsonomy ARSPA@IJCAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Mike Bond, Jolyon Clulow Extending Security Protocol Analysis: New Challenges. Search on Bibsonomy ARSPA@IJCAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Carlos Caleiro, Luca Viganò 0001, David A. Basin Metareasoning about Security Protocols using Distributed Temporal Logic. Search on Bibsonomy ARSPA@IJCAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Alessandro Armando, Luca Viganò 0001 Preface. Search on Bibsonomy ARSPA@IJCAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Hao Chen 0032, John A. Clark, Jeremy L. Jacob Synthesising Efficient and Effective Security Protocols. Search on Bibsonomy ARSPA@IJCAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Alessandro Armando, Luca Compagna An Optimized Intruder Model for SAT-based Model-Checking of Security Protocols. Search on Bibsonomy ARSPA@IJCAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani Deciding the Security of Protocols with Commuting Public Key Encryption. Search on Bibsonomy ARSPA@IJCAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Paul Hankes Drielsma, Sebastian Mödersheim The ASW Protocol Revisited: A Unified View. Search on Bibsonomy ARSPA@IJCAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Laurent Mazaré Satisfiability of Dolev-Yao Constraints. Search on Bibsonomy ARSPA@IJCAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #12 of 12 (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