Automating Interactive Protocol Verification.
Lassaad CheikhrouhouAndreas NonnengartWerner StephanFrank KoobGeorg RockPublished in: KI (2008)
Keyphrases
- formal analysis
- cryptographic protocols
- protocol specification
- lightweight
- user interaction
- model checker
- model checking
- database
- security model
- network protocols
- network simulator
- asynchronous circuits
- tcp ip
- communication protocol
- graphical interface
- formal verification
- signature verification
- formal methods
- learning environment
- website