%0 Journal Article %T 一种基于TE技术实现Clark-Wilson模型的方法 %A 何建波 %A 郭新 %A 卿斯汉 %J 电子学报 %P 216-223 %D 2008 %X 分析了当前Clark-Wilson完整性模型实现机制的不足,提出了一种基于TE实现Clark-Wilson模型的方法.首先讨论了TE对Clark-Wilson模型的支持能力,然后给出了用TE实现Clark-Wilson模型的配置规则和约束.在实现中,扩展了模型的(userid,TP,listofCDIs)三元组,引入了角色层,以更实用的方式实现了职责隔离.同时,实现机制实现了对TP的保护,有效地保障了TP功能的正确性,提高了系统正确控制TP操作的可信度,减少了对Clark-Wilson模型验证规则的依赖. %K Clark-Wilson模型 %K 完整性 %K TE机制 %K 职责隔离 %U http://www.ejournal.org.cn/CN/abstract/abstract484.shtml