Francesco Parisi-Presicce

Bing Citeseer DBLP Google Google Scholar Kosmix Wikipedia Yahoo!
Loading Google Thumbnails...
2006
39Safety analysis of usage control authorization models. Xinwen Zhang, Ravi S. Sandhu, Francesco Parisi-Presicce. ASIACCS 2006, 243-254. Web SearchBibTeXDownload
38Special Issue with Selected Papers from ICGT 2004. Gregor Engels, Fernando Orejas, Francesco Parisi-Presicce. Fundam. Inform. (74) (2006). Web SearchBibTeXDownload
37Towards Remote Policy Enforcement for Runtime Protection of Mobile Code Using Trusted Computing. Xinwen Zhang, Francesco Parisi-Presicce, Ravi S. Sandhu. IWSEC 2006, 179-195. Web SearchBibTeXDownload
2005
36Formal model and policy specification of usage control. Xinwen Zhang, Francesco Parisi-Presicce, Ravi S. Sandhu, Jaehong Park. ACM Trans. Inf. Syst. Secur. (8): 351-387 (2005). Web SearchBibTeXDownload
35Blind Custodians: A Database Service Architecture That Supports Privacy Without Encryption. Amihai Motro, Francesco Parisi-Presicce. DBSec 2005, 338-352. Web SearchBibTeXDownload
34Graph-based specification of access control policies. Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce. J. Comput. Syst. Sci. (71): 1-33 (2005). Web SearchBibTeXDownload
2004
33Information Flow Analysis for File Systems and Databases Using Labels. Ehud Gudes, Luigi V. Mancini, Francesco Parisi-Presicce. DBSec 2004, 125-141. Web SearchBibTeX
32Administrative scope in the graph-based framework. Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce. SACMAT 2004, 97-104. Web SearchBibTeXDownload
31A logical specification for usage control. Xinwen Zhang, Jaehong Park, Francesco Parisi-Presicce, Ravi S. Sandhu. SACMAT 2004, 1-10. Web SearchBibTeXDownload
2003
30Removing permissions in the flexible authorization framework. Duminda Wijesekera, Sushil Jajodia, Francesco Parisi-Presicce, Åsa Hagström. ACM Trans. Database Syst. (28): 209-229 (2003). Cited by 6Web SearchBibTeXDownload
2002
29A graph-based formalism for RBAC. Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce. ACM Trans. Inf. Syst. Secur. (5): 332-365 (2002). Web SearchBibTeXDownload
28Decidability of Safety in Graph-Based Models for Access Control. Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce. ESORICS 2002, 229-243. Web SearchBibTeXDownload
27Conflict Detection and Resolution in Access Control Policy Specifications. Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce. FoSSaCS 2002, 223-237. Web SearchBibTeXDownload
26Modeling E -service Orchestration through Petri Nets. Massimo Mecella, Francesco Parisi-Presicce, Barbara Pernici. TES 2002, 38-47. Cited by 67Web SearchBibTeXDownload
2001
25Revocations-A Classification. Åsa Hagström, Sushil Jajodia, Francesco Parisi-Presicce, Duminda Wijesekera. CSFW 2001, 44-58. Cited by 32Web SearchBibTeXDownload
24Basic Results for Two Types of High-Level Replacement Systems. Hartmut Ehrig, Annegret Habel, Francesco Parisi-Presicce. Electr. Notes Theor. Comput. Sci. (51): 127-138 (2001). Web SearchBibTeXDownload
23Graph Transformations for the Specification of Access Control Policies. Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce. Electr. Notes Theor. Comput. Sci. (51): 222-232 (2001). Web SearchBibTeXDownload
22Foundations for a Graph-Based Approach to the Specification of Access Control Policies. Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce. FoSSaCS 2001, 287-302. Web SearchBibTeXDownload
21On a Uniform Logical Framework for Diagrammatic Reasoning. Paolo Bottoni, Bernd Meyer, Francesco Parisi-Presicce. HCC 2001, 64-71. Web SearchBibTeXDownload
20Deductive Parsing of Visual Languages. Paolo Bottoni, Bernd Meyer, Kim Marriott, Francesco Parisi-Presicce. LACL 2001, 79-94. Web SearchBibTeXDownload
19On the specification and evolution of access control policies. Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce. SACMAT 2001, 121-130. Web SearchBibTeXDownload
2000
18A Formal Model for Role-Based Access Control Using Graph Transformation. Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce. ESORICS 2000, 122-139. Web SearchBibTeXDownload
17Foundations for Software Configuration Management Policies Using Graph Transformations. Francesco Parisi-Presicce, Alexander L. Wolf. FASE 2000, 304-318. Web SearchBibTeXDownload
16Visual Multiset Rewriting: Applications to Diagram Parsing and Reasoning. Paolo Bottoni, Bernd Meyer, Francesco Parisi-Presicce. WMP 2000, 45-68. Web SearchBibTeXDownload
1993
15Interaction between Algebraic Specification Grammars and Modular System Design. Hartmut Ehrig, Francesco Parisi-Presicce. AMAST 1993, 217-224. Web SearchBibTeX
1992
14High-Level-Replacement Systems for Equational Algebraic Specifications. Hartmut Ehrig, Francesco Parisi-Presicce. ALP 1992, 3-20. Web SearchBibTeXDownload
1991
13Non-Equivalence of Categories for Equational Algebraic Specifications. Hartmut Ehrig, Francesco Parisi-Presicce. COMPASS/ADT 1991, 222-235. Web SearchBibTeXDownload
12Parallelism and Concurrency in High-Level Replacement Systems. Hartmut Ehrig, Annegret Habel, Hans-Jörg Kreowski, Francesco Parisi-Presicce. Mathematical Structures in Computer Science (1): 361-404 (1991). Web SearchBibTeXDownload
1990
11A Match Operation for Rule-Based Modular System Design. Hartmut Ehrig, Francesco Parisi-Presicce. ADT 1990, 74-97. Web SearchBibTeXDownload
10Algebraic Specification Grammars: A Junction between Module Specifications and Graph Grammars. Hartmut Ehrig, Francesco Parisi-Presicce. Graph-Grammars and Their Application to Computer Science 1990, 292-310. Web SearchBibTeXDownload
9From Graph Grammars to High Level Replacement Systems. Hartmut Ehrig, Annegret Habel, Hans-Jörg Kreowski, Francesco Parisi-Presicce. Graph-Grammars and Their Application to Computer Science 1990, 269-291. Web SearchBibTeXDownload
8Combining Data Type and Recursive Process Specifications Using Projection Algebras. Hartmut Ehrig, Francesco Parisi-Presicce, Paul Boehm, Catharina Rieckhoff, Christian Dimitrovici, Martin Große-Rhode. Theor. Comput. Sci. (71): 347-380 (1990). Web SearchBibTeXDownload
7Compatibility Problems in the Development of Algebraic Module Specifications. Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs, Francesco Parisi-Presicce. Theor. Comput. Sci. (77): 27-71 (1990). Cited by 2Web SearchBibTeXDownload
1989
6Algebraic Specification of Modules and Configuration Families. Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs, Anno Langen, Francesco Parisi-Presicce. Elektronische Informationsverarbeitung und Kybernetik (25): 205-232 (1989). Cited by 5Web SearchBibTeX
1988
5Categories for the Development of Algebraic Module Specifications. Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Francesco Parisi-Presicce. Categorial Methods in Computer Science 1988, 157-184. Cited by 4Web SearchBibTeX
1987
4Algebraic Data Type and Process Specifications based on Projection Spaces. Hartmut Ehrig, Francesco Parisi-Presicce, Paul Boehm, Catharina Rieckhoff, Christian Dimitrovici, Martin Große-Rhode. ADT 1987, 23-43. Web SearchBibTeXDownload
3Algebraic Specification of Modules and Their Basic Interconnections. Edward K. Blum, Hartmut Ehrig, Francesco Parisi-Presicce. J. Comput. Syst. Sci. (34): 293-339 (1987). Web SearchBibTeXDownload
1986
2Graph rewriting with unification and composition. Francesco Parisi-Presicce, Hartmut Ehrig, Ugo Montanari. Graph-Grammars and Their Application to Computer Science 1986, 496-514. Web SearchBibTeXDownload
1Algebraic Theory of Module Specification with Constraints. Hartmut Ehrig, Werner Fey, Francesco Parisi-Presicce, Edward K. Blum. MFCS 1986, 59-77. Cited by 9Web SearchBibTeXDownload
from DBLP and Google Scholar
Developed by the Database Group at the University of Wisconsin and Yahoo! Research