|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 10 occurrences of 10 keywords
|
|
|
|
|
Results
Found 5 publication records. Showing 5 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 2 | Guoqiang Li, Mizuhito Ogawa |
Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol.  |
ATVA  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Lawrence C. Paulson |
Mechanized proofs for a recursive authentication protocol. |
CSFW |
1997 |
DBLP DOI BibTeX RDF |
mechanized proofs, recursive authentication protocol, inductive approach, message nesting, basic security theorem, adjacent pairs, honest agents, protocol complexity, agents, protocols, specification, symmetry, mutual authentication, Isabelle/HOL, session keys |
| 1 | Klaas Ole Kürtz, Ralf Küsters, Thomas Wilke |
Selecting theories and nonce generation for recursive protocols. |
FMSE |
2007 |
DBLP DOI BibTeX RDF |
security protocols, decidability, automatic analysis |
| 1 | John A. Bull, David J. Otway |
A Nested Mutual Authentication Protocol. |
Operating Systems Review |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Y. A. Ryan, Steve A. Schneider |
An Attack on a Recursive Authentication Protocol. A Cautionary Tale. |
Inf. Process. Lett. |
1998 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #5 of 5 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")