Protocol Logic is a formal analytical framework that specifies the underlying rules and reasoning structures governing the interactions, inferences, and data interpretations within a protocol analysis method, distinguishing it from general procedural or empirical approaches to data collection.
74
Publications
4.4K
Citations
140
Authors
78
Institutions
Publications per year
2017–2026
3
Parents
Publications
74
Hashcash - A Denial of Service Counter-Measure
Adam Back · 2002 · 751 citations
The NRL Protocol Analyzer: An Overview
Catherine Meadows · The Journal of Logic Programming · 1996 · 454 citations
On unifying some cryptographic protocol logics
Paul Syverson, Paul C. van Oorschot · 2002 · 274 citations
Christian Badertscher, Peter Gaži, Aggelos Kiayias et al. · 2018 · 242 citations · Full text
Implementing TLS with Verified Cryptographic Security
Karthikeyan Bhargavan, Cédric Fournet, Markulf Kohlweiss et al. · 2013 · 175 citations · Full text
1–5 of 74
Authors
140
- PS
6
h-index
- CMCatherine Meadows
United States Naval Research Laboratory, United States
5 publications · 736 citations
5
h-index
- LV
4
h-index
- DB
4
h-index
- CC
4
h-index
1–5 of 140
Institutions
78
United States Naval Research Laboratory
Washington, United States
9 h-index
11 publications
1.3K citations
ETH Zurich
Zurich, Switzerland
6 h-index
9 publications
445 citations
Naval Research Laboratory Information Technology Division
Washington, United States
4 h-index
6 publications
722 citations
Stanford University
Stanford, United States
3 h-index
6 publications
368 citations
Institut national de recherche en sciences et technologies du numérique
Le Chesnay-Rocquencourt, France
3 h-index
4 publications
406 citations
North Carolina State University
Raleigh, United States
3 h-index
5 publications
331 citations
Centre National de la Recherche Scientifique
Paris, France
2 h-index
4 publications
98 citations
Motorola (United States)
Schaumburg, United States
2 h-index
7 publications
101 citations
1–8 of 78
Venues
- Theoretical Computer Science
6 publications · 250 citations
6
h-index
- IEEE Transactions on Software Engineering
TSE · 3 publications · 81 citations
3
h-index
- Journal of Computer Security
3 publications · 106 citations
3
h-index
- The Review of Symbolic Logic
1 publications · 16 citations
1
h-index
- Noûs
1 publications · 149 citations
1
h-index
1–5