Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Manuel Koch
2010 – today
- 2013
[j11]Manuel Koch, Sven Marx, Arno Elmer: Informationelle Selbstbestimmung und Patientensouveränität in einem vernetzten Gesundheitswesen. Datenschutz und Datensicherheit 37(3): 131-136 (2013)- 2012
- [c20]Andreas Hallof, Manuel Koch, Sven Marx, Arno Elmer: Elektronische Signaturen in der Telematikinfrastruktur. GI-Jahrestagung 2012: 1674-1680
2000 – 2009
- 2006
- [j10]Torsten 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)
- [j9]Manuel Koch, Francesco Parisi-Presicce: UML specification of access control policies and their formal verification. Software and System Modeling 5(4): 429-447 (2006)
- [c19]Steffen Kolarczyk, Manuel Koch, Klaus-Peter Löhr, Karl Pauls: SecTOOL - Supporting Requirements Engineering for Access Control. ETRICS 2006: 254-267
- [c18]
- 2005
- [j8]Paolo 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)
- [j7]Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: Graph-based specification of access control policies. J. Comput. Syst. Sci. 71(1): 1-33 (2005)
- [c17]Manuel Koch, Karl Pauls: An Access Control Language for Dynamic Systems - Model-Driven Development and Verification. SDL Forum 2005: 16-31
- [c16]Manuel Koch, Karl Pauls: Model-driven development of access control aspects. Sicherheit 2005: 273-284
- 2004
- [c15]Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: Administrative scope in the graph-based framework. SACMAT 2004: 97-104
- 2003
- [j6]Gerald Brose, Manuel Koch, Klaus-Peter Löhr: Entwicklung und Verwaltung von Zugriffsschutz in verteilten Objektsystemen - eine Krankenhausfallstudie. Praxis der Informationsverarbeitung und Kommunikation 26(1): 26-31 (2003)
- [c14]Manuel Koch, Francesco Parisi-Presicce: Formal access control analysis in the software development process. FMSE 2003: 67-76
- [c13]Manuel Koch, Francesco Parisi-Presicce: Visual Specifications of Policies and Their Verification. FASE 2003: 278-293
- [c12]Torsten Fink, Manuel Koch, Cristian Oancea: Specification and Enforcement of Access Control in Heterogeneous Distributed Applications. ICWS-Europe 2003: 88-100
- 2002
- [j5]Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: A graph-based formalism for RBAC. ACM Trans. Inf. Syst. Secur. 5(3): 332-365 (2002)
- [c11]Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: Decidability of Safety in Graph-Based Models for Access Control. ESORICS 2002: 229-243
- [c10]Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: Conflict Detection and Resolution in Access Control Policy Specifications. FoSSaCS 2002: 223-237
- [c9]Manuel Koch, Francesco Parisi-Presicce: Describing Policies with Graph Constraints and Rules. ICGT 2002: 223-238
- 2001
- [j4]Manuel Koch: A graph-based approach to the compositional specification of distributed systems. Electr. Notes Theor. Comput. Sci. 51: 212-221 (2001)
- [j3]Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: Graph Transformations for the Specification of Access Control Policies. Electr. Notes Theor. Comput. Sci. 51: 222-232 (2001)
- [c8]Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: Foundations for a Graph-Based Approach to the Specification of Access Control Policies. FoSSaCS 2001: 287-302
- [c7]Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: On the specification and evolution of access control policies. SACMAT 2001: 121-130
- [c6]Paolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Gabriele Taentzer: A Visualization of OCL Using Collaborations. UML 2001: 257-271
- 2000
- [c5]Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: A Formal Model for Role-Based Access Control Using Graph Transformation. ESORICS 2000: 122-139
- [c4]Paolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Gabriele Taentzer: Consistency Checking and Visualization of OCL Constraints. UML 2000: 294-308
1990 – 1999
- 1999
- [c3]Ingrid Fischer, Manuel Koch, Michael R. Berthold: Learning and Rewriting in Fuzzy Rule Graphs. AGTIVE 1999: 263-270
- 1998
- [j2]Manuel Koch, Ingrid Fischer, Victor Volle: Graphtransformationen zur visuellen Beschreibung einer transaktionsgesteuerten Konfigurationskontrolle. Datenbank Rundbrief 21: 31-32 (1998)
- [c2]Ingrid Fischer, Manuel Koch, Gabriele Taentzer: Local Views on Distributed Systems and Their Communication. TAGT 1998: 164-178
- [c1]Fabio Gadducci, Reiko Heckel, Manuel Koch: A Fully Abstract Model for Graph-Interpreted Temporal Logic. TAGT 1998: 310-322
- 1997
- [j1]Manuel Koch: Graphtransformation als universelles Beschreibungs- und Ausführungsmodell für Transaktionen. Datenbank Rundbrief 19: 67-69 (1997)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-03-05 19:42 CET by the dblp team