contêm Francesco Parisi-Presicce
D1.4.a
Manuel Koch and Francesco Parisi-Presicce. Visual Specifications of Policies and their Verification. Proc. FASE 2003, 278-293, LNCS 2621, ...
www.scribd.com
A Formal Model for Role-Based Access Control Using Graph ...
Research article authored by Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce published at an ESORICS conference: description and abstract.
homepages.laas.fr
Policy Viewer: Ferramenta para visualizaç˜ao de polıticas de ...
[22] Manuel Koch, Luigi V. Mancini, and Francesco Parisi-Presicce. A graph- based for- malism for rbac. ACM Trans. Inf. Syst. Secur. ...
www.las.ic.unicamp.br
CiteULike: A Visualization of OCL Using Collaborations
Paolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Gabriele Taentzer. : UML 2001 - The Unified Modeling Language.Modeling Languages, Concepts, and Tools: 4th
www.citeulike.org
A graph-based formalism for RBAC
Authors: Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce. Citations: 31
academic.research.microsoft.com
1 - 5 de 5