Documents Related by Co-Citation

210 SASI Enforcement of Security Policies: A Retrospective – Ulfar Erlingsson , Fred B. Schneider - 2000
478 Enforceable Security Policies – Fred B. Schneider
1111 Proof-Carrying Code – George C. Necula - 1997
1089 Java virtual machine specification – Tim Lindholm, Frank Yellin
689 Efficient Software-Based Fault Isolation – Robert Wahbe, Steven Lucco, Thomas E. Anderson, Susan L. Graham - 1993
642 The Protection of Information in Computer Systems – Jerome H. Saltzer, Michael D. Schroeder - 1975
141 IRM Enforcement of Java Stack Inspection – Ulfar Erlingsson, Fred B. Schneider - 2000
457 JFlow: Practical Mostly-Static Information Flow Control – Andrew C. Myers - 1999
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998