一种动态约束的Clark-Wilson模型  

A Dynamic Constrained Clark-Wilson Formal Model

作　　者：丁剑锋[1] 王小明[1] 闵祥参[1] 武海鹰[1] 

机构地区：[1]陕西师范大学计算机科学学院

出　　处：《电子科技》2006年第4期20-23,27,共5页Electronic Science and Technology

摘　　要：Clark-Wilson模型是一种广泛应用于商务领域的信息安全模型,能够较好满足企业信息系统所追求的完整性安全需求,它的完整性保证在早期是通过遵循一些静态的授权约束来实现的。这种方式随着现代商务领域业务多方位多层次发展,越来越显现出其局限性。该文提出一种支持动态约束的Clark-Wilson模型,并进一步对该模型的良构事务和职责分离规则进行了描述。Clark-Wilson model is an information secure model widely applied in commerce, It can meet the requirement of integrity which enterprises＇ information systems are pursuing. But the integrity was guaranteed by a series of static constraints. As modem commerce develops in all dimensions, the static constraints have more and more restrictions. In this paper a dynamic constrained Clark-Wilson model is proposed and the principle of well-formed transaction and the principle of duty separation are described.

关 键 词：CLARK-WILSON模型 完整性 静态约束 动态约束 

分 类 号：TP393.08[自动化与计算机技术—计算机应用技术]