UML-based modeling and formal verification of security protocols.

Sara Mota, Benjamin Fontan

Browse the full CoNEXT paper archive.