CRAFA, SILVIA

CRAFA, SILVIA  

Dipartimento di Matematica "Tullio Levi-Civita" - DM  

Mostra records
Risultati 1 - 20 di 62 (tempo di esecuzione: 0.058 secondi).
Titolo Data di pubblicazione Autori Rivista Serie Titolo libro
Object Calculi with Dynamic Messages 1999 CRAFA, SILVIA + - - International Workshop on Foundations of Object-Oriented Languages FOOL 6
Typed mobile objects 2000 CRAFA, SILVIA + LECTURE NOTES IN COMPUTER SCIENCE - CONCUR 2000 — Concurrency Theory
Subtyping and Matching for Mobile Objects 2001 CRAFA, SILVIA + LECTURE NOTES IN COMPUTER SCIENCE - Theoretical Computer Science
Boxed Ambients 2001 CRAFA, SILVIA + LECTURE NOTES IN COMPUTER SCIENCE - Theoretical Aspects of Computer Software
Reasoning about security in Mobile Ambients 2001 CRAFA, SILVIA + LECTURE NOTES IN COMPUTER SCIENCE - CONCUR 2001 — Concurrency Theory
Typed interpretations of extensible objects 2002 CRAFA, SILVIA + ACM TRANSACTIONS ON COMPUTATIONAL LOGIC - -
Communication Interference in Mobile Boxed Ambients 2002 CRAFA, SILVIA + LECTURE NOTES IN COMPUTER SCIENCE - FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science
Information Flow Security in Boxed Ambients 2002 CRAFA, SILVIA + - - ENTCS
An overview of Boxed Ambients 2002 CRAFA, SILVIA + ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE - Electronic Notes in Theoretical Computer Science
Secrecy in Untrusted Networks 2003 CRAFA, SILVIA + LECTURE NOTES IN COMPUTER SCIENCE - Automata, Languages and Programming
Access control for mobile agents: the calculus of boxed ambients 2004 CRAFA, SILVIA + ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS - -
A Survey of Name-Passing Calculi and Crypto-PrimitivesFoundations of Security Analysis and Design II 2004 CRAFA, SILVIA + - LECTURE NOTES IN COMPUTER SCIENCE Foundations of Security Analysis and Design IILecture Notes in Computer ScienceFoundations of Security Analysis and Design II
Type based discretionary access control 2004 CRAFA, SILVIA + LECTURE NOTES IN COMPUTER SCIENCE - CONCUR 2004 - Concurrency Theory
Communication and mobility control in boxed ambients 2005 CRAFA, SILVIA + INFORMATION AND COMPUTATION - -
A theory of noninterference for the pi-calculus 2005 CRAFA, SILVIA + LECTURE NOTES IN COMPUTER SCIENCE - Trustworthy Global Computing
P-congruences as noninterference for the pi-calculus. 2006 CRAFA, SILVIA + - - Proceedings of the 2006 ACM workshop on Formal methods in security engineering, FMSE
Controlling information release in the pi-calculus. 2007 CRAFA, SILVIA + INFORMATION AND COMPUTATION - -
Compositional event structure semantics for the internal pi-calculus 2007 CRAFA, SILVIA + LECTURE NOTES IN COMPUTER SCIENCE - Lecture Notes in Computer Science
PicNic - pi-calculus non-interference checker. (Tool paper) 2008 CRAFA, SILVIA + - - Proc. of the 8th International Conference on Application of Concurrency to System Design (ACSD'08)
A type system for discretionary access control 2009 CRAFA, SILVIA + MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE - -