基于无干扰理论的构件系统安全 |
| |
引用本文: | 徐明迪,靳朝阳,崔峰,张帆.基于无干扰理论的构件系统安全[J].山东大学学报(理学版),2020,55(3):35-42. |
| |
作者姓名: | 徐明迪 靳朝阳 崔峰 张帆 |
| |
作者单位: | 武汉数字工程研究所,湖北 武汉 430205;武汉轻工大学数学与计算机学院,湖北 武汉 430023 |
| |
摘 要: | 研究一种构件系统中多安全等级的信息流无干扰问题。在现有接口结构的基础上,使用安全进程代数描述构件系统动态行为语法和语义来构建接口自动化计算模型。研究基于互模拟的无干扰属性,构造适用于构件系统的接口安全无干扰性质SIA_NI,并证明系统在添加、删除、组合算子等复杂操作下依然满足此安全性。最后举例分析了此无干扰属性在构件化系统中的具体应用,并使用CoPS工具自动检查多安全等级构件系统的安全性,验证接口安全无干扰性质的正确性。
|
关 键 词: | 信息流安全 无干扰 接口安全 |
本文献已被 CNKI 万方数据 等数据库收录! |
|