Minix3访问控制的系统调用的CPN建模与测试

• 作者: 岳婧媛 庞滨 李华 贺楠
• 来源期刊: 小型微型计算机系统
• 学科: 工学
• 关键词: 微内核 系统调用 访问控制 测试
• 年，卷（期）: 2013,（12）
• 所属期刊栏目: 计算机体系结构与其它
• 页码范围: 2828-2832
• 页数: 5页
• 分类号: TP391
• 字数: 5657字
• 语种: 中文

摘要

系统调用是操作系统提供给用户的编程接口之一,用户可以通过系统调用完成所需的功能操作,但是也可以通过系统调用的漏洞进行破坏,因此对于安全相关的系统调用测试很重要,其中与安全访问策略相关的系统调用尤为重要,直接关系到资源的控制权力.本文针对微内核操作系统Minix 3的安全访问策略,分析了与安全密切相关的典型系统调用,并利用CPN建立了相应的模型,之后对Minix 3进行了访问控制测试,根据已经建立好的CPN模型来制定访问控制规则,采用变异测试保证其测试质量,并在实际的操作系统上进行编程测试,给出了实验结果.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李华	内蒙古大学计算机学院	70	183	7.0	9.0
5	岳婧媛	内蒙古大学计算机学院	3	5	1.0	2.0
6	贺楠	内蒙古大学计算机学院	3	8	1.0	2.0
7	庞滨	内蒙古大学计算机学院	9	48	3.0	6.0