云南高校图书馆联盟文献共享服务平台- 检索结果

检索结果分析

检索条件："关键词=位置互模拟 "

共条记录，以下是1-1

全选清除导出

视图：

排序：

显示条数：

基于Seal演算的分布式系统安全模型: 《计算机科学》2015年第7期178-181,共4页黄勇吴尽昭; 国家自然科学基金(11371003;11461006);广西自然科学基金(2011GXNSFA018154);广西高等学校优秀人才资助计划项目(桂教人[2011]40号);广西高校科学技术研究重点项目(2013ZD021);广西可信软件重点实验室开放课题(kx201122)资助; 针对目前分布式计算安全模型存在的不足,以能有效描述位置和移动性的形式化模型Seal演算为工具,将系统安全属性的刻画归结为系统进程在给定计算环境下的位置互模拟等价,提出一种无干扰安全模型,其可以方便地刻画不同的安全性质。为满足...; 关键词：分布式系统 SEAL演算位置互模拟安全模型

全选清除导出

共1页<1>