311 search results - page 3 / 63 » Secure Information Flow by Self-Composition |
ASIAN
2009
Springer
13 years 8 months ago
2009
Springer
Abstract. Language-based information flow analysis is used to statically examine a program for information flows between objects of different security domains, and to verify these ...
ERSHOV
2009
Springer
13 years 8 months ago
2009
Springer
Abstract. Historically, dynamic techniques are the pioneers of the area of information flow in the 70's. In their seminal work, Denning and Denning suggest a static alternativ...
SP
1990
IEEE
14 years 2 months ago
1990
IEEE
SP
1991
IEEE
14 years 2 months ago
1991
IEEE
IEEEARES
2010
IEEE
14 years 5 months ago
2010
IEEE