|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3 occurrences of 3 keywords
|
|
|
Results
Found 10 publication records. Showing 10 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
76 | Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay, Christopher Walstad |
Breaking and Fixing Public-Key Kerberos. |
ASIAN |
2006 |
DBLP DOI BibTeX RDF |
|
62 | Bruno Blanchet, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay |
Computationally sound mechanized proofs for basic and public-key Kerberos. |
AsiaCCS |
2008 |
DBLP DOI BibTeX RDF |
PKINIT, key usability, computational model, automatic verification, Kerberos |
51 | Michael Backes 0001, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay |
Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos. |
ESORICS |
2006 |
DBLP DOI BibTeX RDF |
|
37 | Love Hörnquist-Åstrand, Larry Zhu, Margaret Cullen, Greg Hudson |
Public Key Cryptography for Initial Authentication in Kerberos (PKINIT) Algorithm Agility. |
RFC |
2019 |
DBLP DOI BibTeX RDF |
|
37 | Michiko Short, Seth Moore, Paul Miller |
Public Key Cryptography for Initial Authentication in Kerberos (PKINIT) Freshness Extension. |
RFC |
2017 |
DBLP DOI BibTeX RDF |
|
37 | Larry Zhu, Karthik Jaganathan, Kristin E. Lauter |
Elliptic Curve Cryptography (ECC) Support for Public Key Cryptography for Initial Authentication in Kerberos (PKINIT). |
RFC |
2008 |
DBLP DOI BibTeX RDF |
|
37 | Larry Zhu, Karthik Jaganathan, Nicolas Williams |
Online Certificate Status Protocol (OCSP) Support for Public Key Cryptography for Initial Authentication in Kerberos (PKINIT). |
RFC |
2006 |
DBLP DOI BibTeX RDF |
|
37 | Larry Zhu, Brian Tung |
Public Key Cryptography for Initial Authentication in Kerberos (PKINIT). |
RFC |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Arnab Roy 0001, Anupam Datta, Ante Derek, John C. Mitchell, Jean-Pierre Seifert |
Secrecy Analysis in Protocol Composition Logic. |
ASIAN |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Cheolhyun Kim, Yeijin Lee, Ilyong Chung |
The Design of an Efficient Kerberos Authentication Mechanism Associated with Directory Systems. |
GCC (1) |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #10 of 10 (100 per page; Change: )
|
|