DocumentCode
510069
Title
Strict Integrity Policy of Biba Model with Dynamic Characteristics and its Correctness
Author
Zhang, Mingxi
Author_Institution
Sch. of Comput. Sci. & Technol., Donghua Univ., Shanghai, China
Volume
1
fYear
2009
fDate
11-14 Dec. 2009
Firstpage
521
Lastpage
525
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computational Intelligence and Security, 2009. CIS '09. International Conference on
Conference_Location
Beijing
Print_ISBN
978-1-4244-5411-2
Type
conf
DOI
10.1109/CIS.2009.58
Filename
5375921
Link To Document