Login / Signup
The Hitchhiker's Guide to Decidability and Complexity of Equivalence Properties in Security Protocols.
Vincent Cheval
Steve Kremer
Itsaka Rakotonirina
Published in:
Logic, Language, and Security (2020)
Keyphrases
</>
security protocols
automated design
security properties
security services
description logics
query answering
security mechanisms
cryptographic algorithms
artificial immune algorithm
data mining
information systems
cryptographic protocols