Title :
Strict Integrity Policy of Biba Model with Dynamic Characteristics and its Correctness
Author_Institution :
Sch. of Comput. Sci. & Technol., Donghua Univ., Shanghai, China
Abstract :
Strict Integrity Policy (SIP) of Biba model can maintain the integrity of data in computer systems, but it might deny some non-malicious access requests of subjects and hence decreases the compatibility of applications. An improved SIP with dynamic characteristics is presented, which can increase the compatibility of the software while keeping the integrity as well as SIP can. And the proof is also given, which shows that the improved SIP is secure.
Keywords :
authorisation; data integrity; program verification; Biba model; data integrity; dynamic characteristics; model correctness; security model; software compatibility; strict integrity policy; Application software; Computational intelligence; Computer science; Computer security; Data security; Electronic mail; History; Mathematical model; Protection; Writing; Biba model; Strict Integrity Policy; compatibility; integrity;
Conference_Titel :
Computational Intelligence and Security, 2009. CIS '09. International Conference on
Conference_Location :
Beijing
Print_ISBN :
978-1-4244-5411-2
DOI :
10.1109/CIS.2009.58
