以格理论为基础的多级信息流安全模型:军用安全模型、BLP(Bell-LaPadula)模型和Biba模型。 军用安全模型 原则：最小特权和知其所需 最小特权：仅被赋予完成任务所需的最小权限 知其所需：为完成任务而必须知道的最少信息 可利用两个格的乘积来描述： 一个格由绝密、机密、秘密和无密四个信息安全类组成 另一个格由所有信息集合的子集组成 在乘积格中用（R,C）表示，R表示权限，C表示信息范围 假定两个安全类分别为（R1，C1）, （R2，C2） 则 （1）（R1，C1）