Quantifying Information Flow

Cape Breton, Nova Scotia, Canada June 24-June 26

DOI Bookmark:

http://doi.ieeecomputersociety.org/10.1109/CSFW.2002.1021804

15th IEEE Computer Security Foundatio ...

	This Article
	PURCHASE ARTICLE: $19 PDF HTML IEEE Xplore Subscribers
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Gavin Lowe

	ASCII Text	x
	Gavin Lowe, "Quantifying Information Flow," Computer Security Foundations Workshop, IEEE, pp. 18, 15th IEEE Computer Security Foundations Workshop (CSFW'02), 2002.

	BibTex	x
	@article{ 10.1109/CSFW.2002.1021804, author = {Gavin Lowe}, title = {Quantifying Information Flow}, journal ={Computer Security Foundations Workshop, IEEE}, volume = {0}, year = {2002}, issn = {1063-6900}, pages = {18}, doi = {http://doi.ieeecomputersociety.org/10.1109/CSFW.2002.1021804}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Computer Security Foundations Workshop, IEEE TI - Quantifying Information Flow SN - 1063-6900 SP EP A1 - Gavin Lowe, PY - 2002 KW - null VL - 0 JA - Computer Security Foundations Workshop, IEEE ER -

Gavin Lowe, Oxford University Computing Laboratory

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.

Citation:

Gavin Lowe, "Quantifying Information Flow," csfw, pp.18, 15th IEEE Computer Security Foundations Workshop (CSFW'02), 2002

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.