Clara Bertolissi

According to our database, Clara Bertolissi authored at least 35 papers between 2003 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Solving Access Control Conflicts in Multi-User Systems.

Alba Martinez Anton, Clara Bertolissi, Jean-Marc Talbot

Proceedings of the 21st International Conference on Security and Cryptography, 2024

A Bargaining-Game Framework for Multi-Party Access Control.

Gelareh Hasel Mehri, Benjamin Monmege, Clara Bertolissi, Nicola Zannone

Proceedings of the 29th ACM Symposium on Access Control Models and Technologies, 2024

An Axiomatic Category-Based Access Control Model for Smart Homes.

Clara Bertolissi, Maribel Fernández, Bhavani Thuraisingham

Proceedings of the Logic-Based Program Synthesis and Transformation, 2024

2023

Data Sharing in Social Networks.

Clara Bertolissi, Alba Martinez Anton, Nicola Zannone

Proceedings of the 28th ACM Symposium on Access Control Models and Technologies, 2023

2022

Modular Composition of Access Control Policies: A Framework to Build Multi-Site Multi-Level Combinations.

Clara Bertolissi, Maribel Fernández

Proceedings of the SACMAT '22: The 27th ACM Symposium on Access Control Models and Technologies, New York, NY, USA, June 8, 2022

Formal methods applied to access control policy design, verification and enforcement.

Clara Bertolissi

, 2022

2021

Graph-Based Specification of Admin-CBAC Policies.

Clara Bertolissi, Maribel Fernández, Bhavani Thuraisingham

Proceedings of the CODASPY '21: Eleventh ACM Conference on Data and Application Security and Privacy, 2021

2020

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

Clara Bertolissi, Maribel Fernández, Bhavani Thuraisingham

Proceedings of the CODASPY '20: Tenth ACM Conference on Data and Application Security and Privacy, 2020

2019

Using Provenance for Secure Data Fusion in Cooperative Systems.

Clara Bertolissi, Jerry den Hartog, Nicola Zannone

Proceedings of the 24th ACM Symposium on Access Control Models and Technologies, 2019

2018

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

Clara Bertolissi, Daniel Ricardo dos Santos, Silvio Ranise

Proceedings of the 23nd ACM on Symposium on Access Control Models and Technologies, 2018

2017

Enhancing security in the cloud: When traceability meets access control.

Clara Bertolissi, Omar Boucelma, Worachet Uttha

Proceedings of the 12th International Conference for Internet Technology and Secured Transactions, 2017

2016

Analysis of access control policy updates through narrowing.

Clara Bertolissi, Jean-Marc Talbot, Didier Villevalois

Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, 2016

2015

Modeling Authorization Policies for Web Services in Presence of Transitive Dependencies.

Worachet Uttha, Clara Bertolissi, Silvio Ranise

Proceedings of the SECRYPT 2015, 2015

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

Clara Bertolissi, Daniel Ricardo dos Santos, Silvio Ranise

Proceedings of the 10th ACM Symposium on Information, 2015

2014

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

Clara Bertolissi, Maribel Fernández

Inf. Comput., 2014

Towards a Reference Architecture for Access Control in Distributed Web Applications.

Worachet Uttha, Clara Bertolissi, Silvio Ranise

Proceedings of the 2014 ESSoS Doctoral Symposium co-located with the International Symposium on Engineering Secure Software and Systems (ESSoS 2014), 2014

2013

Automated analysis of rule-based access control policies.

Clara Bertolissi, Worachet Uttha

Proceedings of the 7th Workshop on Programming languages meets program verification, 2013

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

Clara Bertolissi, Silvio Ranise

Proceedings of the 8th International Conference for Internet Technology and Secured Transactions, 2013

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

Clara Bertolissi, Silvio Ranise

Proceedings of the Frontiers of Combining Systems, 2013

2010

Sharing in the Graph Rewriting Calculus.

Paolo Baldan, Clara Bertolissi

Proceedings of the Recent Trends in Algebraic Development Techniques, 2010

Rewrite Specifications of Access Control Policies in Distributed Environments.

Clara Bertolissi, Maribel Fernández

Proceedings of the Security and Trust Management - 6th International Workshop, 2010

Category-Based Authorisation Models: Operational Semantics and Expressive Power.

Clara Bertolissi, Maribel Fernández

Proceedings of the Engineering Secure Software and Systems, Second International Symposium, 2010

2009

Distributed event-based access control.

Clara Bertolissi, Maribel Fernández

Int. J. Inf. Comput. Secur., 2009

2008

Action Control by Term Rewriting.

Steve Barker, Clara Bertolissi, Maribel Fernández

Proceedings of the Third International Workshop on Security and Rewriting Techniques, 2008

A rewriting framework for the composition of access control policies.

Clara Bertolissi, Maribel Fernández

Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008

Time and Location Based Services with Access Control.

Clara Bertolissi, Maribel Fernández

Proceedings of the NTMS 2008, 2008

An algebraic-functional framework for distributed access control.

Clara Bertolissi, Maribel Fernández

Proceedings of the CRiSIS '08, 2008

2007

Towards a Sharing Strategy for the Graph Rewriting Calculus.

Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner

Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming, 2007

The Rewriting Calculus as a Combinatory Reduction System.

Clara Bertolissi, Claude Kirchner

Proceedings of the Foundations of Software Science and Computational Structures, 2007

Dynamic Event-Based Access Control as Term Rewriting.

Clara Bertolissi, Maribel Fernández, Steve Barker

Proceedings of the Data and Applications Security XXI, 2007

2006

Expressing combinatory reduction systems derivations in the rewriting calculus.

Clara Bertolissi, Horatiu Cirstea, Claude Kirchner

High. Order Symb. Comput., 2006

2005

The graph rewriting calculus: properties and expressive capabilities.

Clara Bertolissi

PhD thesis, 2005

The Graph Rewriting Calculus: Confluence and Expressiveness.

Clara Bertolissi

Proceedings of the Theoretical Computer Science, 9th Italian Conference, 2005

2004

A Rewriting Calculus for Cyclic Higher-order Term Graphs.

Clara Bertolissi, Paolo Baldan, Horatiu Cirstea, Claude Kirchner

Proceedings of the 2nd International Workshop on Term Graph Rewriting, 2004

2003

Translating Combinatory Reduction Systems into the Rewriting Calculus.

Clara Bertolissi, Horatiu Cirstea, Claude Kirchner

Proceedings of the 4th International Workshop on Rule-Based Programming, 2003