Proof Abstraction for Imperative Languages (2003)

by William L. Harrison
Citations:2 - 1 self

Active Bibliography

716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
766 Notions of Computation and Monads – Eugenio Moggi - 1991
619 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003
518 Enforceable Security Policies – Fred B. Schneider
1213 Lattice-Based Access Control Models – Ravi S. Sandhu - 1993
859 The Temporal Logic of Actions – Leslie Lamport - 1993
560 Nonmonotonic Reasoning, Preferential Models and Cumulative Logics – Sarit Kraus, Daniel Lehmann, Menachem Magidor - 1990
1213 A logic of authentication – Michael Burrows, Martín Abadi, Roger Needham - 1990
503 Model Checking Programs – Willem Visser, Klaus Havelund, GUILLAUME BRAT, SEUNGJOON PARK, FLAVIO LERDA - 2003