Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

12

CSFW
2002
IEEE

favoriteEmaildiscussreport

116views Security Privacy» more CSFW 2002»

Quantifying Information Flow

13 years 9 months ago

Quantifying Information Flow

Download gray-world.net

We extend deﬁnitions of information ﬂow so as to quantify the amount of information passed; in other words, we give a formal deﬁnition of the capacity of covert channels. Our deﬁnition uses the process algebra CSP, and is based upon counting the number of diﬀerent behaviours of a high level user that can be distinguished by a low level user.

Gavin Lowe

Real-time Traffic

CSFW 2002 | Level User | Low Level User | Process Algebra Csp | Security Privacy |

claim paper

Related Content

» Quantifying Probabilistic Information Flow in Computational Reactive Systems

» Quantifying information leaks in software

» Quantifying Information Leaks in Outbound Web Traffic

» Quantifying Information Leakage in Finite Order Deterministic Programs

» Quantitative Analysis of Secure Information Flow via Probabilistic Semantics

» Distributed Detection of Information Flows

» Quantifying IT Value Latency The Case of the Financial Services Industry

» The Role of Information Update in Flow Control

» Differential Privacy versus Quantitative Information Flow

Post Info
More Details (n/a)

Added	14 Jul 2010
Updated	14 Jul 2010
Type	Conference
Year	2002
Where	CSFW
Authors	Gavin Lowe

Comments (0)