2079 search results - page 25 / 416 » Quantifying Information Flow |
APVIS
2006
13 years 9 months ago
2006
FindFlow is a search interface that enables users to construct queries visually on the screen. Because the constructed queries show the process of the search, the user can take a ...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
Directed Information (DI) has recently been introduced to quantify the causality between two signals. However, one major remaining issue with DI is the computational complexity wh...
ACTA
2005
13 years 7 months ago
2005
We propose a new type system for information flow analysis for the -calculus. As demonstrated by recent studies, information about whether each communication succeeds is important ...
DAC
2010
ACM
13 years 11 months ago
2010
ACM
Understanding the flow of information is an important aspect in computer security. There has been a recent move towards tracking information in hardware and understanding the flow...
CSFW
2007
IEEE
13 years 11 months ago
2007
IEEE
We present interpretations of type systems for secure information flow in Hoare logic, complementing previous encodings in binary (e.g. relational) program logics. Treating base-l...