Benjamin Fontan, Sara Mota, Thierry Villemur, Pierre de Saqui-Sannes, Jean-Pierre Courtiat. UML-Based Modeling and Formal Verification of Authentication Protocols. In Samuel T. Redwine Jr., editor, 2006 IEEE International Symposium on Secure Software Engineering, ISSSE 2006, Arlington, VA, USA, March 16 -17, 2006. 2006.
Abstract is missing.