IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca

IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi di Milano.

AIR nasce in UNIMI nel 2006 con lo scopo di raccogliere, documentare e conservare le informazioni sulla produzione scientifica dell'Università degli Studi di Milano e costituisce di fatto l'Anagrafe della ricerca dell'Ateneo.

BRAGHIN, CHIARA

Rete di Collaborazioni Statistiche Email Alert RSS Feed

Dettaglio

Nome completo

BRAGHIN, CHIARA

Afferenza

Dipartimento di Informatica Giovanni Degli Antoni

Pubblicazioni

Risultati 1 - 20 di 31 (tempo di esecuzione: 0.001 secondi).

	Titolo	Data di pubblicazione	Autori	Tipo	File	Abstract
1	A distributed calculus for role-based access control	2004	BRAGHIN, CHIARA ; D. Gorla; V. Sassone	Book Part (author)	-
2	Analisi dei costi di proprietà di prodotti software nella transizione a sistemi open source	2005	B. Russo; BRAGHIN, CHIARA ; M. Ceschi; P. Gasperi; G. Succi	Book Part (author)	-	-
3	Are mHealth Apps Secure? : A Case Study	2018	BRAGHIN, CHIARA ; CIMATO, STELVIO ; Alessio Della Libera	Book Part (author)	riservati
4	Automated verification of security policies in mobile code	2007	BRAGHIN, CHIARA ; Natasha Sharygina; Katerina Barone Adesi	Book Part (author)	-
5	BANANA : a tool for boundary ambients nesting analysis	2003	BRAGHIN, CHIARA ; A. Cortesi; S. Filippone; R. Focardi; F. L. Luccio; C. Piazza	Book Part (author)	-
6	Behind BANANA : design and implementation of a tool for nesting analysis of mobile ambients	2004	BRAGHIN, CHIARA ; A. Cortesi; R. Focardi; F. L. Luccio; C. Piazza	Article (author)	-
7	The binary perfect phylogeny with persistent characters	5-ott-2012	P. Bonizzoni; BRAGHIN, CHIARA ; R. Dondi; TRUCCO, GABRIELLA	Article (author)	riservati
8	Boundary inference for enforcing security policies in mobile ambients	2002	BRAGHIN, CHIARA ; A. Cortesi; R. Focardi; S. van Bakel	Book Part (author)	-
9	Checking integrity via CoPS and Banana : the E-commerce case study	2004	BRAGHIN, CHIARA ; C. Piazza	Article (author)	-
10	Complexity of nesting analysis in mobile ambients	2003	BRAGHIN, CHIARA ; A. Cortesi; R. Focardi; F. L. Luccio; C. Piazza	Book Part (author)	-
11	Control flow analysis of mobile ambients with security boundaries	2002	BRAGHIN, CHIARA ; A. Cortesi; R. Focardi	Book Part (author)	-
12	Defining the total cost of ownership for the transition to open source systems	2005	B. Russo; BRAGHIN, CHIARA ; P. Gasperi; A. Sillitti; G. Succi	Book Part (author)	-
13	Designing smart-contract based auctions	2019	BRAGHIN, CHIARA ; CIMATO, STELVIO ; DAMIANI, ERNESTO ; M. Baronchelli	Book Part (author)	riservati
14	An exact approach for solving the balanced minimum evolution problem	2008	ARINGHIERI, ROBERTO ; BRAGHIN, CHIARA ; D. Catanzaro	Book Part (author)	-	-
15	Information flow security in boundary ambients	2008	BRAGHIN, CHIARA ; A. Cortesi; R. Focardi	Article (author)	-
16	Information leakage detection in boundary ambients	apr-2003	BRAGHIN, CHIARA ; A. Cortesi; R. Focardi	Article (author)	Open Access
17	Is Pokémon GO Watching You? A Survey on the Privacy-Awareness of Location-Based Apps’ Users	lug-2017	BRAGHIN, CHIARA ; M. D. Vecchio	Book Part (author)	riservati
18	Knowledge and business intelligence technologies in cross-enterprise environments for italian advanced mechanical industry	ago-2013	F. Arigliano; AZZINI, ANTONIA ; BRAGHIN, CHIARA ; A. Caforio; CERAVOLO, PAOLO ; DAMIANI, ERNESTO ; V. Savarino; C. Vicari; ZAVATARELLI, FRANCESCO	Book Part (author)	-
19	A model checking-based approach for security policy verification of mobile systems	1-set-2011	BRAGHIN, CHIARA ; N. Sharygina; K. Barone Adesi	Article (author)	riservati
20	A Model Driven Approach for Cyber Security Scenarios Deployment	2020	BRAGHIN, CHIARA ; CIMATO, STELVIO ; DAMIANI, ERNESTO ; FRATI, FULVIO ; MAURI, LARA ; RICCOBENE, ELVINIA MARIA	Book Part (author)	riservati