咨询与建议

限定检索结果

文献类型

  • 1 篇 期刊文献
  • 1 篇 会议

馆藏范围

  • 2 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2 篇 工学
    • 1 篇 仪器科学与技术
    • 1 篇 计算机科学与技术...
    • 1 篇 网络空间安全

主题

  • 2 篇 非干扰模型
  • 1 篇 安全进程代数
  • 1 篇 嗅探技术
  • 1 篇 网页浏览
  • 1 篇 历史记录
  • 1 篇 分离模型
  • 1 篇 非推断模型
  • 1 篇 信息流安全模型

机构

  • 1 篇 中国信息安全测评...
  • 1 篇 滁州学院
  • 1 篇 中国人民大学
  • 1 篇 华东理工大学

作者

  • 1 篇 董国伟
  • 1 篇 王茜茜
  • 1 篇 梁彬
  • 1 篇 虞慧群
  • 1 篇 王精明

语言

  • 2 篇 中文
检索条件"主题词=非干扰模型"
2 条 记 录,以下是1-10 订阅
排序:
基于非干扰模型的浏览历史嗅探网页的检测
基于非干扰模型的浏览历史嗅探网页的检测
收藏 引用
第五届信息安全漏洞分析与风险评估大会
作者: 王茜茜 董国伟 梁彬 中国人民大学信息学院 北京100872 中国信息安全测评中心 北京100085
在本文中,全面分析现有的浏览历史嗅探技术,发掘具有嗅探行为网页的共有特征.根据这些特征,提出了一种基于非干扰模型的浏览历史嗅探网页检测方法.该方法中,待测网页被建模为拥有不同安全级别(高和低)的输入和输出的系统.检测原理是:浏... 详细信息
来源: 评论
基于安全进程代数的信息流安全模型的分析与验证
收藏 引用
华东理工大学学报(自然科学版) 2012年 第1期38卷 102-106,115页
作者: 王精明 虞慧群 华东理工大学计算机科学与工程系 上海200237 滁州学院计算机科学与技术系 安徽滁州239012
基于信息流的安全模型相对于基于访问控制的安全模型就刻画安全的性质而言更为本质。在安全进程代数统一框架下描述并形式化定义6种信息流安全模型,并且基于迹语义分析其逻辑蕴含关系,进一步对基于安全进程代数的6种信息流安全模型给出... 详细信息
来源: 评论