Towards ASM-Based Automated Formal Verification of Security Protocols.
Chiara BraghinMario LilliElvinia RiccobenePublished in: ABZ (2021)
Keyphrases
- formal verification
- security protocols
- automated design
- model checking
- model checker
- cryptographic algorithms
- security services
- security properties
- bounded model checking
- cryptographic protocols
- active shape model
- secure communication
- symbolic model checking
- key management
- security mechanisms
- automated verification
- evolutionary design
- artificial immune algorithm
- authentication protocol
- temporal logic
- multi agent systems
- security requirements
- engineering design