96 search results - page 2 / 20 » Modelling Downgrading in Information Flow Security |
SAS
2005
Springer
14 years 10 days ago
2005
Springer
The termination insensitive secure information flow problem can be reduced to solving a safety problem via a simple program transformation. Barthe, D’Argenio, and Rezk coined th...
CSFW
2004
IEEE
13 years 10 months ago
2004
IEEE
Noninterference requires that there is no information flow from sensitive to public data in a given system. However, many systems perform intentional release of sensitive informat...
SP
1990
IEEE
13 years 11 months ago
1990
IEEE
SACMAT
2009
ACM
14 years 1 months ago
2009
ACM
In both the commercial and defense sectors a compelling need is emerging for highly dynamic, yet risk optimized, sharing of information across traditional organizational boundarie...
CSFW
2012
IEEE
11 years 9 months ago
2012
IEEE
—Tracking information flow in dynamic languages remains an important and intricate problem. This paper makes substantial headway toward understanding the main challenges and res...