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
| 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 |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002