Short Paper: Modular Black-box Runtime Verification of Security Protocols.
Kevin MorioDennis JacksonMarco VassenaRobert KünnemannPublished in: PLAS@CCS (2020)
Keyphrases
- black box
- security protocols
- cryptographic protocols
- automated design
- black boxes
- white box
- security services
- security properties
- key management
- artificial immune algorithm
- authentication protocol
- model checking
- integration testing
- test cases
- security mechanisms
- formal methods
- security requirements
- smart card
- databases