%0 Journal Article
%A YAN Yawei
%A ZHOU Yanzhou
%A HUI Wentao
%T Research on application of model checking in integrity formal verification
%D 2017
%R 10.3778/j.issn.1002-8331.1507-0081
%J Computer Engineering and Applications
%P 59-63
%V 53
%N 4
%X For the integration of information systems, the security of data is very important. Data integrity is one of the most important feature of data security. To ensure the security of information data increasing system reliability, it needs to be analyzed and verified for the integrity of data. To solve the quantitative assessment of data integrity, use probability calculations tree logic to describe formally definition of integrity and establishment Markov Decision Process evaluation model, then use probabilistic model check algorithm to evaluate integrity realizing quantitative verification of the integrity. Through applying the proposed evaluation model to interactive electronic manual system, quantitative calculate the integrity of the system model providing support for the integrity requirements of system development.
%U http://cea.ceaj.org/EN/10.3778/j.issn.1002-8331.1507-0081