SASI enforcement of security policies: A retrospective

Proceedings - DARPA Information Survivability Conference and Exposition, DISCEX 2000

Volumn 2, Issue , 2000, Pages 287-295

  Erlingsson, U ^a   Schneider, F B ^a  

^a Department of Computer Science and School of Operations Research and Information Engineering   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

MACHINE ARCHITECTURES; OBJECT CODE; SECURITY AUTOMATA; SECURITY POLICY; TARGET SYSTEMS;

SECURITY SYSTEMS;

EID: 84962296920     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DISCEX.2000.821527     Document Type: Conference Paper

References (14)

1. B.N. Bershad, S. Savage, P. Pardyak, E.G. Sirer, M.E Fiuczynski, D. Becker, S. Eggers, and C. Chambers. Extensibility, safety and performance in the SPIN operating system. In Proc. Symposium on Operating System Principles (SOSP'95), pages 267-284. ACM Press, December 1995.
2. P. Deutsch and C.A. Grant. A flexible measurement tool for software systems. In Information Processing (Proc. of the IFIP Congress), pages 320-326, 1971.
3. G. Edjlali, A. Acharya, and V. Chaudhary. History-based access control for mobile code. In Proc. 5th Conf. on Computer & Communications Security, May 1998.
4. D. Evans and A. Twyman. Policy-directed code safety. In Proc. IEEE Symposium on Security and Privacy, May 1999.
5. R. Grimm and B.N. Bershad. Providing policy-neutral and transparent access control in extensible systems. In C.D. Jensen J. Vitek, editor, Secure Internet Programming: Security Issues for Mobile and Distributed Objects, volume 1603 of Lecture Notes in Computer Science, pages 317-338. Springer-Verlag, 1999.
6. N.D. Jones, C.K. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation. Prentice Hall, 1993.
7. D. Kozen. Efficient code certification. Technical Report TR98 1661, Cornell University, January 1998.
8. G. Morrisett, D. Walker, K. Crary, and N. Glew. From system F to typed assembly language (extended version). In Proc. Principles of Programming Languages (POPL'98), pages 85-97, January 1997.
9. G. Necula. Proof-carrying code. In Proc. Principles of Programming Languages (POPL'97), pages 106-119, January 1997.
10. R. Pandey and B. Hashii. Providing fine grained access control for mobile programs through binary editing. Technical Report TR98 08, University of California, Davis, August 1998.
11. F.B. Schneider. Enforceable security policies. Technical Report TR98 1664, Cornell University, January 1998.
12. C. Small. A tool for constructing safe extensible C++ systems. In Proc. 3rd Conference on Object-Oriented Technologies and Systems, June 1997.
13. C. Small and M. Seltzer. A comparison of OS extension technologies. In Proc. 1996 USENIX Technical Conference, pages 41-54, January 1996.
14. R. Wahbe, S. Lucco, T.E. Anderson, and S.L. Graham. Efficient software-based fault isolation. Operating System Review, 27(5), 1993.