Achieving information flow security through monadic control of effects (2009)

by William L. Harrison , James Hook
Venue:JOURNAL OF COMPUTER SECURITY
Citations:7 - 6 self

Active Bibliography

14 Achieving information flow security through precise control of effects – William L. Harrison, James Hook - 2005
619 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003
467 Comprehending Monads – Philip Wadler - 1992
1213 Lattice-Based Access Control Models – Ravi S. Sandhu - 1993
486 JFlow: Practical Mostly-Static Information Flow Control – Andrew C. Myers - 1999
544 Data Security – Dorothy E. Denning, Peter J. Denning - 1979
585 A Lattice Model of Secure Information Flow – Dorothy E. Denning - 1976
606 Bandera: Extracting Finite-state Models from Java Source Code – James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Hongjun Zheng - 2000
682 The Protection of Information in Computer Systems – Jerome H. Saltzer, Michael D. Schroeder - 1975