|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 9 publication records. Showing 9 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Christoffer Rosenkilde Nielsen, Esben Heltoft Andersen, Hanne Riis Nielson |
Static Validation of a Voting Protocol.  |
ARSPA@ICALP  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Caleiro, Luca Viganò 0001, David A. Basin |
Deconstructing Alice and Bob. |
ARSPA@ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak D'Souza, K. R. Raghavendra, Barbara Sprick |
An Automata Based Approach for Verifying Information Flow Properties. |
ARSPA@ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierpaolo Degano, Luca Viganò 0001 |
Preface. |
ARSPA@ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Monica Nesi, Giuseppina Rucci |
Formalizing and Analyzing the Needham-Schroeder Symmetric-Key Protocol by Rewriting. |
ARSPA@ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexey Gotsman, Fabio Massacci, Marco Pistore |
Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language. |
ARSPA@ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenji Imamoto, Kouichi Sakurai |
Design and Analysis of Diffie-Hellman-Based Key Exchange Using One-time ID by SVO Logic. |
ARSPA@ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Cas J. F. Cremers, Sjouke Mauw, Erik P. de Vink |
A Syntactic Criterion for Injectivity of Authentication Protocols. |
ARSPA@ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierpaolo Degano, Luca Viganò 0001 (eds.) |
Proceedings of the Second Workshop on Automated Reasoning for Security Protocol Analysis, ARSPA@ICALP 2005, Lisbon, Portugal, July 16, 2005 |
ARSPA@ICALP |
2005 |
DBLP BibTeX RDF |
|
Displaying result #1 - #9 of 9 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license