Programming languages for mobile code

ACM Computing Surveys

Volumn 29, Issue 3, 1997, Pages 213-239

  Thorn, Tommy ^a  

^a CAMPUS DE BEAULIEU   (France)

Author keywords

A.1 General Literature : Introduction and Survey; C.2.4 Computer Communication Networks : Distributed Systems distributed applications; D.3.2 Programming Languages : Language Classifications object oriented languages

Indexed keywords

CODES (SYMBOLS); COMPUTER SYSTEMS PROGRAMMING; DISTRIBUTED COMPUTER SYSTEMS; OBJECT ORIENTED PROGRAMMING; SECURITY OF DATA;

JAVA PROGRAMMING LANGUAGE; MOBILE CODE;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0031232912     PISSN: 03600300     EISSN: None     Source Type: Journal    
DOI: 10.1145/262009.262010     Document Type: Article

References (43)

1. ADL-TABATABAI, A., LANGDALE, G., LUCCO, S., AND WAHBE, R. 1996. Efficient and language-independent mobile programs. In Proceedings of the SIGPLAN'96 Conference on Programming Language Design and Implementation.
2. ARNOLD, K., AND GOSLING, J. 1996. The Java Programming Language. Sun Microsystems.
3. BALL, S. 1996. The SurfIt! browser. Available at http://pastime.anu.edu.au/Surflt.
4. BANÂTRE, J., BRYCE, C., AND LE MÉTAYER, D. 1994. Compile-time detection of information flow in sequential programs. In Proceedings of the European Symposium on Research in Computer Security, No. 875 in Lecture Notes in Computer Science. Springer-Verlag, New York.
5. BELL, D., AND LAPADULA, L. 1973. Secure computer system: Mathematical foundations and model. Tech. Rep. M74-244, MITRE Corp.
6. BILLON, J.-P. 1996. Java security: Weaknesses and solutions. Available at http://www.dya-de.fr/actions/VIP/JS_pap2.html.
7. BIRRELL, A. D., NELSON, G., OWICKI, S., AND WOBBER, E. 1993. Network objects. In Proceedings of the 14th Symposium on Operating Systems Principles.
8. BJØRNER, D. 1991a. Software Architectures and Programming Systems Design; Volume I: Specification Principles - the VDM Approach. Addison-Wesley/ACM Press.
9. BJØRNER, D. 1991b. Software Architectures and Programming Systems Design; Volume II: Implementation Principles - the VDM Approach. Addison-Wesley/ACM Press.
10. BORENSTEIN, N. S. 1994. Email with a mind of its own. Available at ftp://ftp.fv.com/pub/ code/other/safe-tcl.tar.gz, 1994.
11. BORGIA, R., DEGANO, P., PRIAMI, C., LETH, L., AND THOMSEN, B. 1996. Understanding mobile agents via a non-interleaving semantics for Facile. In Proceedings of SAS '96, Vol. 1145 of Lecture Notes in Computer Science, Springer-Verlag, 98-112.
12. BROCK, S., AND GEORGE, C. W. 1990. The RAISE method manual. Tech. Rep. LACOS/CRI/ DOC/3, CRI: Computer Resources International.
13. CARDELLI, L. 1995. A language with distributed scope. In Proceedings of the 22nd Symposium on Principles of Programming Languages (Jan.), ACM Press, New York, 286-297. Available at http://www.research.digital.com/ SRC/personal/Luca_Cardelli/Obliq/Obliq.html.
14. DEAN, D., FELTEN, E. W., AND WALLACH, D. S. 1996. Java security: From HotJava to Netscape and beyond. In IEEE Symposium on Security and Privacy (Oakland, CA).
15. DENNING, D., AND DENNING, P. 1977. Certification of programs for secure information flow. Commun. ACM 20, 7.
16. DROSSOPOULOU, S., AND EISENBACH, S. 1996. Proving the soundness of the Java type system. Tech. Rep., Imperial College, Oct.
17. FOX, R. 1996. Internet sabotage. Commun. ACM 39, 11 (Nov.), 9.
18. FREIER, A. O., KARLTON, P., AND KOCHER, P. C. 1996. The SSL protocol. Available at http:// home.netscape.com/eng/ssl3/index.html, March.
19. GENERAL MAGIC. 1996. The Telescript home page. Available at http://www.genmagic.com/ Telescript.
20. GOSLING, J., JOY, B., AND STEELE, G. 1996. The Java Language Specification. Sun Microsystems.
21. HANSEN, W. J. 1990. Enhancing documents with embedded programs: How Ness extends insets in the Andrew toolkit. In Proceedings of IEEE Computer Society 1990 International Conference on Computer Languages, (New Orleans, March) IEEE Computer Society Press, Los Alamitos, CA, 23-32.
22. HUITEMA, C. 1996. IPv6: The New Internet Protocol. Prentice Hall, Englewood Cliffs, NJ.
23. JAVASOFT. 1996. JavaSoft products. Available at http://www.javasoft.com/nav/read/products. html.
24. KNABE, F. 1996. An overview of mobile agent programming. In Proceedings of the Fifth LO-MAPS Workshop on Analysis and Verification of Multiple-Agent Languages. (Stockholm, Sweden, June) No. 1192 in Lecture Notes in Computer Science, Springer-Verlag, New York.
25. LANDWEHR, C. E. 1981. Formal models for computer security. ACM Comput. Surv. 13, 3, 247-278.
26. LANO, K. 1996. The B Language and Method. Springer-Verlag.
27. LEROY, X. 1997. Objective Caml. Available at http://pauillac.inria.fr/ocaml/.
28. LUCENT TECHNOLOGIES. 1996. The Inferno home page. Available at http://inferno.bell-labs.com/ inferno/index.html.
29. MALENFANT, J. 1995. On the semantic diversity of delegation-based programming languages. In Proceedings of OOPSLA '95.
30. MCLEAN, J. 1994. Security models. In Encyclopedia of Software Engineering, J. Mariniak, Ed., John Wiley & Sons, New York.
31. MIZUNO, M., AND SCHMIDT, D. A. 1992. A security flow control algorithm and its denotational semantics correctness proof. Formal Aspects Comput. 4, 6A, 727-754.
32. NECULA, G. C., AND LEE, P. 1996. Safe kernel extensions without run-time checking. In Second Symposium on Operating Systems Design and Implementation. Available at http.//fox-net.cs.cmu.edu/people/petel/papers/osci.ps.
33. NETSCAPE. 1997. JavaScript language specification. Available at http://developer.netscape. com/library/documentation/index.html.
34. NIELSON, H. R., AND NIELSON, P. 1992. Semantics with Applications, a Formal Introduction. Wiley Professional Computing. John Wiley and Sons, New York.
35. OUSTERHOUT, J. K. 1994. Tcl and the Tk Toolkit. Addison-Wesley, Reading, MA.
36. PIKE, R. 1997. Private communication.
37. RESCORLA, E., AND SCHIFFMAN, A. 1996. The secure hypertext transfer protocol. Available at ftp://ds.internic.net/internet-drafts/draft-ietf-wts-shttp-03.txt, July.
38. ROUAIX, F. 1996a. MMM browser home page. Available at http://pauillac.inria.fr/~rouaix/ mmm/.
39. ROUAIX, F. 1996b. A Web navigator with applets in Caml. In Proceedings of the Fifth International World-Wide Web Conference (Paris, May). Elsevier Science B. V.
40. RUSSELL, D., AND GANGEMI, G. T., SR. 1991. Computer Security Basics. O'Reilly & Associates, Inc., Sebastopol, CA.
41. SCHMIDT, D. A. 1986. Denotational Semantics: A Methodology for Language Development. Allyn and Bacon, Needham Heights, MA.
42. SPIVEY, J. M. 1988. Understanding Z: A Specification Language and Its Formal Semantics. Cambridge University Press, New York.
43. VOLPANO, D., SMITH, G., AND IRVINE, C. 1996. A sound type system for secure flow analysis. J. Comput. Sec. 4(3).