Quantifying Information Flow

@inproceedings{Lowe2002QuantifyingIF,
  title={Quantifying Information Flow},
  author={Gavin Lowe},
  booktitle={CSFW},
  year={2002}
}
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. Our definition uses the process algebra CSP, and is based upon counting the number of different behaviours of a high level user that can be distinguished by a low level user. 
Highly Cited
This paper has 192 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 117 extracted citations

192 Citations

0102030'02'05'09'13'17
Citations per Year
Semantic Scholar estimates that this publication has 192 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-10 of 17 references

A security property for processes in dynamic contexts

Riccardo Focardi, Sabina Rossi
In Proceedings of the Workshop on Issues in the Theory of Security (WITS • 2002
View 1 Excerpt

The mathematical theory of communication. 1963.

M.D. computing : computers in medical practice • 1997
View 1 Excerpt

CSP and determinism in security modelling

IEEE Symposium on Security and Privacy • 1995
View 1 Excerpt

Similar Papers

Loading similar papers…