BRAGHIN, CHIARA

BRAGHIN, CHIARA  

Dipartimento di Informatica Giovanni Degli Antoni  

Risultati 1 - 20 di 34 (tempo di esecuzione: 0.009 secondi).
Titolo Data di pubblicazione Autore(i) Tipo File Abstract
A distributed calculus for role-based access control 1-gen-2004 C. 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) -
The binary perfect phylogeny with persistent characters 5-ott-2012 C. BraghinG. Trucco + 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) -
An exact approach for solving the balanced minimum evolution problem 1-gen-2008 R. AringhieriC. Braghin + 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) -
Is Pokémon GO Watching You? A Survey on the Privacy-Awareness of Location-Based Apps’ Users 1-lug-2017 C. Braghin + Book Part (author) -
Knowledge and business intelligence technologies in cross-enterprise environments for italian advanced mechanical industry 1-ago-2013 A. AzziniC. BraghinP. CeravoloE. DamianiF. Zavatarelli + Book Part (author) -