Quantifying Information Flow

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	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

15th IEEE Computer Security Foundations Workshop (CSFW'02)

Cape Breton, Nova Scotia, Canada

June 24-June 26

ISBN: 0-7695-1689-0

	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

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

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.