摘要
针对使用不同方式定量地刻画少量可信信息更改的可容忍性问题,通过实例分析比较香农熵、最小熵和信念等度量方式,提出一种能够适用于大多数攻击情形的度量方式.通过将程序建模为通信信道,根据Clarkson建立的信息流完整性模型,在攻击者对系统行为有额外认知的情况下,结合信念和最小熵讨论了完整性的两个重要特征——污染与信道抑制.结果显示当对手的信念与系统相容时可识别对手信念的准确性.
For the tolerated problem of different quantitatively characterized by the small tamper of the trusted information,by comparing Shannon entropy,the min-entropy and belief in a practical example,a measure that can be suitable for many attacked scenario was proposed.By modeling the programming as a communication channel,with the presence of the adversary′s extra knowledge,based on the model of information flow integrity defined by Clarkson,the belief min-entropy was used to quantify two important characterizations of the integrity,the contamination and channel suppression.The results indicated that when the adversary′s beliefs are compatible with the system,the levels of accuracy for adversary beliefs is identified.
作者
席政军
彭朝英
Xi Zhengjun;Peng Chaoying(College of Computer Science, Shaanxi Normal University, Xi'an 710062, China)
出处
《华中科技大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2017年第12期20-25,31,共7页
Journal of Huazhong University of Science and Technology(Natural Science Edition)
基金
国家自然科学基金资助项目(61671280
11531009)
陕西省创新人才推进计划(青年科技新星)资助项目(2017KJXX-92)
关键词
信息流
最小熵
信念
信息论
完整性
information flow
min-entropy
belief
information theory
integrity