Research on Quantitative Evaluation for Integrity

被引：0
|
作者：
Yin, Lihua [1 ,2 ]
Guo, Yunchuan [3 ]
机构：
[1] Chinese Acad Sci, Inst Comp Technol, Beijing, Peoples R China
[2] Harbin Inst Technol, Comp Network & Informat Secur Res Ctr, Harbin, Peoples R China
[3] Grad Univ Chinese Acad Sci, Beijing, Peoples R China
来源：
FIFTH INTERNATIONAL CONFERENCE ON INFORMATION ASSURANCE AND SECURITY, VOL 2, PROCEEDINGS | 2009年
基金：
中国博士后科学基金; 国家高技术研究发展计划(863计划);
关键词：
integrity; evaluation model; formal definition;
D O I：
10.1109/IAS.2009.105
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
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.
引用
收藏
页码：689 / +
页数：2
相关论文
共 50 条
  • [1] Quantitative evaluation of signal integrity for magnetocardiography
    Zhang, Shulin
    Wang, Yongliang
    Wang, Huiwu
    Jiang, Shiqin
    Xie, Xiaoming
    PHYSICS IN MEDICINE AND BIOLOGY, 2009, 54 (15): : 4793 - 4802
  • [2] CONDUCTING EVALUATION RESEARCH - INTEGRITY INTACT
    BOGDAN, R
    SOCIOLOGICAL FOCUS, 1976, 9 (01) : 63 - 72
  • [3] Quantitative evaluation of integrity of dopaminergic nerve terminals in movement disorders
    Lee, DS
    Kim, KM
    Jeon, BS
    Chang, YS
    Jeong, JM
    Chung, JK
    Lee, MC
    JOURNAL OF NEUROCHEMISTRY, 1998, 70 : S53 - S53
  • [4] Evaluation of the research norms of scientists and administrators responsible for academic research integrity
    Korenman, SG
    Berk, R
    Wenger, NS
    Lew, V
    JAMA-JOURNAL OF THE AMERICAN MEDICAL ASSOCIATION, 1998, 279 (01): : 41 - 47
  • [5] Research on Government Integrity Evaluation Based on Big Data
    Yang, Ping
    Xia, Huanhuan
    Liu, Wangyang
    Li, Zesong
    2019 2ND INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND BIG DATA (ICAIBD 2019), 2019, : 28 - 35
  • [6] Research on the Integrity Evaluation Technology for Urban Gas Pipeline
    Bin Ma
    Xuqing Ma
    Jian Shuai
    Yan Li
    Journal of Failure Analysis and Prevention, 2020, 20 : 1007 - 1018
  • [7] Research on the Integrity Evaluation Technology for Urban Gas Pipeline
    Ma, Bin
    Ma, Xuqing
    Shuai, Jian
    Li, Yan
    JOURNAL OF FAILURE ANALYSIS AND PREVENTION, 2020, 20 (03) : 1007 - 1018
  • [8] Research on the Quantitative Evaluation of Government Website
    Li, Changling
    Fu, Xinjin
    INFORMATION SYSTEMS IN THE CHANGING ERA: THEORY AND PRACTICE, 2009, : 543 - 547
  • [9] Research on quantitative evaluation of infrared thermography
    Tian, Yupeng
    Zhou, Keyin
    Liang, Hua
    Liang, Bin
    Yang, Ruyi
    Yu, Shenglin
    Yi Qi Yi Biao Xue Bao/Chinese Journal of Scientific Instrument, 2008, 29 (11): : 2413 - 2418
  • [10] Research on the Integrity Evaluation System of Engineering Consulting Enterprises in China
    Guo, Dayu
    Liao, Qinming
    PROCEEDINGS OF 2012 INTERNATIONAL CONFERENCE ON CONSTRUCTION & REAL ESTATE MANAGEMENT, VOLS 1 AND 2, 2012, : 612 - 616
12345