Concepedia

Automated Protocol Verification

Automated Protocol Verification is a formal method of protocol analysis that employs algorithmic techniques to systematically and exhaustively validate the correctness, security, or compliance properties of communication protocols against specified logical or temporal assertions.

173

Publications

8.1K

Citations

352

Authors

162

Institutions

Publications per year

2017–2026

11

Parents

Publications

173

Mining specifications

Glenn Ammons, Rastislav Bodík, James R. Larus · 2002 · 669 citations · Full text

, , +16

Automated Security Protocol Analysis With the AVISPA Tool

Luca Viganò · Electronic Notes in Theoretical Computer Science · 2006 · 451 citations · Full text

, , +16

Protocol verification as a hardware design aid

David L. Dill, Andreas J. Drexler, Alan J. Hu et al. · 2003 · 399 citations

, , +17

A Formal Approach to Conformance Testing

Jan Tretmans · 1993 · 253 citations

, , +17

Automatic verification of correspondences for security protocols

Bruno Blanchet · Journal of Computer Security · 2009 · 210 citations

, , +16

1–5 of 173

Authors

352

  1. AL
    Alessio Lomuscio

    Imperial College London, United Kingdom

    6 publications · 125 citations

    6

    h-index

  2. KS
    Krishan Sabnani

    AT&T (United States), United States

    5 publications · 190 citations

    5

    h-index

  3. CH
    Colin H. West

    IBM Research - Zurich, Switzerland

    5 publications · 215 citations

    5

    h-index

  4. CC
    Cas Cremers

    ETH Zurich, Switzerland

    4 publications · 134 citations

    4

    h-index

  5. BB
    Bruno Blanchet

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

    4 publications · 268 citations

    4

    h-index

1–5 of 352

Institutions

162

  1. Centre National de la Recherche Scientifique

    Paris, France

    9 h-index

    16 publications

    791 citations

  2. Microsoft (United States)

    Redmond, United States

    7 h-index

    9 publications

    958 citations

  3. AT&T (United States)

    Bedminster, United States

    7 h-index

    13 publications

    573 citations

  4. The University of Texas at Austin

    Austin, United States

    5 h-index

    7 publications

    201 citations

  5. IBM Research - Zurich

    Rüschlikon, Switzerland

    5 h-index

    9 publications

    456 citations

  6. North Carolina State University

    Raleigh, United States

    4 h-index

    10 publications

    216 citations

  7. Imperial College London

    London, United Kingdom

    4 h-index

    7 publications

    113 citations

  8. Verimag

    Gières, France

    4 h-index

    12 publications

    547 citations

1–8 of 162

Venues

  1. IEEE Transactions on Software Engineering

    TSE · 7 publications · 466 citations

    7

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 7 publications · 569 citations

    7

    h-index

  3. IRE Transactions on Communications Systems

    4 publications · 259 citations

    4

    h-index

  4. Science of Computer Programming

    4 publications · 254 citations

    4

    h-index

  5. Journal of Computer Security

    4 publications · 376 citations

    4

    h-index

1–5