Manuel Koch

Available identifiers

zbMath Open koch.manuelMaRDI QIDQ2486562

List of research outcomes

Publication	Date of Publication	Type
A Formal Model for Role-Based Access Control Using Graph Transformation	2022-03-07	Paper
Decidability of Safety in Graph-Based Models for Access Control	2022-02-16	Paper
A graph-based approach to the compositional specification of distributed systems	2013-05-24	Paper
Graph Transformations for the Specification of Access Control Policies	2013-05-24	Paper
Graph-based specification of access control policies	2005-08-05	Paper
https://portal.mardi4nfdi.de/entity/Q4738228	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4438781	2003-12-10	Paper
https://portal.mardi4nfdi.de/entity/Q4435867	2003-11-20	Paper
https://portal.mardi4nfdi.de/entity/Q4417838	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q2769436	2002-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q4508932	2000-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q4502812	2000-09-12	Paper
https://portal.mardi4nfdi.de/entity/Q4502817	2000-09-12	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Manuel Koch