Quantification of integrity-Reference-Cited by-同舟云学术

Quantification of integrity

Published:2014-11-10 Issue:2 Volume:25 Page:207-258
ISSN:0960-1295
Container-title:Mathematical Structures in Computer Science
language:en
Short-container-title:Math. Struct. Comp. Sci.

Author:

CLARKSON MICHAEL R.,SCHNEIDER FRED B.

Abstract

Three integrity measures are introduced: contamination, channel suppression and program suppression. Contamination is a measure of how much untrusted information reaches trusted outputs; it is the dual of leakage, which is a measure of information-flow confidentiality. Channel suppression is a measure of how much information about inputs to a noisy channel is missing from the channel outputs. And program suppression is a measure of how much information about the correct output of a program is lost because of attacker influence and implementation errors. Program and channel suppression do not have interesting confidentiality duals. As a case study, a quantitative relationship between integrity, confidentiality and database privacy is examined.

Publisher

Cambridge University Press (CUP)

Subject

Computer Science Applications,Mathematics (miscellaneous)

Reference92 articles.

1. Newsome J. and Song D. (2005) Dynamic taint analysis for automatic detection, analysis and signature generation of exploits on commodity software. In: Proceedings Symposium on Network and Distributed System Security. Available from http://www.isoc.org/isoc/conferences/ndss/05/proceedings/papers/taintcheck.pdf.

2. JFlow

3. Millen J. (1987) Covert channel capacity. In: Proceedings IEEE Symposium on Security and Privacy 60–66.

4. McCullough D. (1987) Specifications for multi-level security and a hook-up property. In: Proceedings IEEE Symposium on Security and Privacy 161–166.

5. Roy I. , Setty S. T. V. , Kilzer A. , Shmatikov V. and Witchel E. (2010) Airavat: Security and privacy for MapReduce. In: Proceedings USENIX Symposium on Networked Systems Design and Implementation 297–312.

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Extending the Quality of Secure Service Model to Multi-Hop Networks;Journal of Cybersecurity and Privacy;2021-12-15

2. Model for Quantifying the Quality of Secure Service;Journal of Cybersecurity and Privacy;2021-05-07

3. SoK: Differential Privacy as a Causal Property;2020 IEEE Symposium on Security and Privacy (SP);2020-05

4. Securing instruction interaction for hierarchical management;Journal of Parallel and Distributed Computing;2020-03

5. Quantifying leakage in the presence of unreliable sources of information;Journal of Computer and System Sciences;2017-09