检索结果-维普期刊中文期刊服务平台

一种快速TLS握手协议分析与实现被引量：5: 1; 作者赵安军郭雷姚俊《计算机工程》 CAS CSCD 北大核心 2004年第2期131-134,共4页; 介绍了一种快速的TLS握手协议。这种协议通过在客户端缓存服务器端配置及初始会话时建立的各种协商参数,从而减少了以后会话协商时的通信流量。它在具有高延迟网络环境中更加有用。这种协议也提供对标准的TLS握手协议兼容。; 关键词 TLS TLS握手协议快速TLS握手协议会话重用; 在线阅读下载PDF 职称材料

基于IBC的TLS握手协议设计与分析被引量：9: 2; 作者彭长艳张权唐朝京《计算机应用》 CSCD 北大核心 2009年第3期633-637,共5页; 为了克服当前广泛使用的传输层安全协议存在的证书管理复杂和握手延迟高的缺点,通过分析基于身份的密码体制的特点,设计了使用基于身份的加密方案的握手协议,以及适合双向认证条件的使用基于身份的认证的密钥协商方案的握手协议。安全... 展开更多; 关键词传输层安全握手协议基于身份密码学双线性对; 在线阅读下载PDF 职称材料

基于CPK的TLS握手协议的设计与研究被引量：3: 3; 作者程克非贾廷强《电子科技大学学报》 EI CAS CSCD 北大核心 2013年第3期420-424,共5页; TLS协议作为当今应用最广泛的传输层安全协议,受到了人们的极大关注,但是其自身存在证书管理复杂、握手交互过多和安全缺陷等诸多问题。对TLS握手协议分析和研究,并结合基于身份的组合公钥密码体制(CPK)的特点,提出了基于CPK的握手协议... 展开更多; 关键词组合公钥握手协议安全分析串空间模型 TLS; 在线阅读下载PDF 职称材料

基于TLS及证书的移动IPv6节点安全方案: 4; 作者党建亮李富强 +2 位作者林爱英袁超蒋志为《现代电子技术》 2008年第17期70-71,共2页; 由于无线通信介质的特点,移动IPv6中的通信节点随时都面临着拒绝服务攻击、重放攻击、信息窃取攻击等安全威胁。提出了一种基于证书的移动节点通信安全方案,任何通信对端与之通信之前都必须经过一个握手过程,在完成了双向认证之后,由握... 展开更多; 关键词移动IPV6 TLS 证书握手协议; 在线阅读下载PDF 职称材料

基于EAP-TLSE的移动节点永久在线安全性研究: 5; 作者张建伟贺蕾宁海琴《计算机应用与软件》 CSCD 北大核心 2008年第5期51-52,101,共3页; 为解决永久在线的移动节点的信息安全问题,提出了一种基于TLS Extensions的EAP-TLSE认证方法,并对其性能和安全性进行了分析,表明该认证方法能够在不影响安全性的同时降低对网络带宽、计算资源和电力供应的要求。; 关键词 EAP-TLSE TLS 握手协议; 在线阅读下载PDF 职称材料

TLS握手协议的计算模型分析被引量：1: 6; 作者倪阳张玉清《中国科学院研究生院学报》 CAS CSCD 2008年第1期110-116,共7页; 用BR模型对TLS握手协议进行了计算分析与安全性证明.TLS握手协议作为典型的认证密钥交换协议,可以自然结合到BR认证协议计算模型分析框架当中.对该协议主要通信过程进行了总结、建模和分析,证明当协议所采用的公钥加密函数和消息认证函... 展开更多; 关键词认证密钥交换协议可证安全 TLS握手协议伪随机函数; 在线阅读下载PDF 职称材料

基于串空间理论的安全协议自动验证被引量：1: 7; 作者刘家芬《计算机应用》 CSCD 北大核心 2015年第7期1870-1876,共7页; 针对目前串空间理论依赖分析人员主观判断、无法使用自动化工具进行验证的问题,提出了基于串空间理论的协议认证属性标准化验证过程。首先为协议消息项定义类型标签,对串空间及认证测试理论进行扩展;然后通过判断测试元素出现位置、检... 展开更多; 关键词串空间认证测试安全协议自动化验证认证属性 BAN-Yahalom协议安全传输层握手协议; 在线阅读下载PDF 职称材料

题名一种快速TLS握手协议分析与实现被引量：5: 1; 作者赵安军郭雷姚俊; 机构西北工业大学自动控制系; 出处《计算机工程》 CAS CSCD 北大核心 2004年第2期131-134,共4页; 文摘介绍了一种快速的TLS握手协议。这种协议通过在客户端缓存服务器端配置及初始会话时建立的各种协商参数,从而减少了以后会话协商时的通信流量。它在具有高延迟网络环境中更加有用。这种协议也提供对标准的TLS握手协议兼容。; 关键词 TLS TLS握手协议快速TLS握手协议会话重用; Keywords TLS TLS handshanke protocol Fast handshake protocol for TLS Resume session; 分类号 TP393.08 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于IBC的TLS握手协议设计与分析被引量：9: 2; 作者彭长艳张权唐朝京; 机构国防科学技术大学电子科学与工程学院; 出处《计算机应用》 CSCD 北大核心 2009年第3期633-637,共5页; 基金国家863计划项目(2007AA701309); 文摘为了克服当前广泛使用的传输层安全协议存在的证书管理复杂和握手延迟高的缺点,通过分析基于身份的密码体制的特点,设计了使用基于身份的加密方案的握手协议,以及适合双向认证条件的使用基于身份的认证的密钥协商方案的握手协议。安全性分析和性能仿真实验结果表明,在同等安全强度下,与基于证书的方案相比,基于IBC的握手协议具有相称的密码算法处理开销,但是减少了协议通信量,明显降低了握手延迟,提高了协议的运行效率。; 关键词传输层安全握手协议基于身份密码学双线性对; Keywords Transport Layer Security（TLS） handshake protocol identity-based cryptography bilinear pairing; 分类号 TP393.08 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于CPK的TLS握手协议的设计与研究被引量：3: 3; 作者程克非贾廷强; 机构重庆邮电大学计算机科学与技术学院; 出处《电子科技大学学报》 EI CAS CSCD 北大核心 2013年第3期420-424,共5页; 基金重庆市自然科学基金重点项目(CSTC-BA2043) 重庆市科技攻关计划(CSTC2010AB); 文摘 TLS协议作为当今应用最广泛的传输层安全协议,受到了人们的极大关注,但是其自身存在证书管理复杂、握手交互过多和安全缺陷等诸多问题。对TLS握手协议分析和研究,并结合基于身份的组合公钥密码体制(CPK)的特点,提出了基于CPK的握手协议方案。通过对其安全性分析和基于串空间模型理论的形式化证明,证明了该方案的安全可靠性高。在相同安全条件下进行仿真,实验结果显示与原方案对比该方案具有握手交互次数少、鉴别简捷、建立可信连接过程简单、高效等明显优点。; 关键词组合公钥握手协议安全分析串空间模型 TLS; Keywords combined public key handshake protocol security analysis strand space model TLS; 分类号 TP393.08 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于TLS及证书的移动IPv6节点安全方案: 4; 作者党建亮李富强林爱英袁超蒋志为; 机构河南农业大学理学院四川电力试验研究院; 出处《现代电子技术》 2008年第17期70-71,共2页; 基金河南省教育厅自然科学研究指导计划(2008B510010); 文摘由于无线通信介质的特点,移动IPv6中的通信节点随时都面临着拒绝服务攻击、重放攻击、信息窃取攻击等安全威胁。提出了一种基于证书的移动节点通信安全方案,任何通信对端与之通信之前都必须经过一个握手过程,在完成了双向认证之后,由握手过程中协商出的会话密钥保护通信的机密性,同时针对移动通信节点的特点对数字证书进行了相应的修改。; 关键词移动IPV6 TLS 证书握手协议; Keywords Mobile IPv6 TLS certificate handshake protocol; 分类号 TN918 [电子电信—通信与信息系统]; 在线阅读下载PDF 职称材料

题名基于EAP-TLSE的移动节点永久在线安全性研究: 5; 作者张建伟贺蕾宁海琴; 机构郑州轻工业学院计算机与通信工程学院河南中医学院第一附属医院; 出处《计算机应用与软件》 CSCD 北大核心 2008年第5期51-52,101,共3页; 基金河南省自然科学基金资助(0611054800)。; 文摘为解决永久在线的移动节点的信息安全问题,提出了一种基于TLS Extensions的EAP-TLSE认证方法,并对其性能和安全性进行了分析,表明该认证方法能够在不影响安全性的同时降低对网络带宽、计算资源和电力供应的要求。; 关键词 EAP-TLSE TLS 握手协议; Keywords EAP-TISE TLS Handshake protocol; 分类号 TP273 [自动化与计算机技术—检测技术与自动化装置] TN915.04 [电子电信—通信与信息系统]; 在线阅读下载PDF 职称材料

题名TLS握手协议的计算模型分析被引量：1: 6; 作者倪阳张玉清; 机构中国科学院研究生院; 出处《中国科学院研究生院学报》 CAS CSCD 2008年第1期110-116,共7页; 基金国家自然科学基金项目(60573048,60773135)资助; 文摘用BR模型对TLS握手协议进行了计算分析与安全性证明.TLS握手协议作为典型的认证密钥交换协议,可以自然结合到BR认证协议计算模型分析框架当中.对该协议主要通信过程进行了总结、建模和分析,证明当协议所采用的公钥加密函数和消息认证函数均满足计算模型安全性要求时,TLS握手协议在BR计算模型下是安全的.; 关键词认证密钥交换协议可证安全 TLS握手协议伪随机函数; Keywords authenticate and key exchange protocol, provable security, TLS handshake protocol, pseudorandom function; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于串空间理论的安全协议自动验证被引量：1: 7; 作者刘家芬; 机构西南财经大学经济信息工程学院西南财经大学四川省金融智能与金融工程重点实验室; 出处《计算机应用》 CSCD 北大核心 2015年第7期1870-1876,共7页; 基金国家自然科学基金重大项目(91218301) 国家自然科学基金青年项目(60903201) +1 种基金 JBK140129); 文摘针对目前串空间理论依赖分析人员主观判断、无法使用自动化工具进行验证的问题,提出了基于串空间理论的协议认证属性标准化验证过程。首先为协议消息项定义类型标签,对串空间及认证测试理论进行扩展;然后通过判断测试元素出现位置、检验测试元素参数一致性、确认变换进行边唯一存在性和检验目标串参数一致性,将基于串空间理论的协议验证过程标准化为可程序实现的步骤。该算法的时间复杂度为O(n2),避免了模型检测方法的状态空间爆炸问题,并在此基础上实现了安全协议认证属性的自动化验证工具。以BAN-Yahalom协议和TLS 1.0握手协议为例进行了标准化的分析验证,找到了对BAN-Yahalom协议的一种新攻击形式。该攻击无需限制服务器对随机数的检查,比Syverson发现的攻击更具普遍性。; 关键词串空间认证测试安全协议自动化验证认证属性 BAN-Yahalom协议安全传输层握手协议; Keywords strand space authentication test security protocol automatic verification authentication property BAN- Yahalom protocol Transport Layer Security （TLS） handshake protocol; 分类号 TP309.7 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	一种快速TLS握手协议分析与实现	赵安军郭雷姚俊	《计算机工程》 CAS CSCD 北大核心	2004	5	在线阅读下载PDF 职称材料
2	基于IBC的TLS握手协议设计与分析	彭长艳张权唐朝京	《计算机应用》 CSCD 北大核心	2009	9	在线阅读下载PDF 职称材料
3	基于CPK的TLS握手协议的设计与研究	程克非贾廷强	《电子科技大学学报》 EI CAS CSCD 北大核心	2013	3	在线阅读下载PDF 职称材料
4	基于TLS及证书的移动IPv6节点安全方案	党建亮李富强林爱英袁超蒋志为	《现代电子技术》	2008	0	在线阅读下载PDF 职称材料
5	基于EAP-TLSE的移动节点永久在线安全性研究	张建伟贺蕾宁海琴	《计算机应用与软件》 CSCD 北大核心	2008	0	在线阅读下载PDF 职称材料
6	TLS握手协议的计算模型分析	倪阳张玉清	《中国科学院研究生院学报》 CAS CSCD	2008	1	在线阅读下载PDF 职称材料
7	基于串空间理论的安全协议自动验证	刘家芬	《计算机应用》 CSCD 北大核心	2015	1	在线阅读下载PDF 职称材料