欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
分析了当前Clark-Wilson完整性模型实现机制的不足，提出了一种基于TE实现Clark-Wilson模型的方法．首先讨论了TE对Clark-Wilson模型的支持能力，然后给出了用TE实现Clark-Wilson模型的配置规则和约束．在实现中，扩展了模型的（userid，TP，list of CDIs）三元组，引入了角色层，以更实用的方式实现了职责隔离．同时，实现机制实现了对TP的保护，有效地保障了TP功能的正确性，提高了系统正确控制TP操作的可信度，减少了对Clark-Wilson模型验证规则的依赖．
英文摘要：
This paper analyzes the limitations of cunent implementation technologies to Clark-Wilson integrity model,and presents an approach to enforcing Clark-Wilson model based on Type Enforcement. Firstly, the advantages of this approach are dis- cussed.Secondly, the configuration rules and constraints that implement Clark-Wilson model based on TE are given. The triple （userid,TP,list of CDIs） of Clark-Wilson model is extended and replaced by the quarter-tuple （ userid, role, TP, list of CDIs）, which implement the separation of duty principle more practically. In addition, the pavtection of TP is covered by the TE, which en- sues the correct functionality of TP, enhances the degree of confidence that TP function conectly,and releases the dependency on the certification procedure.
同期刊论文项目
同项目期刊论文
期刊信息
位置：