Concepedia

Authentication Protocol Analysis

Authentication Protocol Analysis is a formal method within the field of security protocol verification that systematically examines the mechanisms and properties by which entities verify each other's identities to ensure compliance with authentication goals and resist known classes of attacks.

185

Publications

10.7K

Citations

450

Authors

236

Institutions

Publications per year

2017–2026

60

Parents

Publications

185

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

A Modular Approach to the Design and Analysis of Authentication and Key Exchange Protocols.

Mihir Bellare, Ran Canetti, Hugo Krawczyk · IACR Cryptology ePrint Archive · 1998 · 382 citations

, , +14

A Secured Authentication Protocol for Wireless Sensor Networks Using Elliptic Curves Cryptography

Hsiu‐Lien Yeh, Tien‐Ho Chen, Pin-Chuan Liu et al. · Sensors · 2011 · 347 citations · Full text

, , +17

1–5 of 185

Authors

450

  1. SH
    Stephen H. Brackin

    Ithaca College, United States

    5 publications · 101 citations

    5

    h-index

  2. MT
    Michael T. Burrows

    Scottish Association For Marine Science, United Kingdom

    5 publications · 3.9K citations

    5

    h-index

  3. MA
    M. Abadi

    Digital Wave (United States), United States

    4 publications · 1.4K citations

    4

    h-index

  4. RA
    Ruhul Amin

    International Institute of Information Technology, India

    4 publications · 190 citations

    4

    h-index

  5. DH
    Daojing He

    City University of Hong Kong, Hong Kong SAR China

    3 publications · 168 citations

    4

    h-index

1–5 of 450

Institutions

236

  1. City University of Hong Kong

    Hong Kong, Hong Kong

    5 h-index

    6 publications

    202 citations

  2. Chinese Academy of Sciences

    Beijing, China

    5 h-index

    6 publications

    233 citations

  3. University of Cambridge

    Cambridge, United Kingdom

    4 h-index

    4 publications

    3.8K citations

  4. Digital Equipment (Germany)

    Hennef, Germany

    4 h-index

    9 publications

    2.8K citations

  5. Shanghai Jiao Tong University

    Shanghai, China

    3 h-index

    11 publications

    221 citations

  6. Ithaca College

    Ithaca, United States

    3 h-index

    3 publications

    67 citations

  7. Wuhan University

    Wuhan, China

    3 h-index

    6 publications

    222 citations

  8. University of Pennsylvania

    Philadelphia, United States

    3 h-index

    7 publications

    369 citations

1–8 of 236

Venues

  1. Wireless Personal Communications

    5 publications · 141 citations

    5

    h-index

  2. Security and Communication Networks

    5 publications · 160 citations

    5

    h-index

  3. Electronic Notes in Theoretical Computer Science

    ENTCS · 4 publications · 106 citations

    4

    h-index

  4. IEEE Access

    4 publications · 276 citations

    4

    h-index

  5. IEEE Communications Letters

    4 publications · 111 citations

    4

    h-index

1–5