Active Bibliography

576 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003
48 Using access control for secure information flow in a Java-like language – Anindya Banerjee - 2003
Securing Data at Java IO Boundaries – Scott F. Smith, Mark Thober
7 Improving usability of information flow security in java – Scott F. Smith, Mark Thober - 2007
139 Robust Declassification – Steve Zdancewic, Andrew C. Myers - 2001
66 A Model for Delimited Information Release – Andrei Sabelfeld, Andrew C. Myers - 2004
32 Secure Information Flow and CPS – Steve Zdancewic, Andrew C. Myers - 2001
34 Secure Information Flow via Linear Continuations – Steve Zdancewic, Andrew C. Myers - 2002
31 Enforcing robust declassification and qualified robustness – Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic - 2006
54 Run-time Principals in Information-flow Type Systems – Stephen Tse, Steve Zdancewic - 2004
101 Secure Information Flow and Pointer Confinement in a Java-like Language – Anindya Banerjee, David A. Naumann - 2002
1 Language-Based Security for Malicious Mobile Code – Fred B. Schneider, Dexter Kozen, Greg Morrisett, Andrew C. Myers
76 Stack-based Access Control and Secure Information Flow – Anindya Banerjee, David A. Naumann - 2003
Making distributed computation secure by construction – Lantian Zheng - 2007
END-TO-END INFORMATION FLOW SECURITY FOR JAVA by – Mark Andrew Thober, C Mark Andrew Thober - 2007
68 Information Flow Inference For Free – Franois Pottier, Sylvain Conchon - 2000
5 A modal foundation for secure information flow – Kenji Miyamoto, Atsushi Igarashi - 2004
9 Owned Policies for Information Security – Hubie Chen Stephen Chong - 2004
6 Achieving information flow security through monadic control of effects – William L. Harrison, James Hook - 2009