Measuring Information Integrity Using Min-entropy

PENG Chao-ying; XI Zheng-jun

doi:10.3969/j.issn.0372-2112.2018.08.004

您当前的位置：

首页 >

文章列表页 >

Measuring Information Integrity Using Min-entropy

更新时间：2025-07-16

- Measuring Information Integrity Using Min-entropy
- Acta Electronica Sinica Vol. 46, Issue 8, Pages: 1822-1828(2018)
- 作者机构：
  
  陕西师范大学计算机科学学院,陕西,西安,710062
- 作者简介：
- 基金信息：
  
  National Natural Science Foundation of China (No.61671280, No.11531009);Innovative Talent Introduction Project - Nova Program for Science and Technology of Shaanxi Province (No.2017KJXX-92);Outstanding Youth Academic Backbone Support Program of Shaanxi Normal University (No.16QNGG013);Fundamental Research Funds for the Central Universities (No.GK201502004)
- DOI：10.3969/j.issn.0372-2112.2018.08.004
  CLC： TP309
- Published Online：25 August 2018，
  
  Published：2018
- 稿件说明：
移动端阅览
PENG Chao-ying, XI Zheng-jun. Measuring Information Integrity Using Min-entropy[J]. Acta Electronica Sinica, 2018, 46(8): 1822-1828.
DOI：

PENG Chao-ying, XI Zheng-jun. Measuring Information Integrity Using Min-entropy[J]. Acta Electronica Sinica, 2018, 46(8): 1822-1828. DOI： 10.3969/j.issn.0372-2112.2018.08.004.

摘要

在实际计算机系统中可信信息不可避免地会被更改，因此有必要定量刻画信息的完整性，目的在于度量有多少的更改是可容忍的.本文针对攻击者能够一次最大可能更改可信信息的情况，结合信息流完整性模型，将程序建模为信道，使用最小熵定量描述信息完整性.首先刻画信息完整性中的污染和抑制两种情形.基于此，进一步给出污染和信道容量之间的关系；并讨论复合程序的完整性的问题.最后，分析讨论负信息流的情况.

Abstract

It is possible necessary in practice to accept some tampering of trusted information

this motivates the development of theories of quantitative information integrity aimed at showing that some tampering are small and therefore tolerable.In this paper

we focus on the threat model that an attack will modify the trusted information as much as possible in one try.Based on the information integrity model

we use the min-entropy to quantify the trusted information by modeling a program as a communication channel.We quantify the contamination and the channel suppression in information integrity.We then analyze the relationship between the contamination and the capacity of the channel

and consider the integrity in the cascade of the programs.Finally

we discuss the negative value case in quantitative information integrity.

关键词

Keywords

references

Views

353

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

The Authentication Protocol for Civil Navigation Message D2 of Beidou II Based on Identity Signature

Methods for Optimal Eliminating Cycles in Information Flow of Authorization Policies

An Approach to Enforcing Clark-Wilson Model Based on Type Enforcement

A Formal Commercial Secure Policy Model Based on Framework

Related Author

YANG Yi-ming

ZHANG Yun

WU Zhi-jun

GUO Li

YIN Li-hua

JIN Shu-yuan

DUAN Mi-yi

YANG Zhi

Related Institution

School of The Electronic Information and Automation, Civil Aviation University of China

National Engineering Laboratory for Information Security TechnologiesBeijing 100190China

Institute of Computing Technology, Chinese Academy of Sciences

Institute of Electronic Technology,Information Engineering University

Graduate School of Chinese Academy of Sciences

⁰