Indexed by：
Abstract：
针对可信应用环境的安全性验证问题,利用通信顺序进程描述系统应具有的无干扰属性,基于强制访问控制机制对系统中的软件包进行标记,并对系统应用流程建模.将该模型输入FDR2中进行实验,结果证明,系统应用在运行过程中达到安全可信状态,可以屏蔽环境中其他应用非预期的干扰.
Keyword：
Reprint Author's Address：
Email：
Source ：
计算机工程
ISSN： 1000-3428
Year： 2011
Issue： 23
Volume： 37
Page： 152-154
Cited Count：
WoS CC Cited Count： 0
SCOPUS Cited Count：
ESI Highly Cited Papers on the List： 0 Unfold All
WanFang Cited Count： 4
Chinese Cited Count：
30 Days PV： 13
Affiliated Colleges：
