高级检索
检索提示：高级检索多个条件检索时是按照顺序运算的：如 A或B与C 即:(A或B)与C
[期刊论文]
可信应用环境的安全性验证方法
作者：
收录：
摘要：
针对可信应用环境的安全性验证问题,利用通信顺序进程描述系统应具有的无干扰属性,基于强制访问控制机制对系统中的软件包进行标记,并对系统应用流程建模.将该模型输入FDR2中进行实验,结果证明,系统应用在运行过程中达到安全可信状态,可以屏蔽环境中其他应用非预期的干扰.
关键词：
作者机构：
通讯作者信息：
电子邮件地址：
相关关键词：
相关文章：
2016，北京工业大学学报
2012，计算机科学
2011，计算机工程与应用
2008，计算机研究与发展
来源 ：
计算机工程
ISSN： 1000-3428
年份： 2011
期： 23
卷： 37
页码： 152-154
被引次数：
WoS核心集被引频次： 0
SCOPUS被引频次：
ESI高被引论文在榜： 0 展开所有
万方被引频次： 4
中文被引频次：
近30日浏览量： 3
归属院系：
全文获取
外部链接：
