期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
5
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于SSH的可信信道建立方法研究
被引量：
6
1
作者
范博
杨润垲
黎琳
《信息网络安全》
CSCD
北大核心
2018年第1期45-51,共7页
现有安全信道技术与TCG远程证明技术集成后,其安全性得到提高。文章提出了一种构建基于SSH的可信信道的方法,称为"可信SSH"。可信SSH从安全的角度出发,不仅实现了平台状态信息与SSH安全信道的真实绑定,而且保护了平台状态信...
现有安全信道技术与TCG远程证明技术集成后,其安全性得到提高。文章提出了一种构建基于SSH的可信信道的方法,称为"可信SSH"。可信SSH从安全的角度出发,不仅实现了平台状态信息与SSH安全信道的真实绑定,而且保护了平台状态信息的隐私。从功能角度看,可信SSH具有以下特点:证明灵活性、向后兼容、可扩展性,这些特性体现在SSH中使用的任何会话密钥交换算法都可以在可信 SSH中无缝使用。文章提供了可信SSH在open ssh的实现及其他功能评估。
展开更多
关键词
SSH
可信
计算
远程证明
可信
信道
下载PDF
职称材料
可信增强TLS协议的设计与实现
被引量：
1
2
作者
徐震
陈路
于爱民
《华中科技大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
2016年第3期44-48,共5页
针对当前应用最为广泛的安全传输层(TLS)协议不能解决通信终端被攻击而造成的信息泄露问题,以及在TLS协议中引入对通信终端的完整性证明带来的安全性和兼容性问题,提出了与标准TLS协议兼容,并且支持对通信双方进行完整性证明的可信增强...
针对当前应用最为广泛的安全传输层(TLS)协议不能解决通信终端被攻击而造成的信息泄露问题,以及在TLS协议中引入对通信终端的完整性证明带来的安全性和兼容性问题,提出了与标准TLS协议兼容,并且支持对通信双方进行完整性证明的可信增强TLS协议的设计与实现方案.该方案完成了通信双方的完整性信息的交换和验证,从而解决了因通信终端的完整性遭到破坏而造成的信息泄露问题.此外,提出了TLS协议中通信终端的身份与完整性信息的绑定方案,从而有效避免了重放攻击.最后对协议的安全性进行了分析证明,并对协议实现情况进行了测试,测试结果表明可信增强TLS协议与标准TLS协议兼容且具有良好的性能.
展开更多
关键词
可信
计算
安全传输层(TLS)协议
远程证明
可信
平台模块
重放攻击
可信
信道
原文传递
SSH可信信道安全属性的形式化验证
被引量：
1
3
作者
常晓林
秦英
+1 位作者
邢彬
左向晖
《北京交通大学学报》
CSCD
北大核心
2012年第2期8-15,共8页
可信信道是一个与终端的系统平台状态信息安全绑定的安全信道.现有的关于可信信道的研究工作都没有从理论上对所设计的可信信道的安全属性进行分析.本文首先提出一个基于SSH安全信道协议的可信信道协议,然后利用形式化模型检测器NuSMV...
可信信道是一个与终端的系统平台状态信息安全绑定的安全信道.现有的关于可信信道的研究工作都没有从理论上对所设计的可信信道的安全属性进行分析.本文首先提出一个基于SSH安全信道协议的可信信道协议,然后利用形式化模型检测器NuSMV分析该协议的安全属性,最后基于检测器执行轨迹所构成的反例,提出了一个强壮的SSH可信信道协议.本文提出的建模和验证方法具有通用性,可用于分析其他基于安全信道协议的可信信道协议的安全属性.
展开更多
关键词
SSH
TCG远程证明
可信
信道
模型检测
NUSMV
下载PDF
职称材料
可信的工业控制报文检测与推演技术研究
被引量：
1
4
作者
胡斌
《网络安全和信息化》
2020年第9期122-125,共4页
工业互联网的发展推动了工业自动化与信息化的深度融合,但传统网络世界的IT威胁也带入了OT环境,从而进一步影响到现实世界。传统工业采用网络访问控制技术难以解决这些安全隐患,迫切需要一种在IT和OT环境之间建立一条可信信道的技术,以...
工业互联网的发展推动了工业自动化与信息化的深度融合,但传统网络世界的IT威胁也带入了OT环境,从而进一步影响到现实世界。传统工业采用网络访问控制技术难以解决这些安全隐患,迫切需要一种在IT和OT环境之间建立一条可信信道的技术,以阻断虚拟网络空间对现实世界的影响。
展开更多
关键词
网络访问控制
报文检测
虚拟网络空间
自动化与信息化
工业互联网
可信
信道
深度融合
安全隐患
下载PDF
职称材料
一种基于协议分析的可信信道评估方法
被引量：
1
5
作者
李沁
曾庆凯
《计算机学报》
EI
CSCD
北大核心
2006年第8期1329-1336,共8页
目前,对可信信道的评估大多局限于经验的评测,缺乏理论支持,存在着极大的不确定性和不完备性.对此基于通用安全标准CC(CommonCriteria)给出了具有一定通用性和可重用性的可信信道评估框架,在此评估框架中应用了形式化的验证方法,提出了...
目前,对可信信道的评估大多局限于经验的评测,缺乏理论支持,存在着极大的不确定性和不完备性.对此基于通用安全标准CC(CommonCriteria)给出了具有一定通用性和可重用性的可信信道评估框架,在此评估框架中应用了形式化的验证方法,提出了把经验分析和形式化验证相结合的评估方法.同时在对SSH的评估中对Cord演算作了适应性的扩展.
展开更多
关键词
安全评估
形式化验证
可信
信道
Cord演算
下载PDF
职称材料
题名
基于SSH的可信信道建立方法研究
被引量：
6
1
作者
范博
杨润垲
黎琳
机构
中国电子技术标准化研究院
北京交通大学计算机与信息技术学院
出处
《信息网络安全》
CSCD
北大核心
2018年第1期45-51,共7页
基金
国家自然科学基金[61402035]
文摘
现有安全信道技术与TCG远程证明技术集成后,其安全性得到提高。文章提出了一种构建基于SSH的可信信道的方法,称为"可信SSH"。可信SSH从安全的角度出发,不仅实现了平台状态信息与SSH安全信道的真实绑定,而且保护了平台状态信息的隐私。从功能角度看,可信SSH具有以下特点:证明灵活性、向后兼容、可扩展性,这些特性体现在SSH中使用的任何会话密钥交换算法都可以在可信 SSH中无缝使用。文章提供了可信SSH在open ssh的实现及其他功能评估。
关键词
SSH
可信
计算
远程证明
可信
信道
Keywords
SSH
trusted computing
remote attestation
trusted channel
分类号
TP309 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
可信增强TLS协议的设计与实现
被引量：
1
2
作者
徐震
陈路
于爱民
机构
中国科学院信息工程研究所
出处
《华中科技大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
2016年第3期44-48,共5页
基金
中国科学院战略性先导科技专项资助项目(XDA06040502
XDA06010701)
文摘
针对当前应用最为广泛的安全传输层(TLS)协议不能解决通信终端被攻击而造成的信息泄露问题,以及在TLS协议中引入对通信终端的完整性证明带来的安全性和兼容性问题,提出了与标准TLS协议兼容,并且支持对通信双方进行完整性证明的可信增强TLS协议的设计与实现方案.该方案完成了通信双方的完整性信息的交换和验证,从而解决了因通信终端的完整性遭到破坏而造成的信息泄露问题.此外,提出了TLS协议中通信终端的身份与完整性信息的绑定方案,从而有效避免了重放攻击.最后对协议的安全性进行了分析证明,并对协议实现情况进行了测试,测试结果表明可信增强TLS协议与标准TLS协议兼容且具有良好的性能.
关键词
可信
计算
安全传输层(TLS)协议
远程证明
可信
平台模块
重放攻击
可信
信道
Keywords
trusted computing
transport layer security（TLS）protocol
remote attestation
trusted platform module
relay attack
trusted channel
分类号
TP309 [自动化与计算机技术—计算机系统结构]
原文传递
题名
SSH可信信道安全属性的形式化验证
被引量：
1
3
作者
常晓林
秦英
邢彬
左向晖
机构
北京交通大学计算机与信息技术学院
出处
《北京交通大学学报》
CSCD
北大核心
2012年第2期8-15,共8页
基金
中央高校基本科研业务费专项基金资助(2009JBM017
2010YJS024)
文摘
可信信道是一个与终端的系统平台状态信息安全绑定的安全信道.现有的关于可信信道的研究工作都没有从理论上对所设计的可信信道的安全属性进行分析.本文首先提出一个基于SSH安全信道协议的可信信道协议,然后利用形式化模型检测器NuSMV分析该协议的安全属性,最后基于检测器执行轨迹所构成的反例,提出了一个强壮的SSH可信信道协议.本文提出的建模和验证方法具有通用性,可用于分析其他基于安全信道协议的可信信道协议的安全属性.
关键词
SSH
TCG远程证明
可信
信道
模型检测
NUSMV
Keywords
SSH
TCG remote attestation
trusted channel
model checking
NuSMV
分类号
TP393.08 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
可信的工业控制报文检测与推演技术研究
被引量：
1
4
作者
胡斌
机构
北京
出处
《网络安全和信息化》
2020年第9期122-125,共4页
文摘
工业互联网的发展推动了工业自动化与信息化的深度融合,但传统网络世界的IT威胁也带入了OT环境,从而进一步影响到现实世界。传统工业采用网络访问控制技术难以解决这些安全隐患,迫切需要一种在IT和OT环境之间建立一条可信信道的技术,以阻断虚拟网络空间对现实世界的影响。
关键词
网络访问控制
报文检测
虚拟网络空间
自动化与信息化
工业互联网
可信
信道
深度融合
安全隐患
分类号
TP3 [自动化与计算机技术—计算机科学与技术]
下载PDF
职称材料
题名
一种基于协议分析的可信信道评估方法
被引量：
1
5
作者
李沁
曾庆凯
机构
南京大学计算机软件新技术国家重点实验室
南京大学计算机科学与技术系南京
出处
《计算机学报》
EI
CSCD
北大核心
2006年第8期1329-1336,共8页
基金
国家"八六三"高技术研究发展计划项目基金(2004AA147070)
国家自然科学基金(60473053)
江苏省自然科学基金(BK2005074)资助.
文摘
目前,对可信信道的评估大多局限于经验的评测,缺乏理论支持,存在着极大的不确定性和不完备性.对此基于通用安全标准CC(CommonCriteria)给出了具有一定通用性和可重用性的可信信道评估框架,在此评估框架中应用了形式化的验证方法,提出了把经验分析和形式化验证相结合的评估方法.同时在对SSH的评估中对Cord演算作了适应性的扩展.
关键词
安全评估
形式化验证
可信
信道
Cord演算
Keywords
security evaluation
formal verification
trusted channel
Cord calculus
分类号
TP393 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于SSH的可信信道建立方法研究
范博
杨润垲
黎琳
《信息网络安全》
CSCD
北大核心
2018
6
下载PDF
职称材料
2
可信增强TLS协议的设计与实现
徐震
陈路
于爱民
《华中科技大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
2016
1
原文传递
3
SSH可信信道安全属性的形式化验证
常晓林
秦英
邢彬
左向晖
《北京交通大学学报》
CSCD
北大核心
2012
1
下载PDF
职称材料
4
可信的工业控制报文检测与推演技术研究
胡斌
《网络安全和信息化》
2020
1
下载PDF
职称材料
5
一种基于协议分析的可信信道评估方法
李沁
曾庆凯
《计算机学报》
EI
CSCD
北大核心
2006
1
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
