王瑞云

作品数：2被引量：2H指数：1
导出分析报告
供职机构：中国人民解放军信息工程大学更多>>
发文主题：安全网关信息流格模型马尔科夫链无干扰更多>>
发文领域：自动化与计算机技术交通运输工程机械工程更多>>
发文期刊：《计算机科学》更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
信息流格模型的非法流分析被引量：2
《计算机科学》2019年第2期139-144,共6页王雪健 赵国磊 常朝稳 王瑞云 
面向用户的可信云计算环境安全研究基金(61572517)资助
随着互联网的发展以及网络空间地位的上升,信息的重要性与日俱增。为确保信息安全,对非法信息流的控制显得尤为重要。文中分析了信息流格模型中信息流动的安全性,为更好地对模型内部的信息流进行分类,首先,对信息流格模型进行线性化分析...
关键词：信息流 马尔科夫链 SPA 隐通道 无干扰性 
典型安全网关的形式化设计与证明
《计算机科学》2017年第9期142-147,共6页王瑞云 赵国磊 常朝稳 王雪健 
面向用户的可信云计算环境安全研究(61572517)资助
传统上依靠经验设计的安全网关侧重于功能实现,缺少严格的安全模型。对此,针对一种典型安全网关,首先根据其安全需求给出相应的安全策略,然后利用BLP模型对给出的安全策略进行形式化建模并对安全模型的内部一致性进行证明,最后对安全网...
关键词：典型安全网关 形式化设计 BLP模型 功能规约 一致性验证 Isabelle/HOL 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部