|
51
|
Mostly-Static Decentralized Information Flow Control
– Andrew C. Myers
- 1999
|
|
66
|
Complete, Safe Information Flow with Decentralized Labels
– Andrew C. Myers, Barbara Liskov
- 1998
|
|
181
|
Protecting privacy using the decentralized label model
– Andrew C. Myers, Barbara Liskov
- 2000
|
|
458
|
Language-Based Information-Flow Security
– Andrei Sabelfeld , Andrew C. Myers
- 2003
|
|
51
|
A Model for Delimited Information Release
– Andrei Sabelfeld, Andrew C. Myers
- 2004
|
|
3
|
Embedding Verifiable Information Flow Analysis
– Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-Ryl
- 2006
|
|
122
|
Robust Declassification
– Steve Zdancewic, Andrew C. Myers
- 2001
|
|
|
Making distributed computation secure by construction
– Lantian Zheng
- 2007
|
|
7
|
Security Analysis using Flow Logics
– Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nelson
- 2000
|
|
81
|
A Per Model of Secure Information Flow in Sequential Programs
– Andrei Sabelfeld , David Sands
- 1998
|
|
23
|
Enforcing robust declassification and qualified robustness
– Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic
- 2006
|
|
7
|
Static Analysis for the pi-calculus with Applications to Security
– Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
- 2001
|
|
|
Modular Reasoning about . . .
– Sruthi Bandhakavi
- 2005
|
|
8
|
Owned Policies for Information Security
– Hubie Chen Stephen Chong
- 2004
|
|
214
|
The slam calculus: programming with secrecy and integrity
– Nevin Heintze, Jon G. Riecke
- 1998
|
|
|
END-TO-END INFORMATION FLOW SECURITY FOR JAVA by
– Mark Andrew Thober, C Mark Andrew Thober
- 2007
|
|
10
|
A Library for Light-Weight Information-Flow Security in Haskell
– Alejandro Russo, Koen Claessen, John Hughes
|
|
6
|
Improving usability of information flow security in java
– Scott F. Smith, Mark Thober
- 2007
|
|
|
Securing Data at Java IO Boundaries
– Scott F. Smith, Mark Thober
|
