CryptoVerif: a Computationally-Sound Security Protocol Verifier (Initial Version with Communications on Channels).

Published in: CoRR (2023)

Keyphrases

security protocols
communication channels
artificial immune algorithm
cryptographic algorithms
security services
automated design
key management
multi channel
security mechanisms
data mining
distributed systems
data mining techniques
quality of service
security properties