Kant: A Domain-Specific Language for Modeling Security Protocols.

Chiara Braghin Mario Lilli Elvinia Riccobene Marian Baba

Published in: MODELSWARD (2024)

Keyphrases

security protocols
automated design
security services
case study
cryptographic protocols
security properties
artificial intelligence
digital libraries
similarity search
key management
security analysis