AnBx: Automatic Generation and Verification of Security Protocols Implementations.
Paolo ModestiPublished in: FPS (2015)
Keyphrases
- security protocols
- cryptographic protocols
- automated design
- security services
- security properties
- authentication protocol
- cryptographic algorithms
- key management
- model checking
- secure communication
- artificial immune algorithm
- security requirements
- artificial intelligence
- formal verification
- high security
- rfid tags
- information systems