We have previously proposed SecureUML, an expressive UML-based language for
constructing security-design models, which are models that combine design specifications …

We present a modeling language for the model-driven development of secure, distributed
systems based on the Unified Modeling Language (UML). Our approach is based on role …

We present a new approach to building secure systems. In our approach, which we call
Model Driven Security, designers specify system models along with their security …

Security requirements have become an integral part of most modern software systems. In
order to produce secure systems, it is necessary to provide software engineers with the …

Developing security-critical systems is difficult and there are many well-known examples of
security weaknesses exploited in practice. Thus a sound methodology supporting secure …

Developing secure-critical systems is difficult and there are many well-known examples of
security weaknesses exploitedin practice. Thus a sound methodology supporting secure …

Security must be a first class citizen in the design of large scale, interacting, software
applications, at early and all stages of the lifecycle, for accurate and precise policy definition …

In model-driven development, system designs are specified using graphical modeling
languages like UML and system artifacts such as code and configuration data are …

Model Driven Architecture is an approach to increasing the quality of complex software
systems based on creating high-level system models and automatically generating system …

We show how UML (the industry standard in object-oriented modelling) can be used to
express security requirements during system development. Using the extension …