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

摘要：

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

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

作者: 杨捷 毋国庆 齐德昱

作者单位: 华南理工大学软件学院,广东,广州,510006

会议类型: 国内会议

会议名称: 2008年全国理论计算机科学学术年会

会议地点: 西安

会议语种:中文

页码: 111-114

在线出版日期: 2008-09-19（万方平台首次上网日期，不代表论文的发表时间）