Research on Quantitative Evaluation for Integrity

摘要：

Integrity is one of essential properties of information security. It is necessary to analyze integrity of system quantitatively in order to protect the system security. For the purpose, we present formal definitions of integrity based on probabilistic computation tree logic (PCTL) and quantitative evaluation model of integrity. In the model, we model interoperations of system and environment by probabilistic automata and evaluate integrity quantitatively by probabilistic model checking algorithm. Analysis results show that the formal description of integrity is of great significance and evaluation results are different with different integrity goals even for the same system.

关键词： integrity evaluation model formal definition

作者: Lihua Yin Yunchuan Guo

作者单位: Institute of Computing Technology,Chinese Academy of Sciences,Beijing,China Computer Network and Inf Graduate University of Chinese Academy of Sciences,Beijing,China

会议类型: 国际会议

会议名称: The Fifth International Conference on Information Assurance and Security(第五届信息保障与安全国际会议)

会议地点: 西安

会议语种:英文

页码: 689-692

在线出版日期: 2009-08-18（万方平台首次上网日期，不代表论文的发表时间）