David Basin, Jürgen Doser, Torsten Lodderstedt
Abstract 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 requirements and use...
Information Security Group (2008)
David Basin, Jürgen Doser, Eth Zürich
Security-design models are models that combine design specifications for distributed systems with specifications of their security policies. We have previously proposed an expressive UML-based...
Metamodel-based UML Notations for Domain-specific Languages (2008)
Achim D. Brucker, Jürgen Doser
Abstract We present a metamodel-based approach for specifying uml notations for domain-specific modeling languages. Traditionally, domain specific languages are either defined by uml profiles or...
Submitted to Communications of the ACM. Model Driven Security (2008)
David Basin, Eth Zürich, Martin Buchheit, Interactive Objects, Software Gmbh, Jürgen Doser, ...
We present Model Driven Security, a new approach to building secure systems. In Model Driven Security, designers specify high-level system models along with their security properties and use tools to...
Semantic Issues of OCL: Past, Present, and Future (2008)
Ocl For (meta-)models, Achim D. Brucker, Jürgen Doser, Burkhart Wolff, Dan Chiorean, Birgit Demuth, ...
Abstract: We report on the results of a long-term project to formalize the semantics of OCL 2.0 in Higher-order Logic (HOL). The ultimate goal of the project is to provide a formalized,...
An MDA Framework Supporting OCL (2008)
Ocl For (meta-)models, Achim D. Brucker, Jürgen Doser, Burkhart Wolff, Tiziana Margaria, Julia Padberg, ...
Abstract: We present a model-driven architecture (MDA) framework that integrates formal analysis techniques into an industrial software development process model. This comprises modeling using...
Metamodel-based UML Notations for Domain-specific Languages (2008)
Achim D. Brucker, Jürgen Doser
Abstract We present a metamodel-based approach for specifying uml notations for domain-specific modeling languages. Traditionally, domain specific languages are either defined by uml profiles or...
Semantic Issues of OCL: Past, Present, and Future (2008)
Ocl For (meta-)models, Achim D. Brucker, Jürgen Doser, Burkhart Wolff, Dan Chiorean, Birgit Demuth, ...
Abstract: We report on the results of a long-term project to formalize the semantics of OCL 2.0 in Higher-order Logic (HOL). The ultimate goal of the project is to provide a formalized,...
An MDA Framework Supporting OCL (2008)
Ocl For (meta-)models, Achim D. Brucker, Jürgen Doser, Burkhart Wolff, Tiziana Margaria, Julia Padberg, ...
Abstract: We present a model-driven architecture (MDA) framework that integrates formal analysis techniques into an industrial software development process model. This comprises modeling using...
Categories and Subject Descriptors (2007)
David Basin, Jürgen Doser, Torsten Lodderstedt
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial...
David Basin, Jürgen Doser, Torsten Lodderstedt
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 requirements and use tools to...
A metamodel-based approach for analyzing security-design models (2007)
David Basin, Manuel Clavel, Jürgen Doser, Marina Egea
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications for distributed...
Model Driven Security: from UML Models to Access Control Infrastructures (2006)
David Basin, Jürgen Doser, Torsten Lodderstedt
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 requirements and use tools to...
Achim D. Brucker, Joint Work, Jürgen Doser, Burkhart Wolff, A St, Ard Compliant, ...
The semantics of ocl 2.0 is spread over several places: Chapter 7 “ocl Language Description ” (informative): introduces ocl informally using examples, Chapter 10 “Semantics Described using uml...
An MDA Framework Supporting OCL (2006)
Achim D. Brucker, Jürgen Doser, Burkhart Wolff
Abstract We present an mda framework, developed in the functional programming language sml, that tries to bridge the gap between formal software development and the needs of industrial software...
Semantic issues of ocl: Past, present, and future (2006)
Achim D. Brucker, Jürgen Doser, Burkhart Wolff
Abstract We report on the results of a long-term project to formalize the semantics of OCL 2.0 in Higher-order Logic (HOL). The ultimate goal of the project is to provide a formalized,...
Achim D. Brucker, Jürgen Doser, Burkhart Wolff
The semantics of ocl 2.0 is spread over several places: Chapter 7 “ocl Language Description ” (informative): introduces ocl informally using examples, Chapter 10 “Semantics Described using uml...
A Model Transformation Semantics and Analysis Methodology for SecureUML (2006)
Achim D. Brucker, Achim D. Brucker, Jürgen Doser, Jürgen Doser, Burkhart Wolff, Burkhart Wolff
Abstract SecureUML is a security modeling language for formalizing access control requirements in a declarative way. It is equipped with a uml notation in terms of a uml profile, and can be combined...
David Basin, Jürgen Doser, Torsten Lodderstedt
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 requirements and use tools to...
SecureUML: A UML-Based Modeling Language for Model-Driven Security (2002)
Torsten Lodderstedt, David Basin, Jürgen Doser
Abstract. 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-based access...