dblp.uni-trier.dewww.uni-trier.de

Manuel Koch

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
28EESteffen Kolarczyk, Manuel Koch, Klaus-Peter Löhr, Karl Pauls: SecTOOL - Supporting Requirements Engineering for Access Control. ETRICS 2006: 254-267
27EEManuel Koch, Karl Pauls: Engineering Self-protection for Autonomous Systems. FASE 2006: 33-47
26EETorsten Fink, Manuel Koch, Karl Pauls: An MDA approach to Access Control Specifications Using MOF and UML Profiles. Electr. Notes Theor. Comput. Sci. 142: 161-179 (2006)
25EEManuel Koch, Francesco Parisi-Presicce: UML specification of access control policies and their formal verification. Software and System Modeling 5(4): 429-447 (2006)
2005
24EEManuel Koch, Karl Pauls: An Access Control Language for Dynamic Systems - Model-Driven Development and Verification. SDL Forum 2005: 16-31
23 Manuel Koch, Karl Pauls: Model-driven development of access control aspects. Sicherheit 2005: 273-284
22EEPaolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Gabriele Taentzer: Termination of High-Level Replacement Units with Application to Model Transformation. Electr. Notes Theor. Comput. Sci. 127(4): 71-86 (2005)
21EEManuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: Graph-based specification of access control policies. J. Comput. Syst. Sci. 71(1): 1-33 (2005)
2004
20EEManuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: Administrative scope in the graph-based framework. SACMAT 2004: 97-104
2003
19EEManuel Koch, Francesco Parisi-Presicce: Visual Specifications of Policies and Their Verification. FASE 2003: 278-293
18EEManuel Koch, Francesco Parisi-Presicce: Formal access control analysis in the software development process. FMSE 2003: 67-76
17EETorsten Fink, Manuel Koch, Cristian Oancea: Specification and Enforcement of Access Control in Heterogeneous Distributed Applications. ICWS-Europe 2003: 88-100
2002
16EEManuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: Decidability of Safety in Graph-Based Models for Access Control. ESORICS 2002: 229-243
15EEManuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: Conflict Detection and Resolution in Access Control Policy Specifications. FoSSaCS 2002: 223-237
14EEManuel Koch, Francesco Parisi-Presicce: Describing Policies with Graph Constraints and Rules. ICGT 2002: 223-238
13EEManuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: A graph-based formalism for RBAC. ACM Trans. Inf. Syst. Secur. 5(3): 332-365 (2002)
2001
12EEManuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: Foundations for a Graph-Based Approach to the Specification of Access Control Policies. FoSSaCS 2001: 287-302
11EEManuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: On the specification and evolution of access control policies. SACMAT 2001: 121-130
10EEPaolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Gabriele Taentzer: A Visualization of OCL Using Collaborations. UML 2001: 257-271
9EEManuel Koch: A graph-based approach to the compositional specification of distributed systems. Electr. Notes Theor. Comput. Sci. 51: (2001)
8EEManuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: Graph Transformations for the Specification of Access Control Policies. Electr. Notes Theor. Comput. Sci. 51: (2001)
2000
7EEManuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: A Formal Model for Role-Based Access Control Using Graph Transformation. ESORICS 2000: 122-139
6EEPaolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Gabriele Taentzer: Consistency Checking and Visualization of OCL Constraints. UML 2000: 294-308
1999
5EEIngrid Fischer, Manuel Koch, Michael R. Berthold: Learning and Rewriting in Fuzzy Rule Graphs. AGTIVE 1999: 263-270
1998
4 Ingrid Fischer, Manuel Koch, Gabriele Taentzer: Local Views on Distributed Systems and Their Communication. TAGT 1998: 164-178
3 Fabio Gadducci, Reiko Heckel, Manuel Koch: A Fully Abstract Model for Graph-Interpreted Temporal Logic. TAGT 1998: 310-322
2 Manuel Koch, Ingrid Fischer, Victor Volle: Graphtransformationen zur visuellen Beschreibung einer transaktionsgesteuerten Konfigurationskontrolle. Datenbank Rundbrief 21: 31-32 (1998)
1997
1 Manuel Koch: Graphtransformation als universelles Beschreibungs- und Ausführungsmodell für Transaktionen. Datenbank Rundbrief 19: 67-69 (1997)

Coauthor Index

1Michael R. Berthold [5]
2Paolo Bottoni [6] [10] [22]
3Torsten Fink [17] [26]
4Ingrid Fischer [2] [4] [5]
5Fabio Gadducci [3]
6Reiko Heckel [3]
7Steffen Kolarczyk [28]
8Klaus-Peter Löhr [28]
9Luigi V. Mancini [7] [8] [11] [12] [13] [15] [16] [20] [21]
10Cristian Oancea [17]
11Francesco Parisi-Presicce [6] [7] [8] [10] [11] [12] [13] [14] [15] [16] [18] [19] [20] [21] [22] [25]
12Karl Pauls [23] [24] [26] [27] [28]
13Gabriele Taentzer [4] [6] [10] [22]
14Victor Volle [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)