Manuel Koch

From MaRDI portal
Person:2486562

Available identifiers

zbMath Open koch.manuelMaRDI QIDQ2486562

List of research outcomes





PublicationDate of PublicationType
A Formal Model for Role-Based Access Control Using Graph Transformation2022-03-07Paper
Decidability of Safety in Graph-Based Models for Access Control2022-02-16Paper
Graph Transformations for the Specification of Access Control Policies2013-05-24Paper
A graph-based approach to the compositional specification of distributed systems2013-05-24Paper
Graph-based specification of access control policies2005-08-05Paper
https://portal.mardi4nfdi.de/entity/Q47382282004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q44387812003-12-10Paper
https://portal.mardi4nfdi.de/entity/Q44358672003-11-20Paper
https://portal.mardi4nfdi.de/entity/Q44178382003-07-30Paper
https://portal.mardi4nfdi.de/entity/Q27694362002-02-05Paper
https://portal.mardi4nfdi.de/entity/Q45089322000-10-10Paper
https://portal.mardi4nfdi.de/entity/Q45028172000-09-12Paper
https://portal.mardi4nfdi.de/entity/Q45028122000-09-12Paper

Research outcomes over time

This page was built for person: Manuel Koch

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2486562&oldid=6838867"
Powered by MediaWiki