Title :
Research on Quantitative Evaluation for Integrity
Author :
Yin, Lihua ; Guo, Yunchuan
Author_Institution :
Inst. of Comput. Technol., Chinese Acad. of Sci., Beijing, China
Abstract :
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.
Keywords :
automata theory; data integrity; formal logic; probability; security of data; trees (mathematics); PCTL; information security; integrity formal definition; probabilistic automata; probabilistic computation tree logic; probabilistic model checking algorithm; system interoperation model; system quantitative evaluation model; system security protection; Automata; Computer networks; Computer security; Hardware; Information security; Information technology; NIST; Probabilistic logic; Protection; Software quality; evaluation model; formal definition; integrity;
Conference_Titel :
Information Assurance and Security, 2009. IAS '09. Fifth International Conference on
Conference_Location :
Xian
Print_ISBN :
978-0-7695-3744-3
DOI :
10.1109/IAS.2009.105
