|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3 occurrences of 3 keywords
|
|
|
|
|
Results
Found 14 publication records. Showing 14 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 4 | Xiehua Li, ShuTang Yang, Jian-Hua Li, HongWen Zhu |
Security Protocol Analysis with Improved Authentication Tests.  |
ISPEC  |
2006 |
DBLP DOI BibTeX RDF |
Authentication tests, Message type, Neuman-Stubblebine protocol, Improved authentication tests |
| 2 | Shaddin F. Doghmi, Joshua D. Guttman, F. Javier Thayer |
Completeness of the Authentication Tests.  |
ESORICS  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Joshua D. Guttman |
Security Protocol Design via Authentication Tests.  |
CSFW  |
2002 |
DBLP DOI BibTeX RDF |
|
| 2 | Joshua D. Guttman, F. Javier Thayer |
Authentication Tests. (PDF / PS)  |
IEEE Symposium on Security and Privacy  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Aixin Zhang, Junhua Tang, Peng Wang |
Authentication Tests Based on Test Type Matrix.  |
ICC  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Joshua D. Guttman |
Cryptographic Protocol Composition via the Authentication Tests.  |
FOSSACS  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rui Jiang, Aiqun Hu, Jianhua Li |
Formal Protocol Design of ESIKE Based on Authentication Tests.  |
I. J. Network Security  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Joshua D. Guttman |
Cryptographic Protocol Composition via the Authentication Tests.  |
IACR Cryptology ePrint Archive  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Yongjian Li, Jun Pang |
Generalized Unsolicited Tests for Authentication Protocol Analysis.  |
PDCAT  |
2006 |
DBLP DOI BibTeX RDF |
the Otway-Rees protocol, authentication, cryptographic protocols, strand space |
| 1 | Yongjian Li |
The Inductive Approach to Strand Space.  |
FORTE  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Joshua D. Guttman |
Authentication tests and disjoint encryption: A design method for security protocols.  |
Journal of Computer Security  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Rui Jiang, Li Pan, Jianhua Li |
Further analysis of password authentication schemes based on authentication tests.  |
Computers & Security  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Joshua D. Guttman, F. Javier Thayer |
Authentication tests and the structure of bundles.  |
Theor. Comput. Sci.  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Joshua D. Guttman |
Key Compromise, Strand Spaces, and the Authentication Tests.  |
Electr. Notes Theor. Comput. Sci.  |
2001 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #14 of 14 (100 per page; Change: )
|
|