120 search results - page 11 / 24 » Refactoring programs to secure information flows |
CSFW
2010
IEEE
15 years 3 months ago
2010
IEEE
—Quantitative information-flow analysis (QIF) is an emerging technique for establishing information-theoretic confidentiality properties. Automation of QIF is an important step...
100
click to vote
CONCUR
2009
Springer
15 years 6 months ago
2009
Springer
Several programming constructs have recently been proposed with the purpose of enabling the programmer to encode declassifying information flows within a program that complies wi...
119
click to vote
PLDI
2009
ACM
15 years 6 months ago
2009
ACM
This paper presents λI , a language for dynamic tracking of information flow across multiple, interdependent dimensions of information. Typical dimensions of interest are integr...
SOSP
1997
ACM
15 years 1 months ago
1997
ACM
This paper presents a new model for controlling information flow in systems with mutual distrust and decentralized authority. The model allows users to share information with dis...
101
click to vote
CSFW
2010
IEEE
15 years 3 months ago
2010
IEEE
In recent years it has been shown that dynamic monitoring can be used to soundly enforce information flow policies. For programs distributed in source or bytecode form, the use o...