Automated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents.
Maria Leonor PachecoMax von HippelBen WeintraubDan GoldwasserCristina Nita-RotaruPublished in: CoRR (2022)
Keyphrases
- wireless networks
- finite state machines
- protocol specification
- model checking
- communication protocols
- formal specification
- finite state automata
- xml documents
- metadata
- hidden markov models
- keywords
- formal methods
- database
- knowledge base
- expert systems
- object oriented
- software development
- business process
- functional decomposition