摘要： Clark-Wilson完整性策略有效地强调了商务信息系统安全的各个主要方面,但是由于该完整性策略的内在复杂性,使得有关它的形式化工作至今仍未完成,因此造成了Clark-Wilson完整性策略难以被精确理解和有效使用的局面。该文通过把Clark-Wilson完整性策略改写为具有形式化表现形式的关系模式,有效地解决了非形式化的策略表示所带来的上述问题。

关键词: Clark-Wilson完整性策略, 完整性, 关系模式, 参照监视器

Abstract: Clark-Wilson integrity policy stresses all main aspects of the commercial information system security. Since the nature of Clark-Wilsonintegrity policy is very complex, how to get its formal description is still an open question, and it is difficult for this policy to be precisely understoodand effectively used. Therefore, Clark-Wilson integrity policy is rewritten as a formal relation pattern, which can overcome the above difficulties.

中图分类号: 

• TP309