2079 search results - page 1 / 416 » Quantifying Information Flow |
CSFW
2002
IEEE
13 years 9 months ago
2002
IEEE
We extend definitions of information flow so as to quantify the amount of information passed; in other words, we give a formal definition of the capacity of covert channels. Ou...
ESORICS
2005
Springer
13 years 10 months ago
2005
Springer
Information flow and non-interference are well-established techniques for expressing both integrity and privacy properties. Because of the enormous potential to transmit informati...
ACSAC
2010
IEEE
13 years 2 months ago
2010
IEEE
Leakage of confidential information represents a serious security risk. Despite a number of novel, theoretical advances, it has been unclear if and how quantitative approaches to ...
SP
2009
IEEE
13 years 11 months ago
2009
IEEE
As the Internet grows and network bandwidth continues to increase, administrators are faced with the task of keeping confidential information from leaving their networks. Today’...
CORR
2010
Springer
12 years 11 months ago
2010
Springer
Information flow analysis is a powerful technique for reasoning about the sensitive information exposed by a program during its execution. While past work has proposed information...