期刊文献+
共找到244篇文章
< 1 2 13 >
每页显示 20 50 100
基于Spi演算的SSL3.0协议安全性分析 被引量:7
1
作者 赵宇 王亚弟 韩继红 《计算机应用》 CSCD 北大核心 2005年第11期2515-2520,共6页
对标准Spi演算的语法及语义进行了合理扩展,并利用扩展后的Spi演算对大型复杂协议SSL V3.0的安全性进行了形式化分析,得出了与其他分析方法相同的结论。
关键词 SPI演算 SSL V3.0 形式化验证
在线阅读 下载PDF
SSL3.0基本握手协议的运行模式分析 被引量:2
2
作者 莫燕 张玉清 李学干 《中国科学院研究生院学报》 CAS CSCD 2005年第4期511-517,共7页
主要使用运行模式法对简化的SSL3 0基本握手协议进行了形式化分析.通过分析,找到了3种不同的攻击形式,并且对这3种攻击形式进行了深入研究,发现这3种攻击虽然从表面上看都是由于允许不同版本共存的漏洞引起的,但是经过仔细分析攻击的形... 主要使用运行模式法对简化的SSL3 0基本握手协议进行了形式化分析.通过分析,找到了3种不同的攻击形式,并且对这3种攻击形式进行了深入研究,发现这3种攻击虽然从表面上看都是由于允许不同版本共存的漏洞引起的,但是经过仔细分析攻击的形式,发现这3种攻击是存在差异的.主要是角色欺骗不相同,而这又可能会造成潜在攻击.最后对这个协议进行了改进,从而有效避免了以上3种攻击。 展开更多
关键词 SSL协议 形式化分析 运行模式分析法
在线阅读 下载PDF
一种支持快速流控的SAS-SATA传输设计方法
3
作者 昂扬 黄正峰 +3 位作者 王芳慧 郭二辉 田伟 鲁迎春 《合肥工业大学学报(自然科学版)》 北大核心 2025年第4期482-486,494,共6页
针对在服务器领域中使用串行连接SCSI接口(serial attached small computer system interface,SAS)硬盘存储冷数据面临的高成本问题,文章设计一种基于串行ATA(serial advanced technology attachment,SATA)协议与SAS协议的数据传输方法S... 针对在服务器领域中使用串行连接SCSI接口(serial attached small computer system interface,SAS)硬盘存储冷数据面临的高成本问题,文章设计一种基于串行ATA(serial advanced technology attachment,SATA)协议与SAS协议的数据传输方法SATA Bridge,动态地实现SAS与SATA之间的数据传输。该方法通过一种快速响应的流控机制,可在4个时钟周期后完成数据传输的响应,大幅度缓解数据帧接收端的数据容纳压力,并支持在12.0 Gib/s与1.5 Gib/s的最大速率差下实现数据传输。在VCS、Verdi上通过通用验证方法学(universal verification methodology,UVM)和SystemVerilog对该方法进行验证,同时进行逻辑综合和形式验证,结果表明SATA Bridge方法可行,最后通过布局布线得到SATA Bridge方法的整体布局。文章提出的数据传输方法对SAS-SATA桥接芯片的设计具有一定的参考意义。 展开更多
关键词 SATA 3.0协议 SAS 3.0协议 桥接芯片 流控 速率协商
在线阅读 下载PDF
基于SPIN的SSL3.0握手协议模型检测 被引量:1
4
作者 程莹 康汶 《计算机与数字工程》 2010年第8期156-159,共4页
文章介绍了密钥交换协议SSL3.0协议,并利用模型检测工具SPIN对其进行了形式化分析、建模和验证。实验结果表明此验证方法的正确性,证明了协议本身的安全性与可行性,并且提高了协议的验证效率。
关键词 ssl3.0 模型检测 SPIN PROMELA LTL
在线阅读 下载PDF
基于串空间模型的SSL3.0协议认证性分析
5
作者 方燕萍 张广泉 《苏州大学学报(工科版)》 CAS 2007年第6期18-22,共5页
形式化分析技术是揭示安全协议是否存在漏洞的重要途径,串空间模型是一种基于定理证明的、新兴的安全协议形式化模型。介绍了SSL3.0协议的握手过程和串空间模型的基本概念以及基于串空间模型的认证性测试方法,在此基础上建立了基于串空... 形式化分析技术是揭示安全协议是否存在漏洞的重要途径,串空间模型是一种基于定理证明的、新兴的安全协议形式化模型。介绍了SSL3.0协议的握手过程和串空间模型的基本概念以及基于串空间模型的认证性测试方法,在此基础上建立了基于串空间的SSL协议握手过程的模型,并验证了SSL协议的认证性。 展开更多
关键词 形式化分析 串空间模型 ssl3.0协议
在线阅读 下载PDF
运用形式化语言N逻辑分析SSL3.0握手协议
6
作者 姚方伟 《经济师》 2010年第1期25-26,共2页
近年来,人们在运用BAN逻辑进行形式化分析时,发现非形式化的理想化步骤是其致命缺陷,导致目前BAN逻辑的研究进展迟缓。有鉴于此,人们开始考虑采用另外一些形式化逻辑分析方法对协议的安全性进行分析。文章介绍了一种新的Nonmonotomic逻... 近年来,人们在运用BAN逻辑进行形式化分析时,发现非形式化的理想化步骤是其致命缺陷,导致目前BAN逻辑的研究进展迟缓。有鉴于此,人们开始考虑采用另外一些形式化逻辑分析方法对协议的安全性进行分析。文章介绍了一种新的Nonmonotomic逻辑(简称N逻辑)的协议形式化分析方法,并运用此方法分析SSL3.0握手协议,对分析结果进行总结,提出协议的缺陷和逻辑本身需要进一步完善的地方。 展开更多
关键词 N逻辑 主体的知识 主体的信仰 ssl3.0协议
在线阅读 下载PDF
基于USB PD 3.0协议的新型双相标记解码电路设计与验证 被引量:2
7
作者 史轶男 赵宏亮 尹飞飞 《合肥工业大学学报(自然科学版)》 CAS 北大核心 2024年第3期354-359,共6页
文章提出一种基于USB PD 3.0协议的新型双相标记解码电路设计并给予验证。通过状态机控制计数器的起始与停止,实现单个数据周期突变25%以内的解码结果的预测和产生;通过有限长单位冲激响应滤波器计算得到解码阈值,支持对周期在增减7.13... 文章提出一种基于USB PD 3.0协议的新型双相标记解码电路设计并给予验证。通过状态机控制计数器的起始与停止,实现单个数据周期突变25%以内的解码结果的预测和产生;通过有限长单位冲激响应滤波器计算得到解码阈值,支持对周期在增减7.13%范围内变化的、连续13个数据的解码,增大解码范围;增加完善的错误检测机制,提高电路的安全性;增加门控,空闲时关闭解码电路,节约能耗。在Synopsys公司的DC开发平台下,对电路进行仿真验证,结果表明相较参考文献中的解码电路,该文的电路结构更简单,解码准确性更高,电路面积更小,功耗更低,解码的安全性更高。 展开更多
关键词 双相标记编解码 有限长单位冲激响应滤波器 USB PD 3.0协议 快充协议 低功耗
在线阅读 下载PDF
基于量子安全的电力信息系统安全增强方法研究 被引量:4
8
作者 彭飞 田增垚 +3 位作者 张晓华 安天瑜 孟庆东 陈志奎 《重庆大学学报》 CAS CSCD 北大核心 2024年第2期62-74,共13页
电力系统是国家发展的重要基石,电力信息系统的安全必须得到保障。现有电力信息系统的安全主要基于RSA等加密算法,面临互联网算力提升和量子计算机的威胁。根据电力系统对信息安全的迫切需求,以及量子保密通信技术在信息安全领域中的无... 电力系统是国家发展的重要基石,电力信息系统的安全必须得到保障。现有电力信息系统的安全主要基于RSA等加密算法,面临互联网算力提升和量子计算机的威胁。根据电力系统对信息安全的迫切需求,以及量子保密通信技术在信息安全领域中的无条件安全性,探索量子保密通信技术在电力信息系统中的应用。通过对作为互联网信息技术基础的标准SSL协议过程及其安全要素解析,设计了同互联网基础相容的量子安全增强方法——利用预置量子随机数(基于量子随机数发生设备、量子密钥分发网络)进行随机数源强化,在开源OPENSSL VPN平台上进行相应实验验证。实验结果表明,提出的利用量子随机数源进行量子化改造的方案能实现系统安全的根本性改善,同时不显著增加系统复杂度或系统开销,对电力信息系统安全实现增强。 展开更多
关键词 量子保密通信 安全增强 SSL协议
在线阅读 下载PDF
Secure SSL/TLS Communication System Based on Quantum Keys 被引量:1
9
作者 WANG Jigang LU Yuqian +2 位作者 WEI Liping JIANG Xinzao ZHANG Han 《ZTE Communications》 2024年第3期106-115,共10页
Secure Sockets Layer(SSL)and Transport Layer Security(TLS)protocols facilitates a secure framework for identity authentication,data encryption,and message integrity verification.However,with the recent development in ... Secure Sockets Layer(SSL)and Transport Layer Security(TLS)protocols facilitates a secure framework for identity authentication,data encryption,and message integrity verification.However,with the recent development in quantum computing technology,the security of conventional key-based SSL/TLS protocols faces vulnerabilities.In this paper,we propose a scheme by integrating the quantum key into the SSL/TLS framework.Furthermore,the application of post-quantum algorithms is used to enhance and complement the existing encryption suites.Experimental results show that the proposed SSL/TLS communication system based on quantum keys exhibits high performance in latency and throughput.Moreover,the proposed system showcases good resilience against quantum attacks. 展开更多
关键词 SSL/TLS protocols quantum key post-quantum cryptography
在线阅读 下载PDF
基于SSL协议的电气自动化控制数据传输保护方法 被引量:1
10
作者 魏语聪 《数字通信世界》 2024年第10期78-80,共3页
采用常规的电气自动化控制数据传输保护方法传输数据的隐匿率过低,因此,该文基于SSL协议设计了一套全新的电气自动化控制数据传输保护方法,优化了电气自动化控制数据传输保护算法,以此加强电气自动化控制数据传输保护。实验结果表明,在... 采用常规的电气自动化控制数据传输保护方法传输数据的隐匿率过低,因此,该文基于SSL协议设计了一套全新的电气自动化控制数据传输保护方法,优化了电气自动化控制数据传输保护算法,以此加强电气自动化控制数据传输保护。实验结果表明,在不同数据传输量情况下,此方法的数据传输隐匿率较高,保护效果较好,可靠性高,具有一定的应用价值。 展开更多
关键词 SSL协议 电气 自动化控制 数据 传输 保护
在线阅读 下载PDF
用BAN逻辑方法分析SSL 3.0协议 被引量:6
11
作者 王惠芳 郭金庚 《计算机工程》 CAS CSCD 北大核心 2001年第11期147-149,共3页
形式化分析密码协议渐渐成为密码学中一个发展的新方向,因为形式化方法的确能检测出密码协议中的漏洞。BAN逻辑是目前使用最广泛的。文章介绍了BAN逻辑和SSL3.0协议,并给出了用BAN逻辑分析SSL3.0协议的详细过程。
关键词 形式化分析 密码协议 BAN逻辑 ssl3.0协议
在线阅读 下载PDF
SSL协议的安全缺陷与改进 被引量:16
12
作者 戴英侠 左英男 许剑卓 《中国科学院研究生院学报》 CAS CSCD 2000年第1期86-92,共7页
讨论了用来保护Internet网络中的通信数据的SSL(和TLS)协议的安全缺陷与攻击方法 ,并分析了协议发展过程中所作的改进 .
关键词 SSL协议 TLS协议 安全缺陷 INTERNET 信息安全 通信业务流
在线阅读 下载PDF
基于ECC算法的SSL协议改进 被引量:8
13
作者 杨文军 孙希杰 +1 位作者 王春东 莫秀良 《南开大学学报(自然科学版)》 CAS CSCD 北大核心 2016年第2期8-14,共7页
通过研究SSL安全协议,分析了协议采用的RSA加密算法的不足,介绍了ECC椭圆曲线加密算法的基本思想,提出了基于优化的ECC椭圆曲线加密算法的SSL协议改进方法,使得改进后的SSL协议较传统的基于RSA的SSL协议有了更高的安全性.通过对ECC加密... 通过研究SSL安全协议,分析了协议采用的RSA加密算法的不足,介绍了ECC椭圆曲线加密算法的基本思想,提出了基于优化的ECC椭圆曲线加密算法的SSL协议改进方法,使得改进后的SSL协议较传统的基于RSA的SSL协议有了更高的安全性.通过对ECC加密算法中的点积运算进行2进制规约优化,提高了计算能力,加快了公钥算法及加解密算法的处理速度.通过对平方剩余判定方法进行改进,节省了明文映射到椭圆曲线所需要的时间,提高了加解密效率. 展开更多
关键词 SSI 协议 ECC椭圆曲线加密算法 RSA算法
原文传递
基于HTTPS隧道技术的统一认证平台研究与实现 被引量:15
14
作者 陆荣杰 刘知贵 郑晓红 《计算机应用研究》 CSCD 北大核心 2006年第12期168-170,共3页
首先对现实网络系统中遇到的身份认证、管理分散、数据传输的安全和管理问题需求分析进行了基本介绍,然后引述了HTTPS和SSL所能提供的安全服务。基于PKI技术,同时利用数字证书作为强身份认证方式,设计并实现了统一认证访问控制系统,该... 首先对现实网络系统中遇到的身份认证、管理分散、数据传输的安全和管理问题需求分析进行了基本介绍,然后引述了HTTPS和SSL所能提供的安全服务。基于PKI技术,同时利用数字证书作为强身份认证方式,设计并实现了统一认证访问控制系统,该系统由客户端和访问控制服务器两部分组成。 展开更多
关键词 HTTPS SSL协议 强身份认证
在线阅读 下载PDF
基于SSL协议的电子商务解决方案 被引量:11
15
作者 侯小梅 莫鸿强 毛宗源 《计算机工程与应用》 CSCD 北大核心 2001年第8期35-37,共3页
该文对目前电子商务中普遍采用的 SSL加密安全传送协议的原理、技术和方法进行了全面的论述和分析,并通过实例说明了 SSL协议的实际应用及发展方向。
关键词 电子商务 安全套接层协议 SSL协议 INTERNET 网络安全
在线阅读 下载PDF
PKI及其在基于SSL的Web安全中的应用实现 被引量:20
16
作者 叶新 雷明 张焕国 《计算机工程与应用》 CSCD 北大核心 2003年第14期150-152,共3页
随着公开密钥密码体制的提出,公钥基础设施(PKI)得到了不断的发展与完善。结合SSL,PKI在安全Web通信中更有着实际的应用价值。论文首先就PKI在Web安全中的应用做了探讨,接着分析了SSL协议的特点,最后介绍了作者在Linux平台下基于SSL的... 随着公开密钥密码体制的提出,公钥基础设施(PKI)得到了不断的发展与完善。结合SSL,PKI在安全Web通信中更有着实际的应用价值。论文首先就PKI在Web安全中的应用做了探讨,接着分析了SSL协议的特点,最后介绍了作者在Linux平台下基于SSL的强加密的安全Web通信的实现。 展开更多
关键词 公钥基础设施 SSL协议 数字证书 CA
在线阅读 下载PDF
人工神经网络算法研究及应用 被引量:28
17
作者 杨源杰 黄道 《华东理工大学学报(自然科学版)》 CAS CSCD 北大核心 2002年第5期551-554,共4页
神经网络 ( NN)是从机理上模拟人脑的信息处理和思维决策过程的一种新兴控制方式。它的出现为一些难以解决的问题提供了一种新的思路 ,然而神经网络目前还面临一些问题。本文在对神经网络进行深入研究的基础上 ,提出现有算法的一些改进... 神经网络 ( NN)是从机理上模拟人脑的信息处理和思维决策过程的一种新兴控制方式。它的出现为一些难以解决的问题提供了一种新的思路 ,然而神经网络目前还面临一些问题。本文在对神经网络进行深入研究的基础上 ,提出现有算法的一些改进方案 ,并将其应用于 SSL协议及其算法的改进中。 展开更多
关键词 人工神经网络 BP算法 学习步长 控制器 SSL协议 信息处理 思维决策
在线阅读 下载PDF
SSL安全性分析研究 被引量:11
18
作者 王克苑 张维勇 王建新 《合肥工业大学学报(自然科学版)》 CAS CSCD 2004年第1期87-91,共5页
随着Internet的迅速发展和广泛应用,网络与信息安全的重要性和紧迫性日益突出。Netscape公司提出了安全套接层协议SSL(SecureSocketLayer),该协议基于公开密钥技术,可保证两个实体间通信的保密性和可靠性,是目前Internet上保密通信的工... 随着Internet的迅速发展和广泛应用,网络与信息安全的重要性和紧迫性日益突出。Netscape公司提出了安全套接层协议SSL(SecureSocketLayer),该协议基于公开密钥技术,可保证两个实体间通信的保密性和可靠性,是目前Internet上保密通信的工业标准。文章介绍了该协议的基本原理和工作过程,对协议的安全性进行分析,进而指出了目前SSL3.0存在的几个缺陷,并在此基础上提出改进的方法。 展开更多
关键词 安全套接层协议 公开密钥技术 保密性 安全性 网络安全 SSL
在线阅读 下载PDF
针对SSL/TLS协议会话密钥的安全威胁与防御方法 被引量:10
19
作者 刘新亮 杜瑞颖 +3 位作者 陈晶 王持恒 姚世雄 陈炯 《计算机工程》 CAS CSCD 北大核心 2017年第3期147-153,共7页
分析安全套接层/安全传输层(SSL/TLS)协议在客户端的具体实现,利用浏览器处理SSL/TLS协议会话主密钥和协议握手过程中传递安全参数存在的漏洞与缺陷,结合Netfilter机制进行会话劫持,提出一种针对SSL/TLS协议的安全威胁方案(SKAS)并对其... 分析安全套接层/安全传输层(SSL/TLS)协议在客户端的具体实现,利用浏览器处理SSL/TLS协议会话主密钥和协议握手过程中传递安全参数存在的漏洞与缺陷,结合Netfilter机制进行会话劫持,提出一种针对SSL/TLS协议的安全威胁方案(SKAS)并对其进行安全研究,给出随机数单向加密、双向加密及保护会话主密钥安全的3种防御方法。经过实验验证了SKAS威胁的有效性,其攻击成功率达到90%以上且攻击范围广、威胁程度高,提出的3种防御方法均能抵御SKAS威胁,保证了客户端和服务器间SSL/TLS协议的数据通信安全。 展开更多
关键词 安全套接层协议 安全传输层协议 会话密钥 Netfilter机制 会话劫持 安全防御
在线阅读 下载PDF
适用于网络内容审计的SSL/TLS保密数据高效明文采集方法 被引量:7
20
作者 董海韬 田静 +2 位作者 杨军 叶晓舟 宋磊 《计算机应用》 CSCD 北大核心 2015年第10期2891-2895,共5页
为解决互联网上使用安全套接层/传输层安全(SSL/TLS)协议保密的数据难以审计的问题,提出了一种基于中间人原理的SSL/TLS保密网络数据的明文采集方法,将作为合法中间人的数据采集器串行接入服务端与客户端之间,在SSL/TLS握手阶段通过修... 为解决互联网上使用安全套接层/传输层安全(SSL/TLS)协议保密的数据难以审计的问题,提出了一种基于中间人原理的SSL/TLS保密网络数据的明文采集方法,将作为合法中间人的数据采集器串行接入服务端与客户端之间,在SSL/TLS握手阶段通过修改通信双方传输的握手消息,取得通信双方用于数据加密的密钥,达到解密保密数据、采集其明文的目的。该方法比已有的基于代理服务器原理的采集方法传输时延更短,SSL吞吐率更大,占用内存资源更少;比已有的采集器持有服务端私钥的方案应用范围更广,且不受网络丢包的影响。实验结果表明提出的方法与基于代理服务器原理的采集方法相比,传输时延降低了约27.5%;SSL吞吐率提高了约10.4%,且SSL吞吐率已接近理想情况下的上限值。 展开更多
关键词 安全套接层协议 传输层安全协议 网络内容审计 网络数据采集
在线阅读 下载PDF
上一页 1 2 13 下一页 到第
使用帮助 返回顶部