Sara Mota, Benjamin Fontan. UML-based modeling and formal verification of security protocols. In Michel Diaz, Arturo Azcorra, Philippe Owezarski, Serge Fdida, editors, Proceedings of the 2005 ACM Conference on Emerging Network Experiment and Technology, CoNEXT 2005, Toulouse, France, October 24-27, 2005. pages 282-283, ACM, 2005. [doi]