Types and effects for non-interfering program monitors

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

Volumn 2609, Issue , 2003, Pages 154-171

  Bauer, Lujo ^a   Ligatti, Jarred ^a   Walker, David ^a  

^a Princeton University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS;

INSTRUCTION STREAMS; PARAMETERIZED; PROGRAM BEHAVIOR; RUNTIMES; SECURITY POLICY; TYPE AND EFFECT SYSTEMS;

APPLICATION PROGRAMS;

EID: 35248842056     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36532-x_10     Document Type: Article

References (23)

1. Bowen Alpern and Fred Schneider. Recognizing safety and liveness. Distributed Computing, 2:117-126, 1987.
2. Lujo Bauer, Jarred Ligatti, and David Walker. A calculus for composing security policies. Technical Report TR-655-02, Princeton University, 2002. Forthcoming.
3. Lujo Bauer, Jarred Ligatti, and David Walker. More enforceable security policies. In Foundations of Computer Security, Copenhagen, Denmark, July 2002.
4. Lujo Bauer, Jarred Ligatti, and David Walker. More enforceable security policies. Technical Report TR-649-02, Princeton University, June 2002.
5. David Brewer and Michael Nash. The Chinese wall security policy. In IEEE Symposium on Security and Privacy, pages 206-214, Oakland, May 1989.
6. P. Deutsch and C. A. Grant. A flexible measurement tool for software systems. In Information Processing, pages 320-326, 1971. Appeared in the proceedings of the IFIP Congress.
7. Úlfar Erlingsson and Fred B. Schneider. SASI enforcement of security policies: A retrospective. In Proceedings of the New Security Paradigms Workshop, pages 87-95, Caledon Hills, Canada, September 1999.
8. Ulfar Erlingsson and Fred B. Schneider. IRM enforcement of Java stack inspection. In IEEE Symposium on Security and Privacy, pages 246-255, Oakland, California, May 2000.
9. David Evans and Andrew Twyman. Flexible policy-directed code safety. In IEEE Security and Privacy, Oakland, CA, May 1999.
10. Andrew D. Gordon and Don Syme. Typing a multi-language intermediate code. In ACM Symposium on Principles of Programming Languages, London, UK, January 2001.
11. John Gough. Compiling for the .NET Common Language Runtime. Prentice Hall, 2001.
12. Robert Grimm and Brian Bershad. Separating access control policy, enforcement and functionality in extensible systems. ACM Transactions on Computer Systems, pages 36-70, February 2001.
13. Gregor Kiczales, Erik Hilsdale, Jim Hugunin, Mik Kersten, Jeffrey Palm, and William Griswold. An overview of AspectJ. In European Conference on Object-oriented Programming. Springer-Verlag, 2001.
14. Moonjoo Kim, Mahesh Viswanathan, Hanene Ben-Abdallah, Sampath Kannan, Insup Lee, and Oleg Sokolsky. Formally specified monitoring of temporal properties. In European Conference on Real-time Systems, York, UK, June 1999.
15. Insup Lee, Sampath Kannan, Moonjoo Kim, Oleg Sokolsky, and Mahesh Viswanathan. Run-time assurance based on formal specifications. In International Conference on Parallel and Distributed Processing Techniques and Applications, Las Vegas, June 1999.
16. Tim Lindholm and Frank Yellin. The Java Virtual Machine Specification. Addison-Wesley, 2nd edition, 1999.
17. ∼emeijer/Papers/CLR.pdf.
18. Eugenio Moggi. Notions of computation and monads. Information and Computation, 93:55-92, 1991.
19. R. Pandey and B. Hashii. Providing fine-grained access control for Java programs through binary editing. Concurrency: Practice and Experience, 12(14):1405-1430, 2000.
20. Xiaohu Qie, Ruoming Pang, and Larry Peterson. Defensive programming: Using an annotation toolkit to build DoS-resistant software. Technical Report TR-658-02, Princeton University, July 2002.
21. Anders Sandhohn and Michael Schwartzbach. Distributed safety controllers for web services. In Fundamental Approaches to Software Engineering, volume 1382 of Lecture Notes in Computer Science, pages 270-284. Springer-Verlag, 1998.
22. Fred B. Schneider. Enforceable security policies. ACM Transactions on Information and Systems Security, 3(1):30-50, February 2000.
23. Mitchell Wand, Gregor Kiczales, and Christopher Dutchyn. A semantics for advice and dynamic join points in aspect-oriented programming. In Workshop on Foundations of Aspect-Oriented Languages, 2002.