Manuel Koch

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A formal model for role-based access control using graph transformation Lecture Notes in Computer Science	2022-03-07	Paper
Decidability of safety in graph-based models for access control Computer Security — ESORICS 2002	2022-02-16	Paper
Graph transformations for the specification of access control policies Electronic Notes in Theoretical Computer Science	2013-05-24	Paper
A graph-based approach to the compositional specification of distributed systems Electronic Notes in Theoretical Computer Science	2013-05-24	Paper
Graph-based specification of access control policies Journal of Computer and System Sciences	2005-08-05	Paper
scientific article; zbMATH DE number 2087433 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 2016078 (Why is no real title available?)	2003-12-10	Paper
scientific article; zbMATH DE number 2006493 (Why is no real title available?)	2003-11-20	Paper
scientific article; zbMATH DE number 1956494 (Why is no real title available?)	2003-07-30	Paper
scientific article; zbMATH DE number 1701357 (Why is no real title available?)	2002-02-05	Paper
scientific article; zbMATH DE number 1515852 (Why is no real title available?)	2000-10-10	Paper
scientific article; zbMATH DE number 1504838 (Why is no real title available?)	2000-09-12	Paper
scientific article; zbMATH DE number 1504834 (Why is no real title available?)	2000-09-12	Paper

Research outcomes over time

This page was built for person: Manuel Koch