Clara Bertolissi

40 papers A 1B 2C 11Journal 6Unranked 18

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	A Tool for the Verification and Visualization of GDPR Compliance. ICISSP (1) Yassine Abich, Chebrine Ghiles, Clara Bertolissi
2026	J	`jnl`	Fine-grained access control for multi-user data in cooperative systems: managing compound objects and temporal constraints. Int. J. Inf. Sec. Clara Bertolissi, Alba Martinez Anton, Nicola Zannone
2025	—	`conf`	Access Control Administration for Smart Homes. STM Clara Bertolissi, Maribel Fernández
2025	J	`jnl`	Category-Based Administrative Access Control Policies. ACM Trans. Priv. Secur. Clara Bertolissi, Maribel Fernández, Bhavani Thuraisingham
2024	C	`conf`	A Bargaining-Game Framework for Multi-Party Access Control. SACMAT Gelareh Hasel Mehri, Benjamin Monmege, Clara Bertolissi, Nicola Zannone
2024	C	`conf`	An Axiomatic Category-Based Access Control Model for Smart Homes. LOPSTR Clara Bertolissi, Maribel Fernández, Bhavani Thuraisingham
2024	C	`conf`	Solving Access Control Conflicts in Multi-User Systems. SECRYPT Alba Martinez Anton, Clara Bertolissi, Jean-Marc Talbot
2023	C	`conf`	Data Sharing in Social Networks. SACMAT Clara Bertolissi, Alba Martinez Anton, Nicola Zannone
2022	—	`book`	Formal methods applied to access control policy design, verification and enforcement. Clara Bertolissi
2022	C	`conf`	Modular Composition of Access Control Policies: A Framework to Build Multi-Site Multi-Level Combinations. SACMAT Clara Bertolissi, Maribel Fernández
2021	—	`conf`	Graph-Based Specification of Admin-CBAC Policies. CODASPY Clara Bertolissi, Maribel Fernández, Bhavani Thuraisingham
2020	—	`conf`	Admin-CBAC: An Administration Model for Category-Based Access Control. CODASPY Clara Bertolissi, Maribel Fernández, Bhavani Thuraisingham
2019	C	`conf`	Using Provenance for Secure Data Fusion in Cooperative Systems. SACMAT Clara Bertolissi, Jerry den Hartog, Nicola Zannone
2018	C	`conf`	Solving Multi-Objective Workflow Satisfiability Problems with Optimization Modulo Theories Techniques. SACMAT Clara Bertolissi, Daniel Ricardo dos Santos, Silvio Ranise
2017	—	`conf`	Enhancing security in the cloud: When traceability meets access control. ICITST Clara Bertolissi, Omar Boucelma, Worachet Uttha
2016	C	`conf`	Analysis of access control policy updates through narrowing. PPDP Clara Bertolissi, Jean-Marc Talbot, Didier Villevalois
2015	A	`conf`	Automated Synthesis of Run-time Monitors to Enforce Authorization Policies in Business Processes. AsiaCCS Clara Bertolissi, Daniel Ricardo dos Santos, Silvio Ranise
2015	C	`conf`	Modeling Authorization Policies for Web Services in Presence of Transitive Dependencies. SECRYPT Worachet Uttha, Clara Bertolissi, Silvio Ranise
2014	J	`jnl`	A metamodel of access control for distributed environments: Applications and properties. Inf. Comput. Clara Bertolissi, Maribel Fernández
2014	—	`conf`	Towards a Reference Architecture for Access Control in Distributed Web Applications. ESSoS Doctoral Symposium Worachet Uttha, Clara Bertolissi, Silvio Ranise
2013	—	`conf`	A methodology to build run-time monitors for security-aware workflows. ICITST Clara Bertolissi, Silvio Ranise
2013	—	`conf`	Automated analysis of rule-based access control policies. PLPV Clara Bertolissi, Worachet Uttha
2013	—	`conf`	Verification of Composed Array-Based Systems with Applications to Security-Aware Workflows. FroCos Clara Bertolissi, Silvio Ranise
2010	—	`conf`	Category-Based Authorisation Models: Operational Semantics and Expressive Power. ESSoS Clara Bertolissi, Maribel Fernández
2010	—	`conf`	Rewrite Specifications of Access Control Policies in Distributed Environments. STM Clara Bertolissi, Maribel Fernández
2010	—	`conf`	Sharing in the Graph Rewriting Calculus. WADT Paolo Baldan, Clara Bertolissi
2009	J	`jnl`	Distributed event-based access control. Int. J. Inf. Comput. Secur. Clara Bertolissi, Maribel Fernández
2008	C	`conf`	A rewriting framework for the composition of access control policies. PPDP Clara Bertolissi, Maribel Fernández
2008	—	`conf`	Action Control by Term Rewriting. SecReT@LICS/CSF Steve Barker, Clara Bertolissi, Maribel Fernández
2008	C	`conf`	An algebraic-functional framework for distributed access control. CRiSIS Clara Bertolissi, Maribel Fernández
2008	—	`conf`	Time and Location Based Services with Access Control. NTMS Clara Bertolissi, Maribel Fernández
2007	J	`jnl`	A rewriting calculus for cyclic higher-order term graphs. Math. Struct. Comput. Sci. Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner
2007	B	`conf`	Dynamic Event-Based Access Control as Term Rewriting. DBSec Clara Bertolissi, Maribel Fernández, Steve Barker
2007	B	`conf`	The Rewriting Calculus as a Combinatory Reduction System. FoSSaCS Clara Bertolissi, Claude Kirchner
2007	—	`conf`	Towards a Sharing Strategy for the Graph Rewriting Calculus. WRS@RDP Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner
2006	J	`jnl`	Expressing combinatory reduction systems derivations in the rewriting calculus. High. Order Symb. Comput. Clara Bertolissi, Horatiu Cirstea, Claude Kirchner
2005	—	`conf`	The Graph Rewriting Calculus: Confluence and Expressiveness. ICTCS Clara Bertolissi
2005	—	`—`	The graph rewriting calculus: properties and expressive capabilities. Clara Bertolissi
2004	—	`conf`	A Rewriting Calculus for Cyclic Higher-order Term Graphs. TERMGRAPH Clara Bertolissi, Paolo Baldan, Horatiu Cirstea, Claude Kirchner
2003	—	`conf`	Translating Combinatory Reduction Systems into the Rewriting Calculus. RULE@RDP Clara Bertolissi, Horatiu Cirstea, Claude Kirchner