UML-based modeling and formal verification of security protocols

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.