Boxed Ambients

Boxed Ambients are a variant of Mobile Ambients that result from (i) dropping the open capability and (ii) providing new primitives for ambient communication while retaining the constructs in and out for mobility. The new model of communication is faithful to the principles of distribution and location-awareness of Mobile Ambients, and complements the constructs for Mobile Ambient mobility with finer-grained mechanisms for ambient interaction.

[1]  Luca Cardelli,et al.  Mobility Types for Mobile Ambients , 1999, ICALP.

[2]  James Riely,et al.  Resource Access Control in Systems of Mobile Agents , 2002, HLCL.

[3]  Jan Vitek,et al.  Secure composition of untrusted code: wrappers and causality types , 2000, Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13.

[4]  Pierpaolo Degano,et al.  Safe Ambients: Control Flow Analysis and Security , 2000, ASIAN.

[5]  J. Meseguer,et al.  Security Policies and Security Models , 1982, 1982 IEEE Symposium on Security and Privacy.

[6]  Giuseppe Castagna,et al.  Typing Mobility in the Seal Calculus , 2001, CONCUR.

[7]  James Riely,et al.  Information Flow vs. Resource Access in the Asynchronous Pi-Calculus , 2000, ICALP.

[8]  Luca Cardelli,et al.  Types for mobile ambients , 1999, POPL '99.

[9]  Jean-Jacques Lévy,et al.  An Asynchronous, Distributed Implementation of Mobile Ambients , 2000, IFIP TCS.

[10]  Pascal Zimmer.  Subtyping and Typing Algorithms for Mobile Ambients , 2000, FoSSaCS.

[11]  James Riely,et al.  Resource Access Control in Systems of Mobile Agents , 2002, Inf. Comput..

[12]  Davide Sangiorgi,et al.  Controlling interference in ambients , 2000, POPL '00.

[13]  Jan Vitek,et al.  Seal: A Framework for Secure Mobile Computations , 1998, ICCL Workshop: Internet Programming Languages.

[14]  Luca Cardelli,et al.  Abstractions for Mobile Computation , 2001, Secure Internet Programming.

[15]  Mariangiola Dezani-Ciancaglini,et al.  Security Types for Mobile Safe Ambients , 2000, ASIAN.

[16]  Luca Cardelli,et al.  Ambient Groups and Mobility Types , 2000, IFIP TCS.

[17]  Luca Cardelli,et al.  Mobile Ambients , 1998, FoSSaCS.

[18]  Flemming Nielson,et al.  Validating Firewalls in Mobile Ambients , 1999, CONCUR.

[19]  Michele Bugliesi,et al.  Reasoning about Security in Mobile Ambients , 2001, CONCUR.

[20]  James Riely,et al.  Information flow vs. resource access in the asynchronous pi-calculus , 2000, TOPL.

[21]  Roberto Gorrieri,et al.  Non Interference : Past , Present and FutureRiccardo , 1997 .

[22]  Michele Bugliesi,et al.  Secure safe ambients , 2001, POPL '01.

[23]  Flemming Nielson,et al.  Shape analysis for mobile ambients , 2000, POPL '00.