Web GUI for Automating the Formal Verification of Security Protocols using Casper & FDR4.
Andreea ScurtuMihai-Lica PuraPublished in: ECAI (2019)
Keyphrases
- formal verification
- security protocols
- model checking
- automated design
- model checker
- automated verification
- cryptographic protocols
- artificial immune algorithm
- cryptographic algorithms
- bounded model checking
- symbolic model checking
- security services
- security properties
- key management
- security mechanisms
- temporal logic
- wireless networks
- ad hoc networks
- information security
- energy consumption