咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 4 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 4 篇 工学
    • 3 篇 计算机科学与技术...
    • 3 篇 网络空间安全
  • 1 篇 管理学
    • 1 篇 管理科学与工程(可...

主题

  • 4 篇 可信信道
  • 2 篇 可信计算
  • 2 篇 远程证明
  • 2 篇 ssh
  • 1 篇 安全传输层(tls)协...
  • 1 篇 nusmv
  • 1 篇 安全评估
  • 1 篇 tcg远程证明
  • 1 篇 可信平台模块
  • 1 篇 重放攻击
  • 1 篇 模型检测
  • 1 篇 形式化验证
  • 1 篇 cord演算

机构

  • 2 篇 北京交通大学
  • 1 篇 南京大学
  • 1 篇 中国电子技术标准...
  • 1 篇 中国科学院信息工...

作者

  • 1 篇 李沁
  • 1 篇 陈路
  • 1 篇 秦英
  • 1 篇 左向晖
  • 1 篇 徐震
  • 1 篇 范博
  • 1 篇 常晓林
  • 1 篇 曾庆凯
  • 1 篇 于爱民
  • 1 篇 黎琳
  • 1 篇 杨润垲
  • 1 篇 邢彬

语言

  • 4 篇 中文
检索条件"主题词=可信信道"
共 4 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
一种基于协议分析的可信信道评估方法
收藏
分享
引用
计算机学报 2006年 第8期29卷 1329-1336页
作者： 李沁 曾庆凯 南京大学计算机软件新技术国家重点实验室 南京大学计算机科学与技术系南京210093
目前,对可信信道的评估大多局限于经验的评测,缺乏理论支持,存在着极大的不确定性和不完备性.对此基于通用安全标准CC(CommonCriteria)给出了具有一定通用性和可重用性的可信信道评估框架,在此评估框架中应用了形式化的验证方法,提出了... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
SSH可信信道安全属性的形式化验证
收藏
分享
引用
北京交通大学学报 2012年 第2期36卷 8-15页
作者： 常晓林 秦英 邢彬 左向晖 北京交通大学计算机与信息技术学院 北京100044
可信信道是一个与终端的系统平台状态信息安全绑定的安全信道.现有的关于可信信道的研究工作都没有从理论上对所设计的可信信道的安全属性进行分析.本文首先提出一个基于SSH安全信道协议的可信信道协议,然后利用形式化模型检测器NuSMV... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于SSH的可信信道建立方法研究
收藏
分享
引用
信息网络安全 2018年 第1期 45-51页
作者： 范博 杨润垲 黎琳 中国电子技术标准化研究院 北京100007 北京交通大学计算机与信息技术学院 北京100044
现有安全信道技术与TCG远程证明技术集成后,其安全性得到提高。文章提出了一种构建基于SSH的可信信道的方法,称为"可信SSH"。可信SSH从安全的角度出发,不仅实现了平台状态信息与SSH安全信道的真实绑定,而且保护了平台状态信息的隐私。... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
可信增强TLS协议的设计与实现
收藏
分享
引用
华中科技大学学报（自然科学版） 2016年 第3期44卷 44-48页
作者： 徐震 陈路 于爱民 中国科学院信息工程研究所 北京100093
针对当前应用最为广泛的安全传输层(TLS)协议不能解决通信终端被攻击而造成的信息泄露问题,以及在TLS协议中引入对通信终端的完整性证明带来的安全性和兼容性问题,提出了与标准TLS协议兼容,并且支持对通信双方进行完整性证明的可信增强... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件