Michele Bugliesi, Giuseppe Castagna, Silvia Crafa  Home/Search
Context Related
| dsi.unive.it/~silvia/....concur01.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: dsi.unive.it/~silvia/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The paper gives an assessment of security for Mobile Ambients, with specific focus on mandatory access control (MAC) policies in multilevel security systems. The first part of the paper reports on different formalization attempts for MAC policies in the Ambient Calculus, and provides an in-depth analysis of the problems one encounters. As it turns out, MAC security does not appear to have fully convincing interpretations in the calculus. The second part proposes a solution to this... (Update)
Cited by: More
Causal Type System for Ambient Movements - Amtoft (2003) (Correct)
A Type Inference Algorithm for Secure Ambients - Barbanera.. (2002) (Correct)
Typing and Subtyping Mobility in Boxed Ambients - Merro, Sassone (2002) (Correct)
Active bibliography (related documents): More All
1.1: Boxed Ambients - Bugliesi, Castagna, Crafa (2001) (Correct)
0.4: Information Flow Security in Boxed Ambients - Crafa, Bugliesi, Castagna (2003) (Correct)
0.4: Information Society Technologies - Ist Programme Contract (Correct)
Similar documents based on text: More All
1.0: Subtyping and Matching for Mobile Objects - Michele Bugliesi Giuseppe (2001) (Correct)
0.9: Communication Interference in Mobile Boxed Ambients - Bugliesi, Crafa, Merro.. (2002) (Correct)
0.8: Typed Mobile Objects - Bugliesi, Castagna, Crafa (2000) (Correct)
Related documents from co-citation: More All
20: Controlling interference in ambients - Levi, Sangiorgi - 2000
17: Types for mobile ambients - Cardelli, Gordon - 1999
16: Ambient groups and mobility types - Cardelli, Ghelli et al. - 1999
BibTeX entry: (Update)
Michele Bugliesi, Giuseppe Castagna, and Silvia Crafa. Reasoning about security in mobile ambients. In Concur 2001, number 2154 in Lecture Notes in Computer Science, pages 102--120. Springer, 2001. http://citeseer.ist.psu.edu/bugliesi01reasoning.html More
@article{ bugliesi01reasoning,
author = "Michele Bugliesi and Giuseppe Castagna and Silvia Crafa",
title = "Reasoning about Security in Mobile Ambients",
journal = "Lecture Notes in Computer Science",
volume = "2154",
pages = "102--??",
year = "2001",
url = "citeseer.ist.psu.edu/bugliesi01reasoning.html" }
Citations (may not include all citations):410 Mobile ambients - Cardelli, Gordon - 1998
291 A calculus of mobile agents - Fournet, Gonthier et al. - 1996
265 Secure computer system: Unified exposition and multics inter.. (context) - Bell, Padula - 1976
167 Resource access control in systems of mobile agents - Hennessy, Riely - 2000
144 Controlling interference in Ambients - Levi, Sangiorgi - 2000
126 Types for mobile ambients - Cardelli, Gordon - 1999
94 Seal: A framework for secure mobile computations - Vitek, Castagna - 1999
88 Mobility types for mobile ambients - Cardelli, Ghelli et al. - 1999
72 Ambient groups and mobility types - Cardelli, Ghelli et al. - 2000
66 Security properties of typed applets - Leroy, Rouaix - 1999
53 Secure safe ambients - Bugliesi, Castagna - 2001
37 What are polymorphically-typed ambients - Amtoft, Kfoury et al. - 2001
37 Computer Security (context) - Gollmann - 1999
34 Validating firewalls in mobile ambients - Nielson, Nielson et al. - 1999
30 Shape analysis for mobile ambients - Nielson, Nielson - 2000
29 Secure composition of untrusted code: Wrappers and causality.. - Sewell, Vitek - 2000
26 Subtyping and typing algorithms for mobile ambients - Zimmer - 2000
21 Typing mobility in the seal calculus - Castagna, Ghelli et al. - 2001
9 Types as specifications of access policies - De Nicola, Ferrari et al. - 1999
9 Autonomous Agents and MultiAgent Systems - Bryce, Vitek et al. - 2002
9 Dod trusted computer system evaluation criteria (context) - of - 1985
8 Security types for safe mobile ambients (context) - Dezani-Ciancaglini, Salvo - 2000
7 resource access in the asynchronous - calculus (context) - Hennessy, Riely et al. - 2000
2 ET Global Computing (context) - Cardelli, In - 2000
1 Technical report (context) - Bugliesi, Castagna et al. - 2001
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.dsi.unive.it/~silvia/): More
Object Calculi with Dynamic Messages - Bugliesi, Crafa (1999) (Correct)
Subtyping and Matching for Mobile Objects - Michele Bugliesi Giuseppe (2001) (Correct)
Communication Interference in Mobile Boxed Ambients - Bugliesi, Crafa, Merro.. (2002) (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