Research on Quantitative Evaluation for Integrity

Author

Yin, Lihua ; Guo, Yunchuan

Author_Institution

Inst. of Comput. Technol., Chinese Acad. of Sci., Beijing, China

Volume

2

fYear

2009

fDate

18-20 Aug. 2009

Firstpage

689

Lastpage

692

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Information Assurance and Security, 2009. IAS '09. Fifth International Conference on

Conference_Location

Xian

Print_ISBN

978-0-7695-3744-3

Type

conf

DOI

10.1109/IAS.2009.105

Filename

5284215