摘要：分析了当前Clark-Wilson完整性模型实现机制的不足，提出了一种基于TE实现Clark-Wilson模型的方法．首先讨论了TE对Clark-Wilson模型的支持能力，然后给出了用TE实现Clark-Wilson模型的配置规则和约束．在实现中，扩展了模型的（userid，TP，list of CDIs）三元组，引入了角色层，以更实用的方式实现了职责隔离．同时，实现机制实现了对TP的保护，有效地保障了TP功能的正确性，提高了系统正确控制TP操作的可信度，减少了对Clark-Wilson模型验证规则的依赖．

关键词：完整性 te机制 职责隔离 

单位：中国科学院信息安全技术工程研究中心; 北京100080; 北京大学软件与微电子学院; 北京102600; 北京城市学院计算机实验教学中心; 北京100083