Clara Bertolissi

发表

The graph rewriting calculus: properties and expressive capabilities

Clara Bertolissi, Clara Bertolissi, 2005 .

A rewriting calculus for cyclic higher-order term graphs

Clara Bertolissi, Claude Kirchner, Paolo Baldan, 2004, Mathematical Structures in Computer Science.

Verification of Composed Array-Based Systems with Applications to Security-Aware Workflows

Clara Bertolissi, Silvio Ranise, 2013, FroCos.

Admin-CBAC: An Administration Model for Category-Based Access Control

Bhavani Thuraisingham, Clara Bertolissi, Maribel Fernández, 2020, CODASPY.

Rewrite Specifications of Access Control Policies in Distributed Environments

Clara Bertolissi, Maribel Fernández, Clara Bertolissi, 2010, STM.

Automated analysis of rule-based access control policies

Clara Bertolissi, Worachet Uttha, Clara Bertolissi, 2013, PLPV.

Solving Multi-Objective Workflow Satisfiability Problems with Optimization Modulo Theories Techniques

Clara Bertolissi, Silvio Ranise, Daniel Ricardo dos Santos, 2018, SACMAT.

Sharing in the Graph Rewriting Calculus

Clara Bertolissi, Paolo Baldan, Paolo Baldan, 2010, WADT.

Using Provenance for Secure Data Fusion in Cooperative Systems

Jerry den Hartog, Clara Bertolissi, Nicola Zannone, 2019, SACMAT.

Dynamic Event-Based Access Control as Term Rewriting

Clara Bertolissi, Maribel Fernández, Steve Barker, 2007, DBSec.

Category-Based Authorisation Models: Operational Semantics and Expressive Power

Clara Bertolissi, Maribel Fernández, Clara Bertolissi, 2010, ESSoS.

Time and Location Based Services with Access Control

Clara Bertolissi, Maribel Fernández, Clara Bertolissi, 2008, 2008 New Technologies, Mobility and Security.

Towards a Reference Architecture for Access Control in Distributed Web Applications

Clara Bertolissi, Silvio Ranise, Worachet Uttha, 2014, ESSoS Doctoral Symposium.

Enhancing security in the cloud: When traceability meets access control

Clara Bertolissi, Omar Boucelma, Worachet Uttha, 2017, 2017 12th International Conference for Internet Technology and Secured Transactions (ICITST).

The Graph Rewriting Calculus: Confluence and Expressiveness

Clara Bertolissi, 2005, ICTCS.

Distributed event-based access control

Clara Bertolissi, Maribel Fernández, Maribel Fernández, 2009, Int. J. Inf. Comput. Secur..

Modeling authorization policies for Web Services in presence of transitive dependencies

Clara Bertolissi, Silvio Ranise, Worachet Uttha, 2015, 2015 12th International Joint Conference on e-Business and Telecommunications (ICETE).

A methodology to build run-time monitors for security-aware workflows

Clara Bertolissi, Silvio Ranise, 2013, 8th International Conference for Internet Technology and Secured Transactions (ICITST-2013).

PPDP '08 Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming

Clara Bertolissi, Maribel Fernández, 2008 .

The Rewriting Calculus as a Combinatory Reduction System

Clara Bertolissi, Claude Kirchner, 2007, FoSSaCS.

Translating Combinatory Reduction Systems into the Rewriting Calculus

Clara Bertolissi, Claude Kirchner, Horatiu Cirstea, 2003, RULE@RDP.

A Rewriting Calculus for Cyclic Higher-order Term Graphs

Clara Bertolissi, Claude Kirchner, Paolo Baldan, 2005, Electron. Notes Theor. Comput. Sci..

Analysis of access control policy updates through narrowing

Clara Bertolissi, Jean-Marc Talbot, Didier Villevalois, 2016, PPDP.

Lecture Notes in Computer Science, 2010, Volume 5965, Engineering Secure Software and Systems

Clara Bertolissi, Maribel Fernández, 2010, ESSoS 2010.

A SMT-based methodology for monitoring of security-aware workflows

Clara Bertolissi, Silvio Ranise, 2014 .

2nd IFIP International Conference on New Technologies, Mobility and Security

Clara Bertolissi, Maribel Fernández, 2008 .

A rewriting framework for the composition of access control policies

Clara Bertolissi, Maribel Fernández, Maribel Fernández, 2008, PPDP.

Automated Synthesis of Run-time Monitors to Enforce Authorization Policies in Business Processes

Clara Bertolissi, Silvio Ranise, Daniel Ricardo dos Santos, 2015, AsiaCCS.

Expressing combinatory reduction systems derivations in the rewriting calculus

Clara Bertolissi, Claude Kirchner, Horatiu Cirstea, 2006, High. Order Symb. Comput..

An algebraic-functional framework for distributed access control

Clara Bertolissi, Maribel Fernández, Clara Bertolissi, 2008, 2008 Third International Conference on Risks and Security of Internet and Systems.

Towards a Sharing Strategy for the Graph Rewriting Calculus

Clara Bertolissi, Claude Kirchner, Paolo Baldan, 2008, WRS@RDP.

Action Control by Term Rewriting

Clara Bertolissi, Maribel Fernández, Steve Barker, 2009, Electron. Notes Theor. Comput. Sci..

A metamodel of access control for distributed environments: Applications and properties

Clara Bertolissi, Maribel Fernández, Maribel Fernández, 2014, Inf. Comput..

Graph-Based Specification of Admin-CBAC Policies

Bhavani M. Thuraisingham, Clara Bertolissi, Maribel Fernández, 2021, CODASPY.