论文部分内容阅读
针对简单结合BLP模型和Biba模型导致系统不具可用性的问题，提出了一种基于多级安全策略的保密性和完整性统一模型．以保密性和完整性作为安全模型的2个维度将主体的安全标识扩充为分离的读写权限区间，根据客体的安全标识和主体访问的历史过程，通过一定的安全转换规则动态调节主体的访问范围，实现BLP模型和Biba模型的有机结合，不仅保证了系统的保密性和完整性，而且使系统具有相当的灵活性和实用性．形式化描述了模型，并对模型的安全性进行相应的分析和证明．通过实例说明了模型的有效性和可用性．