Including francesco parisi-presicce
An Integrated Semantics for UML Class, Object and State ...
Paolo Bottoni , Manuel Koch , Francesco Parisi-Presicce , Gabriele Taentzer, Consistency checking and visualization of OCL constraints,
dl.acm.org
Access Control Specification in UML
Access Control Specification in UML (9781605660608): Manuel Koch, Francesco Parisi-Presicce, Karl Pauls: Book Chapters.
www.igi-global.com
A Formal Model for Role-Based Access Control using Graph ...
Manuel Koch, Luigi V. Mancini and Francesco Parisi-Presicce. Dip. Scienze dell' Informazione, Universit éa degli Studi di Roma La Sapienza ...
profsandhu.com
Lecture Notes in Computer Science
212 Manuel Koch and Luigi V. Mancini and Francesco Parisi-Presicce Decidability of Safety in Graph-Based Models for Access Control . ...
ftp.math.utah.edu
Formal access control analysis in the software development process
Manuel Koch. No contact information provided yet. ... View colleagues of Manuel Koch ... Manuel Koch , Luigi V. Mancini , Francesco Parisi-Presicce, ...
dx.doi.org
CiteSeerX — Access Control Policy Specification in UML
@MISC{Koch_accesscontrol, author = {Manuel Koch and Francesco Parisi-Presicce}, title = {Access Control Policy Specification in UML}, year = {}}
citeseerx.ist.psu.edu
Publikationen - Philipps-Universität Marburg - Fb. 12 - Mathematik ...
Paolo Bottoni, Manuel Koch, Francesco Parisi-Presicce and Gabriele Taentzer: ..... Ingrid Fischer, Manuel Koch and Gabriele Taentzer: ...
www.uni-marburg.de
Graph-based specification of access control policies
Authors: Manuel Koch: Freie Universität Berlin, Berlin: L. V. Mancini: Univ. di Roma “La Sapienza”, Roma: Francesco Parisi-Presicce
portal.acm.org
Graph-based specification of access control policies.
Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce. ... @ARTICLE{ koch: graph-based, AUTHOR = "Manuel Koch and Luigi V. Mancini and Francesco ...
www.arnetminer.net
CiteSeerX — Citation Query A Visualization of OCL using ...
by Paolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Gabriele Taentzer Cited by 1 (0 self) – Show/Hide Context
citeseerx.ist.psu.edu
A graph-based formalism for RBAC
Authors: Manuel Koch, Freie Universit at Berlin .... Manuel Koch , Luigi V. Mancini , Francesco Parisi-Presicce, A Formal Model for Role-Based Access ...
portal.acm.org
Foundations for a Graph-Based Approach to the Specification ...
Manuel Koch , Luigi V. Mancini , Francesco Parisi-Presicce, Conflict Detection and Resolution in Access Control Policy Specifications,
dl.acm.org
IRMA-International.org: Access Control Specification in UML ...
Access Control Specification in UML (9781605660608): Manuel Koch, Francesco Parisi-Presicce, Karl Pauls: Book Chapters.
www.irma-international.org
Manuel Koch - CiteULike
by Paolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Gabriele Taentzer. posted to collaborations ocl uml visualization by RWeiss on ...
www.citeulike.org
Manuel Koch
5 Oct 2005 ... Manuel Koch, Francesco Parisi-Presicce: Access Control Policy Specification in OCL, Workshop on Critical Systems Development with UML, 2002, ...
www.db.informatik.uni-bremen.de
1 - 15 from 15