Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions.

Emanuele D'Osualdo Felix Stutz

Published in: CoRR (2019)

Keyphrases

cryptographic protocols
standard model
security properties
security protocols
first order logic
authentication protocol
inductive logic programming
digital libraries
high dimensional
knowledge representation
response time
low cost
data access
encryption decryption