Search results for "Chiara Braghin"

Found 17 publication records. Showing 17 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Chiara Braghin, Natasha Sharygina, Katerina Barone-Adesi	A model checking-based approach for security policy verification of mobile systems.	Formal Asp. Comput.	2011	DBLP DOI BibTeX RDF
1	Chiara Braghin, Riccardo Dondi, Gabriella Trucco, Paola Bonizzoni	The Binary Perfect Phylogeny with Persistent characters	CoRR	2011	DBLP BibTeX RDF
1	Chiara Braghin, Agostino Cortesi, Riccardo Focardi	Information flow security in Boundary Ambients.	Inf. Comput.	2008	DBLP DOI BibTeX RDF
1	Roberto Aringhieri, Chiara Braghin, Daniele Catanzaro	An Exact Approach for solving the Balanced Minimum Evolution Problem.	CTW	2008	DBLP BibTeX RDF
1	Chiara Braghin, Natasha Sharygina, Katerina Barone-Adesi	Automated Verification of Security Policies in Mobile Code.	IFM	2007	DBLP DOI BibTeX RDF
1	Chiara Braghin, Daniele Gorla, Vladimiro Sassone	Role-based access control for a distributed calculus.	Journal of Computer Security	2006	DBLP BibTeX RDF
1	Chiara Braghin, Agostino Cortesi	Flow-sensitive Leakage Analysis in Mobile Ambients.	Electr. Notes Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Chiara Braghin, Carla Piazza	Checking Integrity via CoPS and Banana: the E-Commerce Case Study .	Electr. Notes Theor. Comput. Sci.	2004	DBLP DOI BibTeX RDF
1	Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza	Behind BANANA: Design and Implementation of a Tool for Nesting Analysis of Mobile Ambients.	Electr. Notes Theor. Comput. Sci.	2004	DBLP DOI BibTeX RDF
1	Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza	Nesting analysis of mobile ambients.	Computer Languages, Systems & Structures	2004	DBLP DOI BibTeX RDF
1	Chiara Braghin, Daniele Gorla, Vladimiro Sassone	A Distributed Calculus for Ro^le-Based Access Control.	CSFW	2004	DBLP DOI BibTeX RDF
1	Chiara Braghin, Agostino Cortesi, Riccardo Focardi	Information Leakage Detection in Boundary Ambients.	Electr. Notes Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
1	Chiara Braghin, Agostino Cortesi, Stefano Filippone, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza	BANANA - A Tool for Boundary Ambients Nesting ANAlysis.	TACAS	2003	DBLP DOI BibTeX RDF
1	Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza	Complexity of Nesting Analysis in Mobile Ambients.	VMCAI	2003	DBLP DOI BibTeX RDF	Complexity, Static Analysis, Ambient Calculus
1	Chiara Braghin, Agostino Cortesi, Riccardo Focardi	Security boundaries in mobile ambients.	Comput. Lang.	2002	DBLP DOI BibTeX RDF
1	Chiara Braghin, Agostino Cortesi, Riccardo Focardi	Control Flow Analysis of Mobile Ambients with Security Boundaries.	FMOODS	2002	DBLP BibTeX RDF
1	Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Steffen van Bakel	Boundary Inference for Enforcing Security Policies in Mobile Ambients.	IFIP TCS	2002	DBLP BibTeX RDF

Publications of "Chiara Braghin" ( http://dblp.L3S.de/Authors/Chiara_Braghin )