Search the dblp DataBase

Publications of Author

1. Silvia Crafa, Sabina Rossi
   P-congruences as non-interference for the pi-calculus. [Citation Graph (0, 0)][DBLP]
   FMSE, 2006, pp:13-22 [Conf]
   
2. Michele Bugliesi, Giuseppe Castagna, Silvia Crafa
   Typed Mobile Objects. [Citation Graph (0, 0)][DBLP]
   CONCUR, 2000, pp:504-520 [Conf]
   
3. Michele Bugliesi, Giuseppe Castagna, Silvia Crafa
   Reasoning about Security in Mobile Ambients. [Citation Graph (0, 0)][DBLP]
   CONCUR, 2001, pp:102-120 [Conf]
   
4. Michele Bugliesi, Dario Colazzo, Silvia Crafa
   Type Based Discretionary Access Control. [Citation Graph (0, 0)][DBLP]
   CONCUR, 2004, pp:225-239 [Conf]
   
5. Michele Bugliesi, Giuseppe Castagna, Silvia Crafa, Riccardo Focardi, Vladimiro Sassone
   A Survey of Name-Passing Calculi and Crypto-Primitives. [Citation Graph (0, 0)][DBLP]
   FOSAD, 2002, pp:91-138 [Conf]
   
6. Michele Bugliesi, Silvia Crafa, Massimo Merro, Vladimiro Sassone
   Communication Interference in Mobile Boxed Ambients. [Citation Graph (0, 0)][DBLP]
   FSTTCS, 2002, pp:71-84 [Conf]
   
7. Michele Bugliesi, Silvia Crafa, Amela Prelic, Vladimiro Sassone
   Secrecy in Untrusted Networks. [Citation Graph (0, 0)][DBLP]
   ICALP, 2003, pp:969-983 [Conf]
   
8. Michele Bugliesi, Giuseppe Castagna, Silvia Crafa
   Subtyping and Matching for Mobile Objects. [Citation Graph (0, 0)][DBLP]
   ICTCS, 2001, pp:235-255 [Conf]
   
9. Michele Bugliesi, Giuseppe Castagna, Silvia Crafa
   Boxed Ambients. [Citation Graph (0, 0)][DBLP]
   TACS, 2001, pp:38-63 [Conf]
   
10. Silvia Crafa, Sabina Rossi
    A Theory of Noninterference for the pi-Calculus. [Citation Graph (0, 0)][DBLP]
    TGC, 2005, pp:2-18 [Conf]
    
11. Giuseppe Castagna, Michele Bugliesi, Silvia Crafa
    An overview of Boxed Ambients. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:62, n:, pp:- [Journal]
    
12. Silvia Crafa, Michele Bugliesi, Giuseppe Castagna
    Information Flow Security for Boxed Ambients. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:66, n:3, pp:- [Journal]
    
13. Michele Bugliesi, Silvia Crafa, Massimo Merro, Vladimiro Sassone
    Communication and mobility control in boxed ambients. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2005, v:202, n:1, pp:39-86 [Journal]
    
14. Viviana Bono, Michele Bugliesi, Silvia Crafa
    Typed interpretations of extensible objects. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2002, v:3, n:4, pp:562-603 [Journal]
    
15. Michele Bugliesi, Giuseppe Castagna, Silvia Crafa
    Access control for mobile agents: The calculus of boxed ambients. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2004, v:26, n:1, pp:57-124 [Journal]
    
16. Silvia Crafa, Daniele Varacca, Nobuko Yoshida
    Compositional Event Structure Semantics for the Internal pi -Calculus. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2007, pp:317-332 [Conf]
    
17. Silvia Crafa, Sabina Rossi
    Controlling information release in the pi-calculus. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2007, v:205, n:8, pp:1235-1273 [Journal]
    
18. 
    Saving Space in a Time Efficient Simulation Algorithm. [Citation Graph (, )][DBLP]
    
    
19. 
    PicNIc - Pi-calculus non-interference checker. [Citation Graph (, )][DBLP]
    
    
20. 
    A Logic for True Concurrency. [Citation Graph (, )][DBLP]