Concepedia

Protocol State Analysis

Protocol State Analysis is a formal method in security protocol verification that systematically examines the evolving states of a protocol execution to identify vulnerabilities, inconsistencies, or deviations from intended behavior by analyzing transitions and configurations within the protocol's operational lifecycle.

81

Publications

5.3K

Citations

194

Authors

112

Institutions

Publications per year

2017–2026

13

Parents

Publications

81

Characteristics of virtual experience in electronic commerce: A protocol analysis

Hairong Li, Terry Daugherty, Frank Biocca · Journal of Interactive Marketing · 2001 · 507 citations

, , +13

Automated analysis of cryptographic protocols using Murφ

John C. Mitchell, Murray Mitchell, Ulrich Stern · 2002 · 479 citations

, , +17

The NRL Protocol Analyzer: An Overview

Catherine Meadows · The Journal of Logic Programming · 1996 · 454 citations

, , +12

Constraint solving for bounded-process cryptographic protocol analysis

Jonathan K. Millen, Vitaly Shmatikov · 2001 · 313 citations

, , +13

Towards a comprehensive user interface management system

William Buxton, Martin Lamb, Douglas J. Sherman et al. · 1983 · 227 citations

, , +15

1–5 of 81

Authors

194

  1. JC
    John C. Mitchell

    Stanford University, United States

    3 publications · 848 citations

    3

    h-index

  2. DS
    Dawn Song

    University of California, Berkeley, United States

    3 publications · 336 citations

    3

    h-index

  3. CM
    Catherine Meadows

    United States Naval Research Laboratory, United States

    3 publications · 617 citations

    3

    h-index

  4. VS
    Vitaly Shmatikov

    The University of Texas at Austin, United States

    3 publications · 503 citations

    3

    h-index

  5. BP
    Bart Preneel

    KU Leuven, Belgium

    2 publications · 63 citations

    2

    h-index

1–5 of 194

Institutions

112

  1. University of California, Berkeley

    Berkeley, United States

    4 h-index

    9 publications

    1.1K citations

  2. Carnegie Mellon University

    Pittsburgh, United States

    3 h-index

    8 publications

    554 citations

  3. Michigan State University

    East Lansing, United States

    3 h-index

    4 publications

    1.1K citations

  4. United States Naval Research Laboratory

    Washington, United States

    3 h-index

    3 publications

    617 citations

  5. Stanford University

    Stanford, United States

    3 h-index

    7 publications

    2.1K citations

  6. KU Leuven

    Leuven, Belgium

    3 h-index

    13 publications

    376 citations

  7. Universitat Politècnica de València

    Valencia, Spain

    2 h-index

    3 publications

    208 citations

  8. University at Albany, State University of New York

    Albany, United States

    2 h-index

    2 publications

    40 citations

1–8 of 112

Venues

  1. Computer Communications

    4 publications · 92 citations

    4

    h-index

  2. Journal of Network and Computer Applications

    JNCA · 2 publications · 101 citations

    2

    h-index

  3. 2

    h-index

  4. The Analysis of Verbal Behavior

    TAVB · 2 publications · 115 citations

    2

    h-index

  5. Journal of Interactive Marketing

    JIM · 2 publications · 564 citations

    2

    h-index

1–5