Finally,the model is defined with the Alloy formal language,and a method of expanding the Clark-Wilson model is also presented.

• 采用Alloy形式化语言来定义模型,并且给出描述扩展Clark-Wilson的方法。