迈克尔·克拉克森。;弗雷德·施耐德。 完整性量化。 (英语) Zbl 1361.68080号 数学。结构。计算。科学。 25207-258(2015)第2期. 摘要:介绍了三种完整性措施:污染、通道抑制和程序抑制。污染是衡量不可信信息到达可信输出的程度;它是泄漏的双重性,是信息流机密性的一种度量。信道抑制是衡量信道输出中丢失了多少关于噪声信道输入的信息。程序抑制是衡量由于攻击者的影响和实现错误而导致程序正确输出的信息丢失量。节目和频道抑制没有有趣的保密双重性。作为一个案例研究,研究了完整性、机密性和数据库隐私之间的定量关系。 引用于5文件 MSC公司: 68页30 编码和信息理论(压缩、压缩、通信模型、编码方案等)(计算机科学方面) 68号30 软件工程的数学方面(规范、验证、度量、需求等) 第68页,共15页 数据库理论 软件:佩尔 PDF格式BibTeX公司 XML格式引用 \textit{M.R.克拉克森}和\textit{F.B.施奈德},数学。结构。计算。科学。25,第2号,207--258(2015;Zbl 1361.68080) 全文: 内政部 参考文献: [1] 《计算机安全杂志》16页531页–(2008年)·Zbl 05515518号 ·doi:10.3233/JCS-2008-0333 [2] DOI:10.1016/S0167-6423(99)00024-6·Zbl 0954.68052号 ·doi:10.1016/S0167-6423(99)00024-6 [3] 内政部:10.1109/69.971193·Zbl 05109743号 ·数字对象标识代码:10.1109/69.971193 [4] 内政部:10.1016/j.ic.2007.07.003·Zbl 1147.68394号 ·doi:10.1016/j.ic.2007.07.0003 [5] DOI:10.1023/A:1011553200337·Zbl 0967.68039号 ·doi:10.1023/A:1011553200337 [6] 内政部:10.1145/596980.596983·Zbl 05459321号 ·doi:10.1145/596980.596983 [7] 编码基础(1991) [8] 密码学和数据安全(1982)·Zbl 0573.68001号 [9] Perl编程(1996)·Zbl 0863.68026号 [10] 信息论要素(1991)·兹比尔0762.94001 [11] 内政部:10.1145/356909.356913·数字对象标识代码:10.1145/356909.356913 [12] 《计算机安全杂志》第7卷第231页–(1999年)·Zbl 05430402号 ·doi:10.3233/JCS-1999-72-305 [13] 《计算机安全杂志》第17期第655页(2009年)·Zbl 05742040号 ·doi:10.3233/JCS-2009-0353 [14] 内政部:10.1142/S0218488502001648·Zbl 1085.68589号 ·doi:10.1142/S0218488502001648 [15] 内政部:10.1142/S021848850200165X·Zbl 1084.68537号 ·doi:10.1142/S021848850200165X [16] 《计算机安全杂志》第15页第321页–(2007年)·Zbl 05430439号 ·doi:10.3233/JCS-2007-15302 [17] 内政部:10.1007/3-540-45309-1_6·doi:10.1007/3-540-45309-16 [18] Springer计算机科学课堂讲稿190 pp 19–(1985) [19] DOI:10.1016/S0933-3657(98)00056-6·Zbl 05390997号 ·doi:10.1016/S0933-3657(98)00056-6 [20] 关于不确定性的推理(2003)·Zbl 1090.68105号 [21] 《面临风险的计算机:信息时代的安全计算》(1991) [22] ACM计算调查42第1页–(2010年) [23] 内政部:10.1109/32.481534·doi:10.1009/32.481534 [24] 《逻辑与计算杂志》第18页第181页–(2005) [25] DOI:10.1016/j.entcs.2004.01.018·doi:10.1016/j.entcs.2004.01.018 [26] 数字对象标识码:10.1002/j.1538-7305.1948.tb01338.x·Zbl 1154.94303号 ·doi:10.1002/j.1538-7305.1948.tb01338.x [27] DOI:10.1016/S1571-0661(05)00291-4·doi:10.1016/S1571-0661(05)00291-4 [28] 内政部:10.1016/0022-0000(81)90036-2·Zbl 0476.68019号 ·doi:10.1016/0022-0000(81)90036-2 [29] 数学证据理论(1976)·Zbl 0359.62002号 [30] 科学19(1892) [31] 内政部:10.1145/353323.353382·Zbl 01935075号 ·数字对象标识代码:10.1145/353323.353382 [32] 基础信息论(1979)·Zbl 0453.94005号 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。