基于进程代数的软件体系结构安全模型的建立方法

摘要

本发明公开了一种基于进程代数的软件体系结构安全模型的建立方法，包括：1）创建软件体系结构的流图；2）在软件体系结构的流图基础上，采用进程代数作为形式化描述语言对各个软件体系结构要素进行定义；3）对被定义的软件体系结构进行安全性检查，验证检查结果或进行修改，得到软件体系结构安全模型。本发明所建立的安全模型在一个形式化的框架内对软件体系结构的安全性进行描述、分析和验证，可以保证和维持基于构件的一类软件体系结构开发的一致性和完整性，因此使用此发明研究安全组件以及其交互形成的软件体系结构的安全特性具有重要意义和实用价值。

主权项

基于进程代数的软件体系结构安全模型的建立方法，其特征在于包括以下步骤： 1）创建软件体系结构的流图；其中，方框表示为体系结构元素实例AEIs，黑圈表示为局部交互，白框表示为体系结构的交互，箭头表示为附件； 2）在软件体系结构的流图基础上，采用进程代数作为形式化描述语言对各个软件体系结构要素进行定义； 3）对被定义的软件体系结构进行安全性检查，验证检查结果或进行修改，得到软件体系结构安全模型。