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

Pubblicazioni

Risultati 1 - 20 di 27 (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	Modeling and verification of mobile systems	2006	BRAGHIN, CHIARA ; Natasha Sharygina	Book Part (author)	-

Dettaglio

Nome completo

BRAGHIN, CHIARA

Afferenza

DIPARTIMENTO DI INFORMATICA "Giovanni Degli Antoni"