Integrating Automated and Interactive Protocol Verification.
Achim D. BruckerSebastian MödersheimPublished in: Formal Aspects in Security and Trust (2009)
Keyphrases
- cryptographic protocols
- protocol specification
- formal analysis
- model checker
- fully automated
- formal proof
- lightweight
- data mining
- model checking
- semi automated
- colored petri nets
- user friendly
- database
- security protocols
- data visualization
- signature verification
- semi automatic
- electronic commerce
- database systems
- data sets