Model Checking of Security Protocols is a formal verification method that systematically explores all possible states of a security protocol's execution model to verify whether specified security properties hold under a given threat model.
179
Publications
8.3K
Citations
351
Authors
180
Institutions
Publications per year
2017–2026
10
Publications
179
A hierarchy of authentication specifications
Gavin Lowe · 2002 · 618 citations
Casper: a compiler for the analysis of security protocols
Gavin Lowe · 2002 · 308 citations
CSP and determinism in security modelling
A. W. Roscoe · 2002 · 211 citations
1–5 of 179
Authors
351
- LC
7
h-index
- DB
7
h-index
- AA
6
h-index
- LV
6
h-index
- GL
6
h-index
1–5 of 351
Institutions
180
ETH Zurich
Zurich, Switzerland
9 h-index
17 publications
2.2K citations
Institut national de recherche en sciences et technologies du numérique
Le Chesnay-Rocquencourt, France
8 h-index
14 publications
416 citations
Carnegie Mellon University
Pittsburgh, United States
7 h-index
10 publications
786 citations
Centre National de la Recherche Scientifique
Paris, France
7 h-index
10 publications
352 citations
Eindhoven University of Technology
Eindhoven, The Netherlands
6 h-index
9 publications
254 citations
University of Leicester
Leicester, United Kingdom
6 h-index
6 publications
1.6K citations
University of Genoa
Genoa, Italy
6 h-index
10 publications
517 citations
University of Oxford
Oxford, United Kingdom
5 h-index
7 publications
604 citations
1–8 of 180
Venues
- Electronic Notes in Theoretical Computer Science
ENTCS · 11 publications · 286 citations
10
h-index
- Journal of Computer Security
10 publications · 718 citations
10
h-index
- Computers & Security
7 publications · 153 citations
7
h-index
- International Journal on Software Tools for Technology Transfer
6 publications · 146 citations
6
h-index
- Theoretical Computer Science
3 publications · 195 citations
3
h-index
1–5