Concepedia

Authentication Logic

Authentication Logic is a formal logical framework within protocol verification that specifies and analyzes the conditions under which entities may be securely identified and trusted in distributed systems, distinguishing itself by its emphasis on message origin integrity, nonces, and cryptographic evidence to establish identity claims.

33

Publications

5.7K

Citations

70

Authors

39

Institutions

Publications per year

2017–2026

2

Parents

Publications

33

A logic of authentication

Michael T. Burrows, Martı́n Abadi, Roger M. Needham · ACM Transactions on Computer Systems · 1990 · 2.5K citations · Full text

, , +15

A logic of authentication

Michael T. Burrows, M. Abadi, R. Needham · 1989 · 643 citations

, , +15

A logic of authentication

Michael T. Burrows, M. Abadi, Roger M. Needham · Proceedings of the Royal Society of London A Mathematical and Physical Sciences · 1989 · 630 citations

, , +15

Proof-carrying authentication

Andrew W. Appel, Edward W. Felten · 1999 · 258 citations · Full text

, , +17

A semantics for a logic of authentication (extended abstract)

Martı́n Abadi, Mark R. Tuttle · 1991 · 219 citations

, , +10

1–5 of 33

Authors

70

  1. MT
    Michael T. Burrows

    Scottish Association For Marine Science, United Kingdom

    5 publications · 3.9K citations

    5

    h-index

  2. SG
    Stuart G. Stubblebine

    University of California, Davis, United States

    4 publications · 305 citations

    4

    h-index

  3. MA
    Martı́n Abadi

    University of California, Santa Cruz, United States

    4 publications · 2.8K citations

    4

    h-index

  4. CF
    Cédric Fournet

    Microsoft Research (United Kingdom), United Kingdom

    3 publications · 168 citations

    3

    h-index

  5. RM
    Roger M. Needham

    University of Cambridge, United Kingdom

    3 publications · 3.2K citations

    3

    h-index

1–5 of 70

Institutions

39

  1. Digital Equipment (Germany)

    Hennef, Germany

    4 h-index

    9 publications

    2.8K citations

  2. University of Cambridge

    Cambridge, United Kingdom

    4 h-index

    4 publications

    3.8K citations

  3. United States Naval Research Laboratory

    Washington, United States

    3 h-index

    3 publications

    140 citations

  4. Microsoft (United States)

    Redmond, United States

    3 h-index

    7 publications

    366 citations

  5. Microsoft Research (United Kingdom)

    Cambridge, United Kingdom

    3 h-index

    7 publications

    366 citations

  6. National University of Singapore

    Singapore, Singapore

    2 h-index

    4 publications

    242 citations

  7. AT&T (United States)

    Bedminster, United States

    2 h-index

    3 publications

    88 citations

  8. University of California, Davis

    Davis, United States

    1 h-index

    5 publications

    1.1K citations

1–8 of 39

Venues

  1. Theoretical Computer Science

    2 publications · 84 citations

    2

    h-index

  2. ACM Transactions on Computer Systems

    TOCS · 1 publications · 2.5K citations

    1

    h-index

  3. IACR Cryptology ePrint Archive

    Repository · 1 publications · 103 citations

    1

    h-index

  4. IEEE Computer Security Foundations Symposium

    Conference · 1 publications · 15 citations

    1

    h-index

  5. Figshare

    Repository · 1 publications · 10 citations

    1

    h-index

1–5