Provably Secure Programming Languages for Remote Evaluation

ACM Computing Surveys

Volumn 28, Issue 4, 1996, Pages 1-3

  Volpano, Dennis ^a  

^a NAVAL POSTGRADUATE SCHOOL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 35048822412     PISSN: 03600300     EISSN: 15577341     Source Type: Journal    
DOI: 10.1145/242224.242453     Document Type: Article

References (14)

1. Banâtre, J., Bryce, C. and Le Métayer, D., Compile time Detection of Information Flow in Sequential Programs, Proc. 3rd European Symposium on Research in Computer Security, pp. 55-73, 1994.
2. Borenstein, N., Email with a Mind of its Own: The Safe-Tcl Language for Enabled Mail, Available at ftp://ics.uci.edu/mrose/saf e-tcl/saf e-tcl.tar. Z, 1994.
3. Cardelli, L. A Language with Distributed Scope, Proc. 22nd ACM Symposium on Principles of Programming Languages, pp. 286-297, 1995.
4. Cejtin, H. Jagannathan, S. and Kelsey, R., Higher-order Distributed Objects, ACM Trans. on Programming Languages and Systems, 17(5), pp. 704-739, 1995.
5. Flanagan, D., Java in a Nutshell, O'Reilly and Associates, Inc.
6. Goguen, J. and Meseguer, J., Security Policies and Security Models, Proc. 1982 IEEE Symposium on Research in Security and Privacy, pp. 11-20, 1982.
7. Halls, D., Bates, J. and Bacon, J., Flexible Distributed Programming using Mobile Code, Proceedings of the 1996 SIGOPS European Workshop on Systems Support for Worldwide Applications, Connemara, Ireland, September 1996, Available at http://mosquitonet.Stanford.edu/sigops96/papers.
8. McCullough, D., Specifications for Multi-level Security and a Hook-Up Property, Proc. 1987 IEEE Symposium on Research in Security and Privacy, pp. 161-166, 1987.
9. McLean, J., The Specification and Modeling of Computer Security, IEEE Computer, 23(1), pp. 9-16, 1990.
10. McLean, J., Security Models and Information Flow, Proc. 1990 IEEE Symposium on Research in Security and Privacy, pp. 180-187, 1990.
11. McLean, J., A General Theory of Composition for Trace Sets Closed Under Selective Interleaving Functions, Proc. 1994 IEEE Symposium on Research in Security and Privacy, pp. 79-93, 1994.
12. Stamos, J. and Gifford, D., Remote Evaluation, ACM Trans, on Programming Languages and Systems, 12(4), pp. 537-565, 1990.
13. Volpano, D., Smith, G. and Irvine, C., A Sound Type System for Secure Flow Analysis, Journal of Computer Security, 4(3), pp. 1-21, 1996.
14. White, J., Telescript Technology: The Foundation for the Electronic Marketplace, Technical Report, General Magic, Inc., 1994.