C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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