安全策略和安全策略模型是开发安全产品和构建安全系统的基础和前提。基于Clark-Wilson完整性安全策略的商务安全策略是一种适用于商务环境的安全系统构建策略。和以机密性为特征的军事安全策略的研究深度和应用广度相比,以完整性为特征的商务安全策略的研究和应用都处于一个相对原始的阶段,这主要是由于对商务安全策略的应用场景和策略本身的认识不足所致,因此有必要对商务安全策略进行深入的研究。 商务安全策略研究的主要内容包括:安全策略制模和形式分析原理、商务安全策略框架模型研究以及形式分析。围绕着商务安全策略的制模和形式分析,本文取得了以下几个方面的成果: 第一:首次从安全策略应用场景的角度出发,把安全策略分为安全产品开发策略和安全系统构建策略,经研究发现策略应用场景是精确理解安全策略的一个关键因素,也是妨碍对以Clark-Wilson完整性安全策略为代表的商务安全策略进行制模和推广使用的主要原因之一。 第二:深入讨论了安全模型开发的方方面面,并且提出了一个实用的、易操作的、具有相当理论基础的安全策略制模方法。 第三:针对商务安全的本质就是对系统中的应用进行有效控制的指导思想,提出了一个商务安全策略的形式框架,首次完整地对Clark-Wilson完整性安全策略进行了形式制模,该框架具有扩展性好、兼容性高等方面的优势。 第四:提出了一个新颖的、可以依据系统所实现的策略进行安全监视的多策略安全监视框架。该框架可以很好地解决传统审计中的数据冗余过大和系统异常侦测时延过长的问题。 第五:针对当前形式开发中所存在的安全策略模型到安全功能规范之间的平滑过渡问题,本文直接把安全功能规范开发技术应用到安全策略模型的开发中,提出了开发安全策略形式规范的具体方法和步骤,并据此开发完成商务安全策略的Z形式规范。 第六:本文最后使用高级形式验证系统——Z/EVES对商务安全策略规范进行了形式分析和研究。在形式分析商务安全策略规范的基础上,对商务安全策