Representing Security Specifications in UML State Machine Diagrams

Muhammad Umair Khan. Representing Security Specifications in UML State Machine Diagrams. In The 10th International Conference on Future Networks and Communications (FNC 2015) / The 12th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2015) / Affiliated Workshops, August 17-20, 2015, Belfort, France. Volume 56 of Procedia Computer Science, pages 453-458, Elsevier, 2015. [doi]

Abstract

Abstract is missing.