An Automata-Theoretic Approach to Protocol Verification (Abstract).
Moshe Y. VardiPublished in: Concurrency (1988)
Keyphrases
- cryptographic protocols
- formal analysis
- protocol specification
- state machines
- model checker
- cellular automata
- model checking
- finite state
- colored petri nets
- lightweight
- formal methods
- authentication protocol
- finite automata
- formal specification
- communication protocols
- probabilistic automata
- high level
- face verification
- formal verification
- communication protocol
- tcp ip
- temporal logic
- petri net
- formal proof
- finite state machines
- network protocols