Manuel Koch

Softw. Syst. Model., 2006

Engineering Self-protection for Autonomous Systems.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2006

SecTOOL - Supporting Requirements Engineering for Access Control.

[BibT_eX]

[DOI]

Proceedings of the Emerging Trends in Information and Communication Security, 2006

2005

Graph-based specification of access control policies.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2005

Model-driven development of access control aspects.

[BibT_eX]

[DOI]

Proceedings of the Sicherheit 2005: Sicherheit, 2005

An Access Control Language for Dynamic Systems - Model-Driven Development and Verification.

[BibT_eX]

[DOI]

Proceedings of the SDL 2005: Model Driven, 2005

2004

An MDA approach to Access Control Specifications Using MOF and UML Profiles.

[BibT_eX]

[DOI]

Torsten Fink

Proceedings of the First International Workshop on Views on Designing Complex Architectures, 2004

Termination of High-Level Replacement Units with Application to Model Transformation.

[BibT_eX]

[DOI]

Paolo Bottoni

Proceedings of the Workshop on Visual Languages and Formal Methods, 2004

Administrative scope in the graph-based framework.

[BibT_eX]

[DOI]

Proceedings of the 9th ACM Symposium on Access Control Models and Technologies, 2004

2003

Entwicklung und Verwaltung von Zugriffsschutz in verteilten Objektsystemen - eine Krankenhausfallstudie.

[BibT_eX]

[DOI]

Gerald Brose

Klaus-Peter Löhr

Prax. Inf.verarb. Kommun., 2003

Specification and Enforcement of Access Control in Heterogeneous Distributed Applications.

[BibT_eX]

[DOI]

Torsten Fink

Cristian Oancea

Proceedings of the Web Services, 2003

Visual Specifications of Policies and Their Verification.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2003

Formal access control analysis in the software development process.

[BibT_eX]

[DOI]

Proceedings of the 2003 ACM workshop on Formal methods in security engineering, 2003

2002

A graph-based formalism for RBAC.

[BibT_eX]

[DOI]

ACM Trans. Inf. Syst. Secur., 2002

Describing Policies with Graph Constraints and Rules.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformation, First International Conference, 2002

Conflict Detection and Resolution in Access Control Policy Specifications.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structures, 2002

Decidability of Safety in Graph-Based Models for Access Control.

[BibT_eX]

[DOI]

Proceedings of the Computer Security, 2002

2001

Graph Transformations for the Specification of Access Control Policies.

[BibT_eX]

[DOI]

Proceedings of the GETGRATS Closing Workshop 2001, Bordeaux, France, June 22-23, 2001, 2001

A graph-based approach to the compositional specification of distributed systems.

[BibT_eX]

[DOI]

Proceedings of the GETGRATS Closing Workshop 2001, Bordeaux, France, June 22-23, 2001, 2001

A Visualization of OCL Using Collaborations.

[BibT_eX]

[DOI]

Paolo Bottoni

Proceedings of the «UML» 2001, 2001

On the specification and evolution of access control policies.

[BibT_eX]

[DOI]

Proceedings of the 6th ACM Symposium on Access Control Models and Technologies, 2001

Foundations for a Graph-Based Approach to the Specification of Access Control Policies.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structures, 2001

2000

Integration of graph transformation and temporal logic for the specification of distributed systems.

[BibT_eX]

[DOI]

PhD thesis, 2000

Consistency Checking and Visualization of OCL Constraints.

[BibT_eX]

[DOI]

Paolo Bottoni

Proceedings of the «UML» 2000, 2000

A Formal Model for Role-Based Access Control Using Graph Transformation.

[BibT_eX]

[DOI]

Proceedings of the Computer Security, 2000

1999

Learning and Rewriting in Fuzzy Rule Graphs.

[BibT_eX]

[DOI]

Ingrid Fischer

Michael R. Berthold

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 1999

1998

Graphtransformationen zur visuellen Beschreibung einer transaktionsgesteuerten Konfigurationskontrolle.

[BibT_eX]

Ingrid Fischer

Victor Volle

Datenbank Rundbr., 1998

A Fully Abstract Model for Graph-Interpreted Temporal Logic.

[BibT_eX]

[DOI]

Fabio Gadducci

Reiko Heckel

Proceedings of the Theory and Application of Graph Transformations, 1998

Local Views on Distributed Systems and Their Communication.

[BibT_eX]

[DOI]

Ingrid Fischer

Proceedings of the Theory and Application of Graph Transformations, 1998

1997

Graphtransformation als universelles Beschreibungs- und Ausführungsmodell für Transaktionen.

[BibT_eX]