1527 search results - page 39 / 306 » Demographic information flows |
123
click to vote
CSFW
2005
IEEE
15 years 9 months ago
2005
IEEE
To reason about information flow based on beliefs, a new model is developed that describes how attacker beliefs change due to the attacker’s observation of the execution of a p...
147
Voted
VMCAI
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present a context-sensitive compositional analysis of information flow for full (mono-threaded) Java bytecode. Our idea consists in transforming the Java bytecode int...
176
Voted
CSFW
2000
IEEE
15 years 8 months ago
2000
IEEE
Some of the non interference properties studied in [4, 6, 18] for information flow analysis in computer systems, notably Æ , are reformulated here in a realtime setting. This is...
134
Voted
SP
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract—Belief and vulnerability have been proposed recently to quantify information flow in security systems. Both concepts stand as alternatives to the traditional approaches...
141
click to vote
CSFW
2002
IEEE
15 years 8 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...