The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Silvia Crafa: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.004secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002