|
201
|
A Core Calculus of Dependency
– Martín Abadi , Anindya Banerjee, Nevin Heintze, Jon G. Riecke
- 1999
|
|
192
|
Information flow inference for ML
– François Pottier, Vincent Simonet
|
|
214
|
The slam calculus: programming with secrecy and integrity
– Nevin Heintze, Jon G. Riecke
- 1998
|
|
458
|
Language-Based Information-Flow Security
– Andrei Sabelfeld , Andrew C. Myers
- 2003
|
|
651
|
Notions of Computation and Monads
– Eugenio Moggi
- 1991
|
|
181
|
Protecting privacy using the decentralized label model
– Andrew C. Myers, Barbara Liskov
- 2000
|
|
619
|
Security policies and security models
– J Goguen, J Meseguer
- 1982
|
|
332
|
Types, abstraction and parametric polymorphism
– J C Reynolds
- 1983
|
|
478
|
A Lattice Model of Secure Information Flow
– Dorothy E. Denning
- 1976
|
|
45
|
Run-time Principals in Information-flow Type Systems
– Stephen Tse, Steve Zdancewic
- 2004
|
|
379
|
JFlow: Practical Mostly-Static Information Flow Control
– Andrew C. Myers
- 1999
|
|
26
|
Encoding information flow in Haskell
– Peng Li
- 2006
|
|
345
|
A SOUND TYPE SYSTEM FOR SECURE FLOW ANALYSIS
– Dennis Volpano, Geoffrey Smith, Cynthia Irvine
- 1996
|
|
52
|
Access control in a core calculus of dependency
– M Abadi
|
|
348
|
Certification of programs for secure information flow
– D E Denning, P J Denning
- 1977
|
|
95
|
Jif: Java information flow. Software release. Located at http://www.cs.cornell.edu/jif
– A C Myers, L Zheng, S Zdancewic, S Chong, N Nystrom
- 2001
|
|
90
|
Dimensions and Principles of Declassification
– Andrei Sabelfeld , David Sands
- 2005
|
|
515
|
Secure computer system: unified exposition and MULTICS interpretation
– D E Bell, L J LaPadula
- 1976
|
|
490
|
A Syntactic Approach to Type Soundness
– Andrew K. Wright, Matthias Felleisen
- 1992
|
