Search the dblp DataBase

Publications of Author

1. Chiara Braghin, Daniele Gorla, Vladimiro Sassone
   A Distributed Calculus for Ro^le-Based Access Control. [Citation Graph (0, 0)][DBLP]
   CSFW, 2004, pp:48-60 [Conf]
   
2. Chiara Braghin, Agostino Cortesi, Riccardo Focardi
   Control Flow Analysis of Mobile Ambients with Security Boundaries. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2002, pp:197-212 [Conf]
   
3. Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Steffen van Bakel
   Boundary Inference for Enforcing Security Policies in Mobile Ambients. [Citation Graph (0, 0)][DBLP]
   IFIP TCS, 2002, pp:383-395 [Conf]
   
4. Chiara Braghin, Agostino Cortesi, Stefano Filippone, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza
   BANANA - A Tool for Boundary Ambients Nesting ANAlysis. [Citation Graph (0, 0)][DBLP]
   TACAS, 2003, pp:437-441 [Conf]
   
5. Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza
   Complexity of Nesting Analysis in Mobile Ambients. [Citation Graph (0, 0)][DBLP]
   VMCAI, 2003, pp:86-101 [Conf]
   
6. Chiara Braghin, Agostino Cortesi, Riccardo Focardi
   Security boundaries in mobile ambients. [Citation Graph (0, 0)][DBLP]
   Comput. Lang., 2002, v:28, n:1, pp:101-127 [Journal]
   
7. Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza
   Nesting analysis of mobile ambients. [Citation Graph (0, 0)][DBLP]
   Computer Languages, Systems & Structures, 2004, v:30, n:3-4, pp:207-230 [Journal]
   
8. Chiara Braghin, Agostino Cortesi
   Flow-sensitive Leakage Analysis in Mobile Ambients. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:128, n:5, pp:17-25 [Journal]
   
9. Chiara Braghin, Agostino Cortesi, Riccardo Focardi
   Information Leakage Detection in Boundary Ambients. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:78, n:, pp:- [Journal]
   
10. 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. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:99, n:, pp:319-337 [Journal]
    
11. Chiara Braghin, Carla Piazza
    Checking Integrity via CoPS and Banana: the E-Commerce Case Study . [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:99, n:, pp:295-317 [Journal]
    
12. Chiara Braghin, Daniele Gorla, Vladimiro Sassone
    Role-based access control for a distributed calculus. [Citation Graph (0, 0)][DBLP]
    Journal of Computer Security, 2006, v:14, n:2, pp:113-155 [Journal]
    
13. Chiara Braghin, Natasha Sharygina, Katerina Barone-Adesi
    Automated Verification of Security Policies in Mobile Code. [Citation Graph (0, 0)][DBLP]
    IFM, 2007, pp:37-53 [Conf]
    
14. 
    An Exact Approach for solving the Balanced Minimum Evolution Problem. [Citation Graph (, )][DBLP]