SAFEDPI: A language for controlling mobile code

Acta Informatica

Volumn 42, Issue 4-5, 2005, Pages 227-290

  Hennessy, Matthew ^a   Rathke, Julian ^a   Yoshida, Nobuko ^b  

^a UNIVERSITY OF SUSSEX   (United Kingdom)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ACCESS RIGHTS; BISIMULATIONS; DISTRIBUTED CODES; EXISTENTIAL TYPES; HIGHER-ORDER; HOST LOCATION; STATIC TYPE SYSTEMS; TESTING ENVIRONMENT;

EID: 29044443804     PISSN: 00015903     EISSN: 14320525     Source Type: Journal    
DOI: 10.1007/s00236-005-0178-y     Document Type: Article

References (26)

1. Boreale, M., Sangiorgi, D.: Bisimulation in name-passing calculi without matching. In Proceedings of 13th LICS Conf, IEEE Computer Society Press (1998)
2. Cardelli, L., Ghelli, G., Gordon, A.: Ambient groups and mobility types. In Proceedings of IFIP TCS 2000, vol. 1872 of Lecture Notes in Computer Science, Springer-Verlag (2000)
3. Cardelli, L., Gordon, A.: Mobile ambients. In Proceedings of FoSSaCS '98, LNCS, Springer-Verlag (1998)
4. Castagna, G., Nardelli, F.Z.: The Seal calculus revisited: Contextual equivalences and bisimilarity. In Proceedings of FSITCS, Lecture Notes in Computer Science (2002)
5. Castagna, G., Vitek, J., Zappa, F.: The Seal calculus. Available from ftp://ftp.di.ens.fr/pub/users/castagna/seal.ps.gz.
6. Fournet, C., Gonthier, G., Levy, J.-J., Maranget, L., Remy, D.: A calculus of mobile agents. In Proceedings of CONCUR, vol. 1119 of Lecture notes in computer science, Springer-Verlag (1996)
7. Hennessy, M., Merro, M.: Bisimulation congruences in safe ambients. In Proceedings of POPL 02, ACM Press (2002)
8. Hennessy, M., Merro, M., Rathke, J.: Towards a behavioural theory of access and mobility control in distributed systems. Theoretical Computer Science 322, 615-669 (2003)
9. Hennessy, M., Rathke, J.: Typed behavioural equivalences for processes in the presence of subtyping. Mathematical Structures in Computer Science 14, 651-684 (2004)
10. Hennessy, M., Riely, J.: Resource access control in systems of mobile agents. Information and Computation 173, 82-120 (2002)
11. Honda, K., Yoshida, N.: On reduction-based process semantics. Theoretical Computer Science 152(2), 437-486 (1995)
12. Igarashi, A., Kobayashi, N.: Resource usage analysis. In Proceedings of ACM Symposium on Principles of Programming Languages (POPL'02), pp. 331-342 (2002)
13. Jeffrey, A., Rathke, J.: Contextual equivalence for higher-order π-calculus revisited. In Proceedings MFPS XIX, Montreal (2003)
14. Lhoussaine, C.: Type inference for a distributed pi-calculus. In ESOP'02, vol. 2618 of LNCS, Springer-Verlag, pp. 253-269 (2002)
15. Merro, M., Nardelli, F.Z.: Bisimulation proof techniques for mobile ambients. In Proceedings of 30th International Colloquium on Automata, Languages, and Programming (ICALP 2003), Eindhoven, Lecture Notes in Computer Science, Springer-Verlag, 2003
16. Merro, M., Sassone, V.: Typing and subtyping mobility in boxed ambients. In Proceedings CONCUR 02, vol. 1644 of Lecture Notes in Computer Science, Springer-Verlag (2002)
17. Morrisett, G., Crary, K., Glew, N., Walker, D.: Stack-based typed assembly language. In Types in Compilation, vol. 1473 of Lecture notes in Computer Science, Springer-Verlag, pp. 25-35 (1998)
18. Necula, G.C.: Proof-carrying code. In Conference Record of POPL '97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Paris, France), pp. 106-119 (1997)
19. Pierce, B., Sangiorgi, D.: Behavioral equivalence in the polymorphic pi-calculus. Journal of the ACM 47(3), 531-584, (2000)
20. Riely, J., Hennessy, M.: Trust and partial typing in open systems of mobile agents. Journal of Automated Reasoning 31, 335-370 (2003)
21. Sangiorgi, D., Walker, D.: The π-calculus. Cambridge University Press (2001)
22. Schmitt, A., Stefani, J.-B.: The M-calculus: A higher-order distributed process calculus. In POPL2003 (2003)
23. Walker, D.: A type system for expressive security properties. In the twenty seventh ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Boston, pp. 254-267 (2000)
24. Yoshida, N.: Channel dependent types for higher-order mobile processes. In Conference Record of POPL '04: The 24th ACM SIGPLAN-SIGACT Sym- posium on Principles of Programming Languages, Venice, Italy (2004)
25. Yoshida, N., Hennessy, M.: Subtyping and locality in distributed higher order processes. In Proceedings of CONCUR, vol. 1664 of Lecture notes in computer science, Springer-Verlag (1999)
26. Yoshida, N., Hennessy, M.: Assigning types to processes. Information and Computation 172, 82-120 (2002)