The Oz-E project: Design guidelines for a secure multiparadigm programming language

Lecture Notes in Computer Science

Volumn 3389, Issue , 2005, Pages 21-40

  Spiessens, Fred ^a   Van Roy, Peter ^a  

^a UNIVERSITÉ CATHOLIQUE DE LOUVAIN   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; PROJECT MANAGEMENT; SECURITY OF DATA;

CAPABILITY-SECURE LANGAUGE; LAYERED STRUCTURE; MULTIPARADIGM LANAGUAGES; SECURE LANGUAGE;

COMPUTER PROGRAMMING LANGUAGES;

EID: 24144465894     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31845-3_3     Document Type: Conference Paper

References (23)

1. [Arm03] Joe Armstrong. Making Reliable Distributed Systems in the Presence of Software Errors. PhD thesis, Royal Institute of Technology (KTH), Stockholm, December 2003.
2. [AWWV96] Joe Armstrong, Mike Williams, Claes Wikström, and Robert Virding. Concurrent Programming in Erlang. Prentice-Hall, Englewood Cliffs, NJ, 1996.
3. [BKB04] Zacharias El Banna, Erik Klintskog, and Per Brand. Report on security services in distribution subsystem. Technical Report PEPITO Project Deliverable D4.4 (EU contract IST-2001-33234), K.T.H., Stockholm, January 2004.
4. [CF91] R. Cartwright and M. Fagan. Soft typing. In Proceedings of the SIGPLAN '91 Conference on Programming Language Design and Implementation, pages 278-292, 1991.
5. [GHJV94] Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison Wesley, Massachusetts, 1994.
6. [Har89] Norm Hardy. The confused deputy. ACM SIGOPS Oper. Syst. Rev, 22(4):36-38, 1989. http://www.cap-lore.com/CapTheory/ConfusedDeputy.html.
7. [HBS73] Carl Hewitt, Peter Bishop, and Richard Steiger. A universal modular ACTOR formalism for artificial intelligence. In 3rd International Joint Conference on Artificial Intelligence (IJCAI), pages 235-245, August 1973.
8. [Hew77] Carl Hewitt. Viewing control structures as patterns of passing messages. Journal of Artificial Intelligence, 8(3):323-364, June 1977.
9. [KEB03] Erik Klintskog, Zacharias El Banna, and Per Brand. A generic middleware for intra-language transparent distribution. Technical Report T2003:01, Swedish Institute of Computer Science, June 2003.
10. [MMF00] Mark S. Miller, Chip Morningstar, and Bill Frantz. Capability-based financial instruments. In Proceedings of the 4th International Conference on Financial Cryptography, pages 349-378. Springer Verlag, 2000.
11. [Mor73] James H. Morris. Protection in programming languages. Communications of the ACM, 16(1):15-21, 1973.
12. [MS03] Mark S. Miller and Jonathan Shapiro. Paradigm regained: Abstraction mechanisms for access control. In 8th Asian Computing Science Conference (ASIAN03), pages 224-242, December 2003.
13. +01] Mark Miller, Marc Stiegler, Tyler Close, Bill Frantz, Ka-Ping Yee, Chip Morningstar, Jonathan Shapiro, Norm Hardy, E. Dean Tribble, Doug Barnes, Dan Bornstien, Bryce Wilcox-O'Hearn, Terry Stanley, Kevin Reid, and Darius Bacon. E: Open source distributed capabilities, 2001. Available at http://www.erights.org.
14. [MTS05] Mark S. Miller, Bill Tulloh, and Jonathan S. Shapiro. The structure of authority: Why security is not a separable concern. In Multiparadigm Programming in Mozart/Oz: Proceedings of MOZ 2004, volume 3389 of Lecture Notes in Artificial Intelligence. Springer-Verlag, 2005.
15. [Ree96] Jonathan A. Rees. A security kernel based on the lambda-calculus. Technical report, MIT, 1996.
16. [Rei04] Kevin Reid. [e-lang] Proposal: Auditors without unshadowable names, August 2004. Mail posted at e-lang mailing list, available at http://www.eros-os.org/pipermail/e-lang/2004-August/010029.html.
17. [SM02] Marc Stiegler and Mark S. Miller. A capability based client: The darpabrowser. Technical Report Focused Research Topic 5 / BAA-00-06-SNK, Combex, Inc., June 2002. Avalalbe at http://www.combex.com/papers/darpa-report/index.html.
18. [SMRS04] Fred Spiessens, Mark Miller, Peter Van Roy, and Jonathan Shapiro. Authority Reduction in Protection Systems. Available at: http://www.info.ucl.ac.be/people/fsp/ARS.pdf, 2004.
19. [Sti] Marc Stiegler. The SkyNet virus: Why it is unstoppable; how to stop it. Talk available at http://www.erights.org/talks/skynet/.
20. [Sti00] Marc Stiegler. The E Language in a Walnut. 2000. Draft available at http://www.erights.org.
21. [VH04] Peter Van Roy and Seif Haridi. Concepts, Techniques, and Models of Computer Programming. MIT Press, Cambridge, MA, 2004.
22. [Yee02] Ka-Ping Yee. User interaction design for secure systems. In 4th International Conference on Information and Communications Security (ICICS 2002), 2002. UC Berkeley Technical Report CSD-02-1184.
23. [YM00] Ka-Ping Yee and Mark S. Miller. Auditors: An extensible, dynamic code verification mechanism. Available at http://www.erights.org/elang/kernel/auditors/, 2000.