Automated Verification of Accountability in Security Protocols.
Robert KünnemannIlkan EsiyokMichael BackesPublished in: CoRR (2018)
Keyphrases
- security protocols
- automated verification
- model checking
- automated reasoning
- formal verification
- automated design
- security services
- security properties
- key management
- security mechanisms
- artificial immune algorithm
- security requirements
- expert systems
- data mining
- theorem prover
- constraint satisfaction
- knowledge representation
- artificial intelligence