Attack Trace Construction
Attack Trace Construction is a methodological process in protocol verification that systematically identifies and reconstructs the sequence of actions and states revealing a vulnerability exploitation path within a formal model of a security protocol.
26
Publications
3.6K
Citations
77
Authors
36
Institutions
Publications per year
2017–2026
7
Parents
26
Practical network support for IP traceback
Stefan Savage, David Wetherall, Anna R. Karlin et al. · ACM SIGCOMM Computer Communication Review · 2000 · 1.1K citations · Full text
A scalable approach to attack graph generation
Xinming Ou, Wayne F. Boyer, Miles McQueen · 2006 · 613 citations
Practical network support for IP traceback
Stefan Savage, David Wetherall, Anna R. Karlin et al. · 2000 · 382 citations
1–5 of 26
77
2
h-index
2
h-index
2
h-index
2
h-index
2
h-index
1–5 of 77
36
University of Washington
Seattle, United States
2 h-index
8 publications
6.1K citations

Centre National de la Recherche Scientifique
Paris, France
2 h-index
3 publications
115 citations
NTT (Japan)
Tokyo, Japan
2 h-index
6 publications
262 citations
Columbia University
New York, United States
1 h-index
2 publications
74 citations
University of Sharjah
Sharjah, United Arab Emirates
1 h-index
1 publications
80 citations
Ca' Foscari University of Venice
Venice, Italy
1 h-index
3 publications
273 citations
University of Jordan
Amman, Jordan
1 h-index
1 publications
80 citations
Institut national de recherche en sciences et technologies du numérique
Le Chesnay-Rocquencourt, France
1 h-index
1 publications
91 citations
1–8 of 36
Repository · 1 publications · 10 citations
1
h-index
FGCS · 1 publications · 14 citations
1
h-index
1 publications · 105 citations
1
h-index
Repository · 1 publications · 124 citations
1
h-index
Conference · 1 publications · 482 citations
1
h-index
1–5