Enforcing security policies via types

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2802, Issue , 2004, Pages 86-100

  Gorla, Daniele ^a   Pugliese, Rosario ^a  

^a UNIVERSITY OF FLORENCE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; CODES (SYMBOLS); DISTRIBUTED DATABASE SYSTEMS; SECURITY SYSTEMS;

BANK ACCOUNTS; BANK TRANSACTIONS; CODE MOBILITY; DISTRIBUTED SYSTEMS; MOBILE PROCESS; SECURITY ISSUES; SECURITY POLICY; TYPE SOUNDNESS;

NETWORK SECURITY;

EID: 35048840264     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-39881-3_10     Document Type: Article

References (38)

1. M. Abadi and A. Gordon. A calculus for cryptographic protocols: The spi calculus. Information and Computation, 148(1): 1-70, 1999.
2. K. Arnold, E. Freeman, and S. Hupfer. JavaSpaces Principles, Patterns and Practice. Addison-Wesley, 1999.
3. M. Bugliesi, G. Castagna, and S. Crafa. Boxed ambients. In TACS 2001, number 2215 in LNCS, pages 38-63. Springer, 2001.
4. M. Bugliesi, G. Castagna, and S. Crafa. Reasoning about security in mobile ambients. In Concur 2001, number 2154 in LNCS, pages 102-120. Springer, 2001.
5. N. Busi, R. Gorrieri, R. Lucchi, and G. Zavattaro. Secspaces: a data-driven coordination model for environments open to untrusted agents. In To appear in FOCLASA'02, ENTCS, 2002.
6. L. Cardelli, G. Ghelli, and A. D. Gordon. Mobility types for mobile ambients. In J. Wiederman, P. van Emde Boas, and M. Nielsen, editors, Proceedings of ICALP '99, volume 1644 of LNCS, pages 230-239. Springer, 1999.
7. L. Cardelli, G. Ghelli, and A. D. Gordon. Ambient groups and mobility types. In J. van Leeuwen, O. Watanabe, M. Hagiya, P. Mosses, and T. Ito, editors, Proceedings of TCS 2000, volume 1872 of LNCS, pages 333-347. IFIP, Springer, 2000.
8. L. Cardelli, G. Ghelli, and A. D. Gordon. Types for the ambient calculus. Journal of Information and Computation, 2002.
9. L. Cardelli and A. D. Gordon. Types for mobile ambients. In Proceedings of POPL '99, pages 79-92.
10. L. Cardelli and A. D. Gordon. Mobile ambients. Theoretical Computer Science, 240(1):177-213, 2000.
11. N. Carriero and D. Gelernter. Linda in context. Communications of the ACM, 32(4):444-458, 1989.
12. G. Castagna, G. Ghelli, and F. Z. Nardelli. Typing mobility in the seal calculus. In Concur 2001, number 2154 in LNCS, pages 82-101. Springer, 2001.
13. P. Ciancarini, R. Tolksdorf, F. Vitali, D. Rossi, and A. Knoche. Coordinating multiagent applications on the WWW: A reference architecture. IEEE Transactions on Software Engineering, 24(5):362-366, 1998.
14. R. De Nicola, G. Ferrari, and R. Pugliese. KLAIM: a Kernel Language for Agents Interaction and Mobility. IEEE Transactions on Software Engineering, 24(5):315-330, 1998.
15. R. De Nicola, G. Ferrari, and R. Pugliese. Types as Specifications of Access Policies. In Vitek and Jensen [35], pages 117-146.
16. R. De Nicola, G. Ferrari, R. Pugliese, and B. Venneri. Types for Access Control. Theoretical Computer Science, 240(1):215-254, 2000.
17. D. Deugo. Choosing a Mobile Agent Messaging Model. In Proc. of ISADS 2001, pages 278-286. IEEE, 2001.
18. M. Dezani-Ciancaglini and I. Salvo. Security types for mobile safe ambients. In ASIAN Computing Sciece Conference - ASIAN'00, volume 1961 of LNCS, pages 215-236. Springer, 2000.
19. D. Gelernter. Generative Communication in Linda. ACM Transactions on Programming Languages and Systems, 7(1):80-112, 1985.
20. L. Gong. Inside Java 2 platform security: architecture, API design, and implementation. Addison-Wesley, Reading, MA, USA, 1999.
21. D. Gorla and R. Pugliese. Resource access and mobility control with dynamic privileges acquisition. Research report, Dipartimento di Sistemi e Informatica, Università di Firenze, 2002. Available at http://rap.dsi.unifi.it/̃pugliese/DOWNLOAD/muklaim-full.pdf.
22. D. Gorla and R. Pugliese. Enforcing Security Policies via Types. Research report, Dipartimento di Sistemi e Informatica, Università di Firenze, 2003. Available at http://rap.dsi.unifi.it/̃pugliese/DOWNLOAD/spc-full.pdf.
23. G. M. Graw and E. Felten. Securing Java. John Wiley and Son, 1999.
24. M. Hennessy and J. Riely. Type-Safe Execution of Mobile Agents in Anonymous Networks. In Vitek and Jensen [35], pages 95-115.
25. M. Hennessy and J. Riely. Resource Access Control in Systems of Mobile Agents. Information and Computation, 173:82-120, 2002.
26. D. Kirli. Confined mobile functions. In Proc. of the 14th IEEE Computer Security Foundations Workshop. IEEE Computer Society, 2001.
27. F. Levi and D. Sangiorgi. Controlling interference in ambients. In Proceedings of POPL '00, pages 352-364. ACM, Jan. 2000.
28. A. Omicini and F. Zambonelli. Coordination for internet application development. Autonomous Agents and Multi-agent Systems, 2(3):251-269, 1999. Special Issue on Coordination Mechanisms and Patterns for Web Agents.
29. st Int. Conference on Software Engineering (ICSE'99), pages 368-377. ACM Press, 1999.
30. J. Riely and M. Hennessy. Trust and partial typing in open systems of mobile agents. In Proceedings of POPL '99, pages 93-104.
31. A. Rowstron. WCL: A web co-ordination language. World Wide Web Journal, 1(3):167-179, 1998.
32. F. B. Schneider, G. Morrisett, and R. Harper. A language-based approach to security. In Informatics: 10 Years Ahead, 10 Years Back. Conference on the Occasion of Dagstuhl's 10th Anniversary, number 2000 in LNCS, pages 86-101. Springer, 2000.
33. Sun Microsystems. Javaspace specification, available at: http://java.sun.com/,1999.
34. J. Vitek, C. Bryce, and M. Oriol. Coordinationg processes with secure spaces. Science of Computer Programming, 2002.
35. J. Vitek and C. Jensen, editors. Secure Internet Programming: Security Issues for Mobile and Distributed Objects, number 1603 in LNCS. Springer-Verlag, 1999.
36. P. Wyckoff, S. McLaughry, T. Lehman, and D. Ford. TSpaces. IBM Systems Journal, 37(3):454-474, 1998.
37. N. Yoshida and M. Hennessy. Subtyping and locality in distributed higher order processes. In CONCUR '99, volume 1664 of LNCS, pages 557-572. Springer-Verlag, 1999.
38. N. Yoshida and M. Hennessy. Assigning types to processes. In Proceedings of LICS'00, pages 334-348. IEEE, Computer Society Press, June 2000.