Title :
Availability Analysis Method of Multilevel Security Models with Credibility Characteristics
Author :
Tan, Zhiyong ; Liu, Duo ; Lin, Jie ; Dai, Yiqi
Author_Institution :
Dept. of Comput. Sci. & Technol., Tsinghua Univ., Beijing
Abstract :
A multilevel security (MLS) model with credibility characteristics, the credibility-based Bell-LaPadula (CBLP) security model, has been proposed to resolve the problem of trusted subjectspsila hidden security flaw and poor system usability in present MLS systems in the previous paper of the authors. A sampling statistics method is proposed in this paper to evaluate the availability of the CBLP model by obtaining the variation curve of the subjectspsila credibility and the rejection ratio of access operations. The validity of this method was achieved according to the strong law of large numbers and the central limit theorem. The sampling statistics results of the CBLP model in specific scenarios showed that it is highly consistent with that of the formal analysis method and has lower computational complexity.
Keywords :
sampling methods; security of data; availability analysis method; central limit theorem; computational complexity; credibility characteristics; credibility-based Bell-LaPadula security model; formal analysis method; multilevel security model; statistical sampling method; Availability; Capability maturity model; Computer networks; Computer security; Information security; Multilevel systems; Sampling methods; Statistics; Usability; Wireless communication; BLP (Bell-LaPadula) security model; access control; availability analysis; credibility; multilevel security;
Conference_Titel :
Networks Security, Wireless Communications and Trusted Computing, 2009. NSWCTC '09. International Conference on
Conference_Location :
Wuhan, Hubei
Print_ISBN :
978-1-4244-4223-2
DOI :
10.1109/NSWCTC.2009.194