Concepedia

Protocol State Machines

Protocol State Machines is a formal computational model that belongs to the class of finite state machines and is specifically differentiated by its application in representing and managing the sequential behavior and communication states of network protocols according to predefined rules and transitions.

137

Publications

6.2K

Citations

332

Authors

150

Institutions

Publications per year

2017–2026

18

Parents

Publications

137

An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours

Alfred V. Aho, Anton Dahbura, D. Lee et al. · IEEE Transactions on Communications · 1991 · 421 citations

, , +17

Finite state description of communication protocols

Gregor von Bochmann · Computer Networks (1976) · 1978 · 282 citations

, , +14

Prospex: Protocol Specification Extraction

Paolo Milani Comparetti, Gilbert Wondracek, Christopher Kruegel et al. · 2009 · 259 citations

, , +17

A Messy State of the Union: Taming the Composite State Machines of TLS

Benjamin Beurdouche, Karthikeyan Bhargavan, Antoine Delignat-Lavaud et al. · 2015 · 216 citations · Full text

, , +17

Implementing TLS with Verified Cryptographic Security

Karthikeyan Bhargavan, Cédric Fournet, Markulf Kohlweiss et al. · 2013 · 175 citations · Full text

, , +17

1–5 of 137

Authors

332

  1. MG
    Mohamed G. Gouda

    The University of Texas at Austin, United States

    7 publications · 138 citations

    7

    h-index

  2. RE
    Raymond E. Miller

    University of Maryland, College Park, United States

    4 publications · 180 citations

    4

    h-index

  3. KB
    Karthikeyan Bhargavan

    Institut national de recherche en sciences et technologies du numérique, France

    3 publications · 416 citations

    3

    h-index

  4. AP
    Alexandre Petrenko

    Computer Research Institute of Montréal, Canada

    3 publications · 174 citations

    3

    h-index

  5. KS
    Krishan Sabnani

    AT&T (United States), United States

    3 publications · 202 citations

    3

    h-index

1–5 of 332

Institutions

150

  1. AT&T (United States)

    Bedminster, United States

    7 h-index

    16 publications

    1.7K citations

  2. The University of Texas at Austin

    Austin, United States

    5 h-index

    10 publications

    262 citations

  3. Motorola (United States)

    Schaumburg, United States

    4 h-index

    4 publications

    582 citations

  4. Carnegie Mellon University

    Pittsburgh, United States

    4 h-index

    11 publications

    497 citations

  5. University of Maryland, College Park

    College Park, United States

    4 h-index

    5 publications

    264 citations

  6. Uppsala University

    Uppsala, Sweden

    4 h-index

    10 publications

    194 citations

  7. University of California, Berkeley

    Berkeley, United States

    3 h-index

    8 publications

    1.1K citations

  8. Concordia University

    Montreal, Canada

    3 h-index

    4 publications

    170 citations

1–8 of 150

Venues

  1. IEEE Transactions on Communications

    6 publications · 729 citations

    6

    h-index

  2. ACM SIGCOMM Computer Communication Review

    CCR · 5 publications · 174 citations

    5

    h-index

  3. IEEE Transactions on Software Engineering

    TSE · 4 publications · 214 citations

    4

    h-index

  4. 3

    h-index

  5. Theoretical Computer Science

    2 publications · 115 citations

    2

    h-index

1–5