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

Chiara Braghin, Mario Lilli, Elvinia Riccobene, Marian Baba

Browse the full MODELSWARD paper archive.