%0 Journal Article
%T 基于进程代数的安全软件体系结构建模
%A 甘厚勇
%A 毋国庆
%A 胡涌涛
%J 计算机应用
%D 2005
%X ？分析了基于进程代数的软件体系结构模型的安全性，将相容性检查和互操作性检查从单个软件体系结构推广到不同风格的体系结构风格，扩展基于进程代数的软件体系结构描述语言，通过顺序进程代数项族和预定义的体系结构类型调用对软件体系结构安全建模。通过一个例子介绍了这种建模方法。
%K 进程代数
%K 软件体系结构描述语言
%K 弱互模拟等价
%K 体系结构风格
%U http://www.joca.cn/CN/abstract/abstract8421.shtml