Formal Analysis of Security Protocols with Movement.

Andrew Cook Luca Viganò

Published in: ITASEC (2023)

Keyphrases

formal analysis
security protocols
automated design
security services
security properties
formal methods
key management
agent model
cryptographic protocols
security mechanisms
artificial immune algorithm
authentication protocol
artificial intelligence
ban logic
secure communication