|
600
|
First-Order Dynamic Logic
– Harel
- 1979
|
|
246
|
Language-based information-flow security
– Sabelfeld, Myers
- 2003
|
|
242
|
A sound type system for secure flow analysis
– Volpano, Smith, et al.
- 1996
|
|
231
|
Certification of programs for secure information flow
– Denning, Denning
- 1977
|
|
230
|
JFlow: Practical Mostly-Static Information Flow Control
– Myers
- 1999
|
|
100
|
A Type-Based Approach to Program Security
– Volpano, Smith
- 1997
|
|
69
|
Secure information flow and pointer confinement in a java-like language
– Banerjee, Naumann
- 2002
|
|
68
|
A PER model of secure information flow in sequential programs
– Sabelfeld, Sands
|
|
55
|
A semantic approach to secure information flow
– Joshi, Leino
- 2000
|
|
52
|
An axiomatic approach to information flow in programs
– Andrews, Reitman
- 1980
|
|
52
|
Semantics and program analysis of computationally secure information flow
– Laud
- 2001
|
|
42
|
A theorem proving approach to analysis of secure information flow
– Darvas, Hähnle, et al.
- 2005
|
|
39
|
Secure Computer Systems: A Mathematical Model
– Padula, Bell
- 1996
|
|
39
|
A new type system for secure information flow
– Smith
- 2001
|
|
31
|
Compile-time detection of information flow in sequential programs
– Banatre, Bryce, et al.
- 1994
|
|
29
|
Information flow security in dynamic contexts
– Focardi, Rossi
- 2002
|
|
22
|
Flow Caml in a nutshell
– Simonet
- 2003
|
|
6
|
Jif: Java + information flow
– Myers, Chong, et al.
- 2006
|
|
3
|
Cinzia Bernardeschi, and Nicoletta De Francesco. Java bytecode verification for secure information flow
– Avvenuti
- 2003
|
