|
1016
|
Proof-Carrying Code
– George C. Necula
- 1997
|
|
388
|
Enforceable Security Policies
– Fred B. Schneider
|
|
627
|
Efficient Software-Based Fault Isolation
– Robert Wahbe, Steven Lucco, Thomas E. Anderson, Susan L. Graham
- 1993
|
|
1023
|
Yellin F. Java Virtual Machine Specification
– T Lindholm
- 1999
|
|
245
|
The Design and Implementation of a Certifying Compiler
– George C. Necula , Peter Lee
- 1998
|
|
557
|
From System F to Typed Assembly Language
– Greg Morrisett, David Walker, Karl Crary, Neal Glew
- 1998
|
|
11
|
Logical foundation
– L Lamport
- 1985
|
|
132
|
Policy-directed code safety
– David E. Evans
- 2000
|
|
179
|
SASI Enforcement of Security Policies: A Retrospective
– Ulfar Erlingsson , Fred B. Schneider
- 2000
|
|
350
|
F.B.: Defining liveness
– B Alpern, Schneider
- 1985
|
|
274
|
Proving the Correctness of Multiprocess Programs
– Leslie Lamport
- 1977
|
|
37
|
Verifying Temporal Properties without Temporal Logic
– Bowen Alpern, Fred B. Schneider
- 1989
|
|
2972
|
Communication and Concurrency
– R Milner
- 1989
|
|
765
|
The Temporal Logic of Actions
– Leslie Lamport
- 1993
|
|
83
|
A Type System for Expressive Security Policies
– David Walker
- 2000
|
|
172
|
Temporal logic can be more expressive
– P Wolper
- 1983
|
|
37
|
Efficient code certification
– Dexter Kozen
- 1998
|
|
40
|
Semantics of memory management for polymorphic languages
– Greg Morrisett, Robert Harper
- 1997
|
|
1224
|
Introduction to functional programming
– Philip Wadler
- 1995
|
