default search action

combined dblp search
author search
venue search
publication search

ask others

2nd ARSPA@ICALP 2005: Lisbon, Portugal

> Home > Conferences and Workshops > ARSPA
> Home > Conferences and Workshops > ICALP

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ sciencedirect.com
  - details & citations
- export record
  dblp key:
  - conf/arspa/2005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arspa/2005
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
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/DeganoV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/DeganoV05
Pierpaolo Degano, Luca Viganò:
Preface. 1-2
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CaleiroVB05a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CaleiroVB05a
Carlos Caleiro, Luca Viganò, David A. Basin:
Deconstructing Alice and Bob. 3-22
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CremersMV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CremersMV05
Cas J. F. Cremers, Sjouke Mauw, Erik P. de Vink:
A Syntactic Criterion for Injectivity of Authentication Protocols. 23-38
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/DSouzaRS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/DSouzaRS05
Deepak D'Souza, K. R. Raghavendra, Barbara Sprick:
An Automata Based Approach for Verifying Information Flow Properties. 39-58
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GotsmanMP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GotsmanMP05
Alexey Gotsman, Fabio Massacci, Marco Pistore:
Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language. 59-77
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/ImamotoS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ImamotoS05
Kenji Imamoto, Kouichi Sakurai:
Design and Analysis of Diffie-Hellman-Based Key Exchange Using One-time ID by SVO Logic. 79-94
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/NesiR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/NesiR05
Monica Nesi, Giuseppina Rucci:
Formalizing and Analyzing the Needham-Schroeder Symmetric-Key Protocol by Rewriting. 95-114
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/NielsenAN05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/NielsenAN05
Christoffer Rosenkilde Nielsen, Esben Heltoft Andersen, Hanne Riis Nielson:
Static Validation of a Voting Protocol. 115-134

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.