UML-based modeling and formal verification of security protocols

Authors:
Sara Mota;Benjamin Fontan
Affiliations:
LAAS-CNRS, Toulouse cedex, France;ENSICA-DMI, Toulouse cedex, France
Venue:
CoNEXT '05 Proceedings of the 2005 ACM conference on Emerging network experiment and technology
Year:
2005

Citing 2
Cited 0

TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit

IEEE Transactions on Software Engineering
An Efficient Key Management Algorithm for Hierarchical Group Communication

SECURECOMM '05 Proceedings of the First International Conference on Security and Privacy for Emerging Areas in Communications Networks

Quantified Score

Hi-index	0.00

Visualization

Abstract