IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca

BRAGHIN, CHIARA

BRAGHIN, CHIARA  

Dipartimento di Informatica Giovanni Degli Antoni  

Mostra records
Risultati 1 - 20 di 36 (tempo di esecuzione: 0.008 secondi).
Titolo Data di pubblicazione Autori Tipo File Abstract
A distributed calculus for role-based access control 1-gen-2004 C. Braghin + Book Part (author) -
A model checking-based approach for security policy verification of mobile systems 1-set-2011 C. Braghin + Article (author) -
A Model Driven Approach for Cyber Security Scenarios Deployment 1-gen-2020 Braghin, ChiaraCimato, StelvioDamiani, ErnestoFrati, FulvioMauri, LaraRiccobene, Elvinia Book Part (author) -
A model-based approach for vulnerability analysis of IoT security protocols: The Z-Wave case study 1-apr-2023 Braghin C.Lilli M.Riccobene E. Article (author) -
An exact approach for solving the balanced minimum evolution problem 1-gen-2008 R. AringhieriC. Braghin + Book Part (author) -
Analisi dei costi di proprietà di prodotti software nella transizione a sistemi open source 1-gen-2005 C. Braghin + Book Part (author) -
Are mHealth Apps Secure? : A Case Study 1-gen-2018 Chiara BraghinStelvio Cimato + Book Part (author) -
Automated verification of security policies in mobile code 1-gen-2007 Chiara Braghin + Book Part (author) -
BANANA : a tool for boundary ambients nesting analysis 1-gen-2003 C. Braghin + Book Part (author) -
Behind BANANA : design and implementation of a tool for nesting analysis of mobile ambients 1-gen-2004 C. Braghin + Article (author) -
Boundary inference for enforcing security policies in mobile ambients 1-gen-2002 C. Braghin + Book Part (author) -
Checking integrity via CoPS and Banana : the E-commerce case study 1-gen-2004 C. Braghin + Article (author) -
Complexity of nesting analysis in mobile ambients 1-gen-2003 C. Braghin + Book Part (author) -
Control flow analysis of mobile ambients with security boundaries 1-gen-2002 C. Braghin + Book Part (author) -
Defining the total cost of ownership for the transition to open source systems 1-gen-2005 C. Braghin + Book Part (author) -
Designing smart-contract based auctions 1-gen-2019 C. BraghinS. CimatoE. Damiani + Book Part (author) -
Dynamic and Scalable Enforcement of Access Control Policies for Big Data 1-gen-2021 Anisetti, MarcoArdagna, Claudio A.Braghin, ChiaraDamiani, ErnestoPolimeno, Antongiacomo + Book Part (author) -
Formal proof of a vulnerability in Z-wave IoT protocol 1-gen-2021 Lilli M.Braghin C.Riccobene E. Book Part (author) -
Information flow security in boundary ambients 1-gen-2008 C. Braghin + Article (author) -
Information leakage detection in boundary ambients 1-apr-2003 C. Braghin + Article (author) -