山东大学学报(理学版)

作者：徐明迪,靳朝阳,崔峰,张帆

单位：1.武汉数字工程研究所, 湖北 武汉 430205;2.武汉轻工大学数学与计算机学院, 湖北 武汉 430023

关键词：信息流安全,无干扰,接口安全,

基金：国家自然科学基金资助项目(61502438)

研究一种构件系统中多安全等级的信息流无干扰问题。在现有接口结构的基础上,使用安全进程代数描述构件系统动态行为语法和语义来构建接口自动化计算模型。研究基于互模拟的无干扰属性,构造适用于构件系统的接口安全无干扰性质SIA_NI,并证明系统在添加、删除、组合算子等复杂操作下依然满足此安全性。最后举例分析了此无干扰属性在构件化系统中的具体应用,并使用CoPS工具自动检查多安全等级构件系统的安全性,验证接口安全无干扰性质的正确性。

来源：2020年第3期

《山东大学学报(理学版)》期刊编辑部

查看山东大学学报(理学版)杂志2020年第3期