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]

@inproceedings{MotaF05,
  title = {UML-based modeling and formal verification of security protocols},
  author = {Sara Mota and Benjamin Fontan},
  year = {2005},
  doi = {10.1145/1095921.1095981},
  url = {http://doi.acm.org/10.1145/1095921.1095981},
  tags = {rule-based, modeling, protocol, UML, security},
  researchr = {https://researchr.org/publication/MotaF05},
  cites = {0},
  citedby = {0},
  pages = {282-283},
  booktitle = {Proceedings of the 2005 ACM Conference on Emerging Network Experiment and Technology, CoNEXT 2005, Toulouse, France, October 24-27, 2005},
  editor = {Michel Diaz and Arturo Azcorra and Philippe Owezarski and Serge Fdida},
  publisher = {ACM},
  isbn = {1-59593-197-X},
}