Login / Signup
Automated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents.
Maria Leonor Pacheco
Max von Hippel
Ben Weintraub
Dan Goldwasser
Cristina Nita-Rotaru
Published in:
IEEE Symposium on Security and Privacy (2022)
Keyphrases
</>
finite state machines
protocol specification
model checking
finite state automata
functional decomposition
formal specification
xml documents
keywords
regular expressions
metadata
formal methods
hidden markov models
communication protocols
semantic information
temporal logic
mutation testing