Abstract
We were able to use UML 2 to model the simple protocols and the Needham-Schroeder and Yahalom protocols without requiring any extensions to the language. The approach of building the framework, using progressively more complex protocols, demonstrated that UML 2 could support all of the protocols modeled without revealing any circumstances under which the language was deficient in supporting modeling within this domain.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Jürjens, J.: Formal Development and Verification of Security-Critical Systems with UML. In: AVoCS 2010 - Workshop on Automated Verification of Critical Systems, Oxford (2010)
Devanbu, P.T., Stubblebine, S.: Software engineering for security: A roadmap. In: ICES 2009 Special Volume on the Future of Software Engineering (2009)
Jürjens, J.: UMLsec: Extending UML for Secure Systems Development. In: Jézéquel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol. 2460, pp. 412–425. Springer, Heidelberg (2002)
Debbabi, M., Mejri, M.: Towards the correctness of security protocols. Electronic Notes in Theoretical Computer Science, vol. 83 (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag GmbH Berlin Heidelberg
About this chapter
Cite this chapter
Zhou, X. (2012). A Modeling Approach Using UML 2 for Security Protocols in Distributed System. In: Zhang, Y. (eds) Future Communication, Computing, Control and Management. Lecture Notes in Electrical Engineering, vol 141. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-27311-7_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-27311-7_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-27310-0
Online ISBN: 978-3-642-27311-7
eBook Packages: EngineeringEngineering (R0)