J4 ›› 2008, Vol. 30 ›› Issue (11): 111-114.
• 论文 • 上一篇 下一篇
杨捷[1] 毋国庆[2] 齐德昱[1]
出版日期:
发布日期:
Online:
Published:
摘要：
安全体系结构集成了软件体系结构与信息安全两大领域的研究，基于进程代数的语言适合描述基于并发交互构件的软件体系结构的一系列重要性质。使用基于进程代数的描述语言对结构中各组成元素和整体拓扑构形分别建模，形成安全的软件体系结构。
关键词: 进程代数 软件体系结构 安全模型
Abstract:
This paper introduces the process algebra language with its powerful standard model-checking tools for security software architectures, which deals with incompatibility between two components due to a single interaction or the combination of several interactions and with the lack of interoperability a mong a set of components through architectural compatibility check and interoperability check relying on standard observational equivalences.
Key words: process algebra, software architecture, security model
杨捷[1] 毋国庆[2] 齐德昱[1]. 使用基于进程代数的方法建立软件体系结构的安全模型[J]. J4, 2008, 30(11): 111-114.
0 / / 推荐
导出引用管理器 EndNote|Ris|BibTeX
链接本文: http://joces.nudt.edu.cn/CN/
http://joces.nudt.edu.cn/CN/Y2008/V30/I11/111
