中文会议： 2008年全国理论计算机科学学术年会论文集

会议日期： 2008-09-19

会议地点： 西安

主办单位： 中国计算机学会

作　　者： ; ; ;

机构地区： 华南理工大学软件学院

出　　处： 《2008年全国理论计算机科学学术年会》

摘　　要： 安全体系结构集成了软件体系结构与信息安全两大领域的研究,基于进程代数的语言适合描述基于并发交互构件的软件体系结构的一系列重要性质.使用基于进程代数的描述语言对结构中各组成元素和整体拓扑构形分别建模,形成安全的软件体系结构.

关 键 词： 进程代数 软件体系结构 安全模型 信息安全

领　　域： [自动化与计算机技术]