论文部分内容阅读
Clark—Wilson模型是一种广泛应用于商务领域的信息安全模型，能够较好满足企业信息系统所追求的完整性安全需求，它的完整性保证在早期是通过遵循一些静态的授权约束来实现的。这种方式随着现代商务领域业务多方位多层次发展，越采越显现出其局限性。该文提出一种支持动态约束的Clark—Wilson模型，并进一步对该模型的良构事务和职责分离规则进行了描述。