BibSonomy :: author  ::

bookmarks

publications

(15)

• Information flow security in Boundary Ambients.
  Chiara Braghin and Agostino Cortesi and Riccardo Focardi Inf. Comput. 206 460-489 (2008)
  to dblp by dblp on 2008-06-12 00:00:00
  | URL | BibTeX  
• Introducing privacy in a hospital information system.
  Stefano Braghin and Alberto Coen-Porisini and Pietro Colombo and Sabrina Sicari and Alberto Trombetta SESS 9-16 (2008)
  to dblp by dblp on 2008-05-19 00:00:00
  | URL | BibTeX  
• Automated Verification of Security Policies in Mobile Code.
  Chiara Braghin and Natasha Sharygina and Katerina Barone-Adesi IFM 37-53 (2007)
  to dblp by dblp on 2007-09-20 00:00:00
  | URL | BibTeX  
• Role-based access control for a distributed calculus.
  Chiara Braghin and Daniele Gorla and Vladimiro Sassone Journal of Computer Security 14 113-155 (2006)
  to dblp by dblp on 2007-04-26 00:00:00
  | URL | BibTeX  
• Flow-sensitive Leakage Analysis in Mobile Ambients.
  Chiara Braghin and Agostino Cortesi Electr. Notes Theor. Comput. Sci. 128 17-25 (2005)
  to dblp by dblp on 2005-05-20 00:00:00
  | URL | BibTeX  
• Checking Integrity via CoPS and Banana: the E-Commerce Case Study .
  Chiara Braghin and Carla Piazza Electr. Notes Theor. Comput. Sci. 99 295-317 (2004)
  to dblp by dblp on 2004-09-22 00:00:00
  | URL | BibTeX  
• Behind BANANA: Design and Implementation of a Tool for Nesting Analysis of Mobile Ambients.
  Chiara Braghin and Agostino Cortesi and Riccardo Focardi and Flaminia L. Luccio and Carla Piazza Electr. Notes Theor. Comput. Sci. 99 319-337 (2004)
  to dblp by dblp on 2004-09-22 00:00:00
  | URL | BibTeX  
• Nesting analysis of mobile ambients.
  Chiara Braghin and Agostino Cortesi and Riccardo Focardi and Flaminia L. Luccio and Carla Piazza Computer Languages, Systems & Structures 30 207-230 (2004)
  to dblp by dblp on 2004-09-22 00:00:00
  | URL | BibTeX  
• A Distributed Calculus for Ro^le-Based Access Control.
  Chiara Braghin and Daniele Gorla and Vladimiro Sassone CSFW 48-60 (2004)
  to dblp by dblp on 2004-09-09 00:00:00
  | URL | BibTeX  
• Information Leakage Detection in Boundary Ambients.
  Chiara Braghin and Agostino Cortesi and Riccardo Focardi Electr. Notes Theor. Comput. Sci. 78 (2003)
  to dblp by dblp on 2004-07-28 00:00:00
  | URL | BibTeX