Abstract
Current software and hardware systems, being parallel and reconfigurable, raise new safety and reliability problems, and the resolution of these problems requires new methods. Numerous proposals attempt at reducingthe threat of bugs and preventing several kinds of attacks. In this paper, we develop an extension of the calculus of Mobile Ambients, named Controlled Ambients, that is suited for expressing such issues, specifically Denial of Service attacks. We present a type system for Controlled Ambients, which makes resource control possible in our setting.
Work supported by european project FET— Global Computing
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Michele Bugliesi, Giuseppe Castagna, and Silvia Crafa. Boxed ambients. In Proc. TACS 2001, LNCS 2215, pages 38–63. Springer Verlag, 2001.
Luca Cardelli and Andrew D. Gordon. Mobile ambients. In Proc. of FOSSACS’98, volume 1378, pages 140–155. Springer Verlag, 1998.
Luca Cardelli and Andrew D. Gordon. Types for mobile ambients. In Symposium on Principles of Programming Languages (POPL’99), pages 79–92. ACM Press, 1999.
Witold Charatonik, Andrew D. Gordon, and Jean-Marc Talbot. Finite-control mobile ambients. In Proc. of ESOP’02, volume 2305 of LNCS, pages 295–313, 2002.
Karl Crary and Stephanie Weirich. Resource bound certification. In Symposium on Principles of Programming Languages (POPL’00), pages 184–198. ACM Press, 2000.
Mariangiola Dezani-Ciancaglini and Ivano Salvo. Security types for mobile safe ambients. In Proc. of ASIAN’00, LNCS 1961, pages 215–236. Springer Verlag, 2000.
Cédric Fournet, Georges Gonthier, Jean-Jacques Lévy, Luc Maranget, and Didier Rémy. A calculus of mobile agents. In Proc. of CONCUR’96, pages 406–421. Springer Verlag, 1996.
Cédric Fournet, Jean-Jacques Lévy, and Alan Schmitt. A distributed implementation of mobile ambients. In Proc. of IFIP TCS’00, pages 348–364. Springer Verlag, 1872.
T. Gazagnaire and D. Pous. Implémentation des Controlled Ambients en JoCaml. Students project— Magistére d’Informatique ENS Lyon, 2002.
Andrew D. Gordon and Luca Cardelli. Equational properties of mobile ambients. In Proc. of FOSSACS’99, volume 1578 of LNCS, pages 212–226. Springer Verlag, 1999.
Xudong Guan, Yiling Yang, and Jinyuan You. Making ambients more robust. In Proc. of the International Conference on Software: Theory and Practice, pages 377–384, 2000.
Matthew Hennessy and James Riely. Resource access control in systems of mobile agents. In Proceedings of HLCL’98, number 16.3 in ENTCS, pages 3–17. Elsevier, 1998.
Michael Hicks, Pankaj Kakkar, Jonathan T. Moore, Carl A. Gunter, and Scott Nettles. PLAN: A Packet Language for Active Networks. In Proc. ICFP’99, pages 86–93. ACM Press, 1999.
John Hughes and Lars Pareto. Recursion and dynamic data-structures in bounded space: Towards embedded ML programming. In Proc. of ICFP’99, pages 70–81. ACM Press, 1999.
Francesca Levi and Davide Sangiorgi. Controlling interference in ambients. In Symposium on Principles of Programming Languages, pages 352–364. ACM Press, 2000.
M. Merro and M. Hennessy. Bisimulation congruences in safe ambients. In Proc. of POPL’02, pages 71–80. ACM Press, 2002.
Luc Moreau. A distributed garbage collector with diffusion tree reorganisation and mobile objects. In Proc. of ICFP’98, pages 204–215. ACM Press, 1998.
James Riely and Matthew Hennessy. A typed language for distributed mobile processes. In Proc. of POPL’98, pages 378–390. ACM Press, 1998.
D. Sangiorgi and A. Valente. A distributed abstract machine for Safe Ambients. In Proc. of ICALP’01, 2001.
D. Teller, P. Zimmer, and D. Hirschkoff. UsingA mbients to Control Resources. Technical Report 2002-16, LIP-ENS Lyon, 2002.
Jan Vitek and Giuseppe Castagna. Seal: A Framework for Secure Mobile Computations. In Internet Programming Languages, volume 1686 of LNCS. Springer Verlag, 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Teller, D., Zimmer, P., Hirschkoff, D. (2002). Using Ambients to Control Resources* . In: Brim, L., Křetínský, M., Kučera, A., Jančar, P. (eds) CONCUR 2002 — Concurrency Theory. CONCUR 2002. Lecture Notes in Computer Science, vol 2421. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45694-5_20
Download citation
DOI: https://doi.org/10.1007/3-540-45694-5_20
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-44043-7
Online ISBN: 978-3-540-45694-0
eBook Packages: Springer Book Archive