An Experiment in Ping-Pong Protocol Verification by Nondeterministic Pushdown Automata.
Robert GlückPublished in: MARS/VPT@ETAPS (2018)
Keyphrases
- model checking
- finite state
- ping pong
- model checker
- formal verification
- temporal logic
- finite automata
- finite state machines
- coloured petri nets
- cryptographic protocols
- formal specification
- protocol specification
- verification method
- finite automaton
- tree automata
- lightweight
- formal methods
- formal analysis
- cellular automata
- real time
- regular expressions
- signature verification
- asynchronous circuits
- tcp ip
- lattice gas
- privacy preserving
- markov chain
- deterministic automata
- peer to peer