Combining ProVerif and Automated Theorem Provers for Security Protocol Verification.

Di Long Li Alwen Tiu

Published in: CADE (2019)

Keyphrases

security protocols
automated theorem provers
cryptographic protocols
computer algebra
artificial immune algorithm
security services
authentication protocol
automated design
cryptographic algorithms
key management
database systems
model checking
security mechanisms
rfid systems