- Deepak D'Souza, K. R. Raghavendra, Barbara Sprick:
An Automata Based Approach for Verifying Information Flow Properties. ARSPA@ICALP 2005: 39-58 - Pierpaolo Degano, Luca Viganò:
Preface. ARSPA@ICALP 2005: 1-2 - Alexey Gotsman, Fabio Massacci
, Marco Pistore:
Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language. ARSPA@ICALP 2005: 59-77 - Kenji Imamoto, Kouichi Sakurai:
Design and Analysis of Diffie-Hellman-Based Key Exchange Using One-time ID by SVO Logic. ARSPA@ICALP 2005: 79-94 - Monica Nesi, Giuseppina Rucci:
Formalizing and Analyzing the Needham-Schroeder Symmetric-Key Protocol by Rewriting. ARSPA@ICALP 2005: 95-114 - Christoffer Rosenkilde Nielsen, Esben Heltoft Andersen, Hanne Riis Nielson:
Static Validation of a Voting Protocol. ARSPA@ICALP 2005: 115-134 - Alessandro Armando, Luca Viganò:
Proceedings of the Workshop on Automated Reasoning for Security Protocol Analysis, ARSPA@IJCAR 2004, Cork, Ireland, July 4, 2004. Electronic Notes in Theoretical Computer Science 125(1), Elsevier 2005 [contents] - Pierpaolo Degano, Luca Viganò:
Proceedings of the Second Workshop on Automated Reasoning for Security Protocol Analysis, ARSPA@ICALP 2005, Lisbon, Portugal, July 16, 2005. Electronic Notes in Theoretical Computer Science 135(1), Elsevier 2005 [contents] - 2004
- Alessandro Armando, Luca Compagna:
An Optimized Intruder Model for SAT-based Model-Checking of Security Protocols. ARSPA@IJCAR 2004: 91-108 - Alessandro Armando, Luca Viganò:
Preface. ARSPA@IJCAR 2004: 1 - Mike Bond, Jolyon Clulow:
Extending Security Protocol Analysis: New Challenges. ARSPA@IJCAR 2004: 13-24 - Carlos Caleiro, Luca Viganò, David A. Basin:
Metareasoning about Security Protocols using Distributed Temporal Logic. ARSPA@IJCAR 2004: 67-89 - Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani:
Deciding the Security of Protocols with Commuting Public Key Encryption. ARSPA@IJCAR 2004: 55-66 - Paul Hankes Drielsma, Sebastian Mödersheim:
The ASW Protocol Revisited: A Unified View. ARSPA@IJCAR 2004: 145-161 - Simon N. Foley:
Believing the Integrity of a System: (Invited Talk). ARSPA@IJCAR 2004: 3-12 - Hao Chen, John A. Clark, Jeremy L. Jacob:
Synthesising Efficient and Effective Security Protocols. ARSPA@IJCAR 2004: 25-41 - Christopher Lynch, Catherine Meadows:
On the Relative Soundness of the Free Algebra Model for Public Key Encryption. ARSPA@IJCAR 2004: 43-54 - Laurent Mazaré:
Satisfiability of Dolev-Yao Constraints. ARSPA@IJCAR 2004: 109-124 - Graham Steel, Alan Bundy:
Attacking Group Multicast Key Management Protocols Using Coral. ARSPA@IJCAR 2004: 125-144
