315 search results - page 5 / 63 » Arrows for secure information flow |
110
Voted
CSFW
1996
IEEE
15 years 8 months ago
1996
IEEE
118
Voted
CRISIS
2008
15 years 5 months ago
2008
84
Voted
ACJ
2006
15 years 4 months ago
2006
145
click to vote
IEEEARES
2009
IEEE
15 years 1 months ago
2009
IEEE
We present an automatic analyzer for measuring information flow within software systems. In this paper, we quantify leakage in terms of information theory and incorporate this comp...
117
Voted
ASIAN
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. We provide a formal definition of information flows in XML transformations and, more generally, in the presence of type driven computations and describe a sound technique...