Automated Verification of Accountability in Security Protocols.
Robert KünnemannIlkan EsiyokMichael BackesPublished in: CSF (2019)
Keyphrases
- security protocols
- automated verification
- model checking
- automated reasoning
- formal verification
- security properties
- automated design
- security services
- artificial immune algorithm
- key management
- security mechanisms
- knowledge representation
- real time
- rfid tags
- graph theory
- cryptographic protocols
- response time
- wireless sensor networks
- artificial intelligence
- machine learning