Abstract:There has been a growing interest in investigating methodologies to support the development of secure sys- tems in the software engineering research community. Re- cently, much attention has been focused on the modelling and analysis of security properties for systems at the soft- ware architecture design level. The potential benefits of this architecture level work are substantial: security flaws can be detected and removed earlier in the software de- velopment life-cycle. This reduces development time, re- duces development cost, and improves the quality of the resulting system. As a result of this attention, a wide variety of approaches have been proposed in the literature. At this point, a sur- vey for researchers involved in the problem of systemat- ically modelling and analyzing software architecture de- sign that have security properties would be of value to the community. This paper presents such a survey; it includes a discussion of semi-formal, formal, integrated semi-formal and formal, and aspect-oriented approaches. Comparison criteria are defined including: the kinds of notations used to model the security properties (e.g., Petri nets, temporal logic, etc.), whether the approach supports the manual or automated analysis of security properties, the specific security property modelled (e.g., authenti- cation, role-based access control, etc.), and the kind of example system that has been used to illustrate the ap- proach (information, distributed, etc.).

Integration of UML Software System Modeling with Security Modeling

UML-based Modeling and Implementing of Sales Management in Auto Parts Trade

Research on Information Security Model and Security System Design

The Design of an Useful Security Management Model of PDMS and Its Realization

Business Activity-Oriented Security Model of Information Systems

Integrating Security Administration into Software Architectures Design.

APPLICATION OF UNIFIED MODELING LANGUAGE TO DEVELOPMENT OF INTELLIGENT SETTING SYSTEM FOR PROTECTIVE RELAYING

MODELING THE INFORMATION SYSTEM FROM THE SECURITY VIEW

Security Design Based on Social Modeling

Usp: Modeling Security Protocol With Umlll

UML-based systems integration modeling technique for the design and development of intelligent transportation management system

A Survey of Modeling and Analysis Approaches for Architecting Secure Software Systems

A UML-based system integration modeling language for the application system design of Shipborne combat system

Experimental integration of multi security policies for secure computer systems

A Unified Modeling Language-Based Design And Application For A Library Management Information System

Integrated Solution Modeling Software: A New Paradigm on Information Security Review

Integrated Solution Modeling Software: A New Paradigm on Information Security Review and Assessment

Model of Security Approach for Information System

Model of the New Rural Cooperative Medical Service Management Information System Based on UML

A Unified Use-Misuse Case Model for Capturing and Analysing Safety and Security Requirements