A new MLS mandatory policy combining secrecy and integrity implemented in highly classified secure level OS

This paper shows a prototype of new multi-level mandatory security model combining both secrecy and integrity. It adopts the BLP model (Bell and LaPadula's security model) as well as the BIBA model (Biba's integrity model). To do this, it relies on three key points: separation of category, additional restriction of integrity low water mark policy and new setting rules of integrity level. This model is designed to satisfy the acquirements of the highly classified secure operating system.