分区操作系统内核中隔离性质的研究

• 作者: 王庆生 王生原 闫鑫
• 来源期刊: 太原理工大学学报
• 关键词: 安全关键系统 操作系统内核 可信性 分区 隔离性质 Z/Z++
• 年，卷（期）: 2014,（4）
• 所属期刊栏目: 计算机与信息工程
• 页码范围: 515-521
• 页数: 7页
• 分类号: TP316
• 语种: 中文

摘要

为了达到经过形式化验证分区操作系统内核隔离性质的目标,采取形式化方法描述系统的顶层规范设计中描述隔离性质需求,通过将航空电子应用软件标准接口ARINC653与GWV定理相结合,实现了对分区操作系统需要满足的隔离性质的抽象描述,并通过使用类Z/Z++作为形式化描述语言.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王生原	清华大学计算机科学与技术系	33	235	8.0	14.0
2	王庆生	太原理工大学计算机学院	49	223	8.0	12.0
3	闫鑫	太原理工大学计算机学院	2	3	1.0	1.0