Concepedia

Kerberos Verification

Kerberos Verification is a protocol verification method that formally ensures the correctness and security properties of the Kerberos authentication protocol through rigorous analysis of its cryptographic mechanisms, message exchanges, and trust assumptions.

13

Publications

410

Citations

33

Authors

22

Institutions

Publications per year

2017–2026

2

Parents

Publications

13

SecSVA: Secure Storage, Verification, and Auditing of Big Data in the Cloud Environment

Gagangeet Singh Aujla, Rajat Chaudhary, Neeraj Kumar et al. · IEEE Communications Magazine · 2018 · 95 citations · Full text

, , +17

Formal analysis of Kerberos 5

Frederick Butler, Iliano Cervesato, Aaron D. Jaggard et al. · Theoretical Computer Science · 2006 · 64 citations

, , +14

Section E.2.1 Kerberos Authentication and Authorization System

Steven P. Miller, Clifford Neuman, Jeffrey I. Schiller et al. · 1988 · 48 citations

, , +14

Using Isabelle to Prove Properties of the Kerberos Authentication System

Giampaolo Bella · 1997 · 38 citations

, , +16

Cryptographically sound security proofs for basic and public-key Kerberos

Michael Backes, Iliano Cervesato, Aaron D. Jaggard et al. · International Journal of Information Security · 2011 · 27 citations

, , +14

1–5 of 13

Authors

33

  1. IC
    Iliano Cervesato

    University of Pennsylvania, United States

    3 publications · 109 citations

    3

    h-index

  2. AD
    Aaron D. Jaggard

    University of Pennsylvania, United States

    3 publications · 109 citations

    3

    h-index

  3. AS
    Andre Scedrov

    University of Pennsylvania, United States

    3 publications · 109 citations

    3

    h-index

  4. CW
    Christopher Walstad

    University of Pennsylvania, United States

    2 publications · 82 citations

    2

    h-index

  5. AB
    Alexandra Boldyreva

    Georgia Institute of Technology, United States

    2 publications · 39 citations

    2

    h-index

1–5 of 33

Institutions

22

  1. University of Pennsylvania

    Philadelphia, United States

    3 h-index

    6 publications

    255 citations

  2. Carnegie Mellon University Qatar

    Doha, Qatar

    2 h-index

    2 publications

    91 citations

  3. Universidad de Murcia

    Murcia, Spain

    2 h-index

    8 publications

    108 citations

  4. Tulane University

    New Orleans, United States

    2 h-index

    3 publications

    100 citations

  5. Georgia Institute of Technology

    Atlanta, United States

    2 h-index

    4 publications

    78 citations

  6. Colgate University

    Hamilton, United States

    1 h-index

    1 publications

    27 citations

  7. University of the Aegean

    Mytilene, Greece

    1 h-index

    2 publications

    20 citations

  8. Philadelphia University

    Philadelphia, United States

    1 h-index

    1 publications

    27 citations

1–8 of 22

Venues

  1. International Journal of Information Security

    2 publications · 37 citations

    2

    h-index

  2. Computer Standards & Interfaces

    1 publications · 17 citations

    1

    h-index

  3. IEEE Communications Magazine

    1 publications · 95 citations

    1

    h-index

  4. Theoretical Computer Science

    1 publications · 64 citations

    1

    h-index

  5. IET Information Security

    1 publications · 15 citations

    1

    h-index

1–5