Abstract | ||
---|---|---|
Kerberos is a widely deployed network authentication protocol currently being considered for standardisation. Many works have analysed its security, identifying flaws and often suggesting fixes, thus promoting the protocol's evolution. Several recent results present successful, formal methods-based verifications of a significant portion of the current version, v.5 and some even imply security in t... |
Year | DOI | Venue |
---|---|---|
2007 | 10.1049/iet-ifs.2011.0041 | IET Information Security |
Keywords | Field | DocType |
cryptographic protocols,data privacy,formal verification,message authentication | Cryptographic protocol,Computer science,Challenge–response authentication,Computer security,Computer network,Cryptographic primitive,Encryption,Generic Security Service Algorithm for Secret Key Transaction,Kerberos,Authenticated encryption,56-bit encryption | Journal |
Volume | Issue | ISSN |
5 | 4 | 1751-8709 |
Citations | PageRank | References |
1 | 0.35 | 0 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Alexandra Boldyreva | 1 | 2297 | 114.80 |
Virendra Kumar | 2 | 5 | 1.10 |