UML-based modeling and formal verification of security protocols

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback
Take a look at the new version of this page: [ beta version ]. Tell us what you think.

UML-based modeling and formal verification of security protocols

Full text

Pdf (199 KB)

Source

International Conference On Emerging Networking Experiments And Technologies archive
Proceedings of the 2005 ACM conference on Emerging network experiment and technology table of contents

Toulouse, France

WORKSHOP SESSION: Student Workshops table of contents

Pages: 282 - 283

Year of Publication: 2005

ISBN:1-59593-197-X

Authors

Sara Mota	LAAS-CNRS, Toulouse cedex, France
Benjamin Fontan	ENSICA-DMI, Toulouse cedex, France

Sponsor

ACM: Association for Computing Machinery

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 10, Downloads (12 Months): 38, Citation Count: 0

Additional Information:

references index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1095921.1095981 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit, IEEE Transactions on Software Engineering, v.30 n.7, p.473-487, July 2004 [doi>10.1109/TSE.2004.34]
	2	http://safecast.loria.fr/
	3	H.R. Hassan, A. Bouabdallah, H. Bettahar, Y. Challal; "Hi-KD: An Efficient Key Management Algorithm for Hierarchical Group Communication", IEEE-SecureCom