|
Search the dblp DataBase
Silvia Crafa:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Silvia Crafa, Sabina Rossi
P-congruences as non-interference for the pi-calculus. [Citation Graph (0, 0)][DBLP] FMSE, 2006, pp:13-22 [Conf]
- Michele Bugliesi, Giuseppe Castagna, Silvia Crafa
Typed Mobile Objects. [Citation Graph (0, 0)][DBLP] CONCUR, 2000, pp:504-520 [Conf]
- Michele Bugliesi, Giuseppe Castagna, Silvia Crafa
Reasoning about Security in Mobile Ambients. [Citation Graph (0, 0)][DBLP] CONCUR, 2001, pp:102-120 [Conf]
- Michele Bugliesi, Dario Colazzo, Silvia Crafa
Type Based Discretionary Access Control. [Citation Graph (0, 0)][DBLP] CONCUR, 2004, pp:225-239 [Conf]
- 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]
- 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]
- Michele Bugliesi, Silvia Crafa, Amela Prelic, Vladimiro Sassone
Secrecy in Untrusted Networks. [Citation Graph (0, 0)][DBLP] ICALP, 2003, pp:969-983 [Conf]
- Michele Bugliesi, Giuseppe Castagna, Silvia Crafa
Subtyping and Matching for Mobile Objects. [Citation Graph (0, 0)][DBLP] ICTCS, 2001, pp:235-255 [Conf]
- Michele Bugliesi, Giuseppe Castagna, Silvia Crafa
Boxed Ambients. [Citation Graph (0, 0)][DBLP] TACS, 2001, pp:38-63 [Conf]
- Silvia Crafa, Sabina Rossi
A Theory of Noninterference for the pi-Calculus. [Citation Graph (0, 0)][DBLP] TGC, 2005, pp:2-18 [Conf]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
Saving Space in a Time Efficient Simulation Algorithm. [Citation Graph (, )][DBLP]
PicNIc - Pi-calculus non-interference checker. [Citation Graph (, )][DBLP]
A Logic for True Concurrency. [Citation Graph (, )][DBLP]
Search in 0.008secs, Finished in 0.009secs
|