Formal analysis of power separation mechanism based on Biba model
LI Lin
LU Kai
GUO Qiang
CHEN Yonggang
FAN Xiubin
Keywords：information securitymandatory access controlBiba modelpower separation
Publication Date：2013-01-01
Online Publishing Date：2025-08-15(First online date of this platform, not the publication date of the document)
Pages：7( 1-7 )