Concepedia

Manuel Koch

MK

6

Publications

305

Citations

6

H-Index

2000

Active since

Affiliations

Freie Universität Berlin(Current)

Sapienza University of Rome

George Mason University

Manuel Koch is an author at Freie Universität Berlin specializing in formal verification, formal methods, and engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationAccess ControlSystems EngineeringInformation SecurityData SecuritySoftware DesignProgram Analysis

Publications per year

2000–2006

6

Publications

6

A graph-based formalism for RBAC

Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce · ACM Transactions on Information and System Security · 2002 · 122 citations

Engineering, Information Security, Software Engineering +20

Consistency checking and visualization of OCL constraints

Paolo Bottoni, Manuel Koch, Francesco Parisi-Presicce et al. · Lecture notes in computer science · 2000 · 60 citations

Mathematical Programming, Constraint Solving, Formal Specification +10

Graph-based specification of access control policies

Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce · Journal of Computer and System Sciences · 2005 · 49 citations

Engineering, Graph Theory, Logical Access Control +9

UML specification of access control policies and their formal verification

Manuel Koch, Francesco Parisi-Presicce · Software & Systems Modeling · 2006 · 29 citations

Hardware Security, Engineering, Logical Access Control +13

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

Torsten Fink, Manuel Koch, Karl Pauls · Electronic Notes in Theoretical Computer Science · 2005 · 27 citations · Full text

Engineering, Information Security, Software Engineering +26

Rows per page

1–5 of 6