Michele Bugliesi, Silvia Crafa, Amela Prelic, and Vladimiro Sassone  Home/Search
Context Related
| cogs.susx.ac.uk/users/vs/re...cba.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cogs.susx.ac.uk/users/vs/resea... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We investigate the protection of migrating agents against the untrusted sites they traverse. (Update)
Cited by: More
Instant Polymorphic Type Systems for Mobile Process Calculi.. - Makholm, Wells (2004) (Correct)
Third-Party Resource Usage for Pervasive.. - Hennessy, Owen.. (2003) (Correct)
Active bibliography (related documents): More All
0.2: Functions, Concurrency, Distribution and Mobility - Kirli (Correct)
0.2: A Polymorphic Type and Effect System for Detecting Mobile Functions - Kirli (Correct)
0.2: A Security Architecture for Survivability Mechanisms - Wang (2000) (Correct)
Similar documents based on text: More All
1.0: Secrecy in Untrusted Networks - Michele Bugliesi Silvia (2003) (Correct)
0.3: Communication Interference in Mobile Boxed Ambients - Bugliesi, Crafa, Merro.. (2002) (Correct)
0.3: Typed Mobile Objects - Bugliesi, Castagna, Crafa (2000) (Correct)
Related documents from co-citation: More All
3: Communication Interference in Mobile Boxed Ambients - Bugliesi, Crafa et al. - 2002
2: SafetyNet: A Language-Based Approach to Programmable Networks (context) - Wakeman, Jeffrey et al. - 2000
2: PolyA: True Type Polymorphism for Mobile Ambients - Amtoft, Makholm et al. - 2004
BibTeX entry: (Update)
M. Bugliesi, S. Crafa, A. Prelic, and V. Sassone. Secrecy in untrusted networks. In Proceedings of 30th International Colloquium on Automata, Languages and Programming, ICALP 2003. http://citeseer.ist.psu.edu/article/bugliesi03secrecy.html More
@misc{ bugliesi03secrecy,
author = "M. Bugliesi and S. Crafa and A. Prelic and V. Sassone",
title = "Secrecy in untrusted networks",
text = "M. Bugliesi, S. Crafa, A. Prelic, and V. Sassone. Secrecy in untrusted
networks. In Proceedings of 30th International Colloquium on Automata, Languages
and Programming, ICALP 2003.",
year = "2003",
url = "citeseer.ist.psu.edu/article/bugliesi03secrecy.html" }
Citations (may not include all citations):854 Information and Computation (context) - Milner, Parrow et al. - 1992
410 Mobile ambients - Cardelli, Gordon - 1998
404 A Calculus for Cryptographic Protocols: The Spi Calculus - Abadi, Gordon - 1999
144 Controlling interference in ambients - Levi, Sangiorgi - 2000
117 Klaim: a kernel language for agents interaction and mobility - De Nicola, Ferrari et al. - 1998
74 Abstractions for mobile computations - Cardelli - 1999
69 Boxed ambients - Bugliesi, Castagna et al. - 2001
54 Authenticity by typing for security protocols - Gordon, Jeffrey - 2001
53 Secure safe ambients - Bugliesi, Castagna - 2001
49 Towards mobile cryptography - Sander, Tschudin - 1998
46 Secrecy and group creation - Cardelli, Ghelli et al. - 2000
45 Communication interference in mobile boxed ambients - Bugliesi, Crafa et al. - 2002
33 Analyzing security protocols with secrecy types and logic pr.. - Abadi, Blanchet - 2002
29 Protection in programming-language translations - Abadi - 1998
24 A distributed abstract machine for safe ambients (context) - Sangiorgi, Valente - 2001
23 distributed implementation of mobile ambients (context) - Fournet, Levy et al. - 2000
22 Reasoning about security in mobile ambients - Bugliesi, Castagna et al. - 2001
20 the problem of trust in mobile agent systems - Wilhelm, Buttyan et al. - 1998
10 Information Flow Security for Boxed Ambients - Crafa, Bugliesi et al. - 2002
4 Type--safe execution of mobile agents in anonymous networks (context) - Hennesy, Riely - 1999
Documents on the same site (http://www.cogs.susx.ac.uk/users/vs/research/paps/): More
A Type Inference Algorithm for Secure Ambients - Barbanera.. (2002) (Correct)
A Calculus of Mobile Resources - Godskesen, Hildebrandt, Sassone (2002) (Correct)
High-Level Petri Nets as Type Theories in the Join Calculus - Buscemi, Sassone (2001) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC