A typed encoding of boxed into safe ambients

Acta Informatica

Volumn 42, Issue 6-7, 2006, Pages 429-500

  Levi, Francesca ^a  

^a UNIVERSITY OF GENOA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

BOXED AMBIENTS; MANDATORY ACCESS CONTROL; MULTI-LEVEL SECURITY; SAFE AMBIENTS; SECURITY TYPES; SOURCE PROCESS; TYPE SYSTEMS;

ENCODING (SYMBOLS);

EID: 33644691192     PISSN: 00015903     EISSN: 14320525     Source Type: Journal    
DOI: 10.1007/s00236-005-0002-8     Document Type: Review

References (48)

1. Amtoft, T.: Causal type system for ambient movements. Submitted for publication (2003)
2. Amtoft, T., Kfoury, A.J., Geertsen-Pericás, S.M.: What are polymorphically-typed ambients? In: Proceedings of ESOP'01. LNCS 2028, pp. 206-220. Springer Verlag (2001)
3. Amtoft, T., Kfoury, A.J., Pericás-Geertsen, S.M., Orderly communication in the ambient calculus. Comput. Lang. Syst. Struct. 28, 29-60 (2002)
4. Amtoft, T., Makholm, H., Wells, J.B.: PolyA: true type polymorphism for mobile ambients. In: Proceedings of TCS'04, pp. 591-604. Kluwer Academic Publisher, Drodrecht (2004)
5. Barbanera, F., Dezani-Ciancaglini, M., Salvo, I., Sassone, V.: A type inference algorithm for secure ambients. In: Proceedings of TOSCA'01. ENTCS, 50(2), (2001)
6. Bonelli, E., Compagnoni, A., Dezani-Ciancaglini, M., Garralda, P.: Boxed ambients with communication interfaces. In: Proceedings of MFCS'04. LNCS 3153, pp. 119-148. Springer-Verlag, Berlin, Heidelberg New York (2004)
7. Braghin, C., Cortesi, A., Focardi, R.: Control flow analysis for information flow security in mobile ambients. In: Proceedings of FMOODS'02, pp. 197-212. Kluwer Academic Publisher, Drodrecht (2002)
8. Bugliesi, M., Castagna, G.: Secure safe ambients. In: Proceedings of POPL '01, pp. 222-235. ACM, New York (2001)
9. Bugliesi, M., Castagna, G.: Behavioural typing for safe ambients. Comput. Lang. 28(1), 61-99 (2002)
10. Bugliesi, M., Castagna, G., Crafa, S.: Boxed ambients. In: Proceedings of TACS'01. LNCS 2225, pp. 36-61. Springer-Verlag, Berlin Heildelberg New York (2001)
11. Bugliesi, M., Castagna, G., Crafa, S.: Reasoning about security in mobile ambients. In: Proceedings of CONCUR'01. LNCS 2154, pp. 102-120. Springer-Verlag, Berlin Heildelberg New York (2001)
12. Bugliesi, M., Castagna, G., Crafa, S.: Access control for mobile agents: the calculus of boxed ambients. TOPLAS 26(1), 57-124 (2004)
13. Bugliesi, M., Crafa, S., Merro, M., Sassone, V.: Communication interference in boxed ambients. In: Proceedings of FSTTCS'02. LNCS 2556, pp. 71-84. Springer-Verlag, Berlin Heildelberg New York (2002)
14. Bugliesi, M., Crafa, S., Merro, M., Sassone, V.: Communication and mobility control in boxed ambients. Inform. Comput. (2004), submitted for publication
15. Cardelli, L., Ghelli, G., Gordon, A.D.: Mobility types for mobile ambients. In: Proceedings of ICALP'99. LNCS 1644, pp. 230-239. Springer-Verlag, Berlin Heildelberg New York (1999)
16. Cardelli, L., Ghelli, G., Gordon, A.D.: Types for the ambient calculus. Inform. Comput. 177(2), 160-194 (2002)
17. Cardelli, L., Gordon, A.D.: Mobile ambients. In: Proceedings of FoSSaCS '98. LNCS 1378, pp. 140-155. Springer-Verlag, Berlin Heildelberg New York (1998)
18. Cardelli, L., Gordon, A.D.: Equational properties of mobile ambients. In: Proceedings of FoSSaCS '99. LNCS 1578, pp. 212-226. Springer-Verlag, Berlin Heildelberg New York (1999)
19. Cardelli, L., Gordon, A.D.: Types for Mobile ambients. In: Proceedings of POPL '99, pp. 79-92. ACM, New York ( 1999)
20. Coppo, M., Dezani-Ciancaglini, M., Giovannetti, E., Pugliese, R.: Dynamic and local typing for mobile ambients. In: Proceedings of TCS'04, pp. 583-596. Kluwer Academic Publisher, Drodrecht (2004)
21. Crafa, S., Bugliesi, M., Castagna, G.: Information flow security in boxed ambients. In: Proceedings of FWAN '02. ENTCS, Vol. 66, No. 3, Elsevier, Amsterdam (2002)
22. Degano, P., Levi, F., Bodei, C.: Safe ambients: Control flow analysis and security. In: Proceedings of ASIAN '00. LNCS 1961, pp. 199-214. Springer-Verlag, Berlin Heildelberg New York (2000)
23. Dezani-Ciancaglini, M., Salvo, I.: Security types for mobile safe ambients. In: Proceedings of ASIAN '00. LNCS 1961, pp. 215-236. Springer-Verlag, Berlin Heildelberg New York (2000)
24. Feret, J.: Abstract interpretation-based static analysis of mobile ambients. In: Proceedings of SAS'01. LNCS 2126, pp. 412-430. Springer-Verlag, Berlin Heildelberg New York (2001)
25. Guan, X., Yang, Y., You, J.: Making ambients more robust. In: Proceedings of the International Conference on Software: Theory and Practise, pp. 377-384 (2000)
26. Guan, X., Yang, Y., You, J.: Typing evolving ambients. Inform. Process. Lett. 80(5), 265-270 (2001)
27. Hansen, R.R., Jensen, J.G., Nielson, F., Nielson, H.R.: Abstract interpretation of mobile ambients. In: Proceedings of SAS'99. LNCS 1694, pp. 135-148. Springer-Verlag, Berlin Heildelberg New York (1999)
28. Levi, F.: Types for evolving communication in safe ambients. In: Proceedings of VMCAI '03. LNCS 2575, pp. 102-115. Springer-Verlag, Berlin Heildelberg New York (2003)
29. Levi, F., Bodei, C.: A control flow analysis for safe and boxed ambients (extended version). Available at http://www.di.unipi.it/~levifran/papers.html
30. Levi, F., Bodei, C.: A control flow analysis for safe and boxed ambients. In: Proceedings of ESOP '04. LNCS 2986, pp. 188-203. Springer-Verlag, Berlin Heildelberg New York (2004)
31. Levi, F., Maffeis, S.: An abstract interpretation framework for analysing mobile ambients. In: Proceedings of SAS '01. LNCS 2126, pp. 395-411. Springer-Verlag, Berlin Heildelberg New York (2001)
32. Levi, F., Maffeis, S.: On abstract interpretation of mobile ambients. Inform. Comput. 188, 179-240 (2004)
33. Levi, F., Sangiorgi, D.: Controlling interference in ambients. In: Proceedings of POPL '00, pp. 352-364. ACM, New York (2000)
34. Levi, F., Sangiorgi, D.: Mobile safe ambients. TOPLAS 25(1), 1-69 (2003)
35. Merro, M., Hennessy, M.: Bisimulation congruences in safe ambients. In: Proceedings of POPL '02. ACM, New York (2002)
36. Merro, M., Sassone, V.: Typing and subtyping mobility in boxed ambients. In: Proceedings of CONCUR'02. LNCS 2421, pp. 304-320. Springer-Verlag, Berlin Heildelberg New York (2002)
37. Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes. Inform. Comput. 100, 1-77 (1992)
38. Nestmann, U.: What is a "Good Encoding of Guarded Choice"? Inform. Comput. 156, 287-319 (2000)
39. Milner, R., Sangiorgi, D.: Barbed bisimulation. In: Proceedings of ICALP'92. LNCS 623, pp. 685-695. Springer-Verlag, Berlin Heildelberg New York (1992)
40. Nielson, H.R., Nielson, F.: Shape analysis for mobile ambients. In: Proceedings of POPL' 00, pp. 135-148. ACM, New York (2000)
41. Nielson, F., Nielson, H.R., Hansen, R.R.: Validating firewalls using flow logics. Theor. Comput. Sci. 283(2), 381-418 (2002)
42. Nielson, F., Nielson, H.R., Hansen, R.R., Jensen, J.G.: Validating firewalls using flow logics. In: Proceedings of CONCUR'99. LNCS 1664, pp. 463-477. Springer-Verlag, Berlin Heidelberg New York (1999)
43. Palamidessi, C.: Comparing the expressive power of the synchronous and asynchronous calculi. In: Proceedings of POPL '97, pp. 256-265. ACM, New York (1997)
44. Sangiorgi, D., Walker, D.: The pi-Calculus: A Theory of Mobile Processes. Cambridge University Press, Cambridge (2001)
45. Sangiorgi, D., Valente, A.: A distributed abstract machine for Safe Ambients. In: Proceedings of the 28th International Colloquium on Automata, Languages and Programming, July 8-12, pp. 408-420 (2001)
46. Teller, D., Zimmer, P., Hirschkoff, D.: Using ambients to control resources. In: Proceedings of CONCUR'02. LNCS 2421, pp. 288-303. Springer-Verlag, Berlin Heidelberg New York (2002)
47. Zimmer, P.: SubTyping and typing algorithms for mobile ambients. In: Proceedings of FoS-SaCS'00. LNCS 1784, pp. 375-390. Springer-Verlag, Berlin Heidelberg New York (2000)
48. Zimmer, P.: On the expressiveness of pure ambients. Math. Struct. Comp. Sci. 13, 721-770 (2003)