期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到244篇文章
< 1 2 … 13 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于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
基于SPIN的SSL3.0握手协议模型检测 被引量：1
3
作者 程莹 康汶 《计算机与数字工程》 2010年第8期156-159,共4页
文章介绍了密钥交换协议SSL3.0协议,并利用模型检测工具SPIN对其进行了形式化分析、建模和验证。实验结果表明此验证方法的正确性,证明了协议本身的安全性与可行性,并且提高了协议的验证效率。
关键词 ssl3.0 模型检测 SPIN PROMELA LTL
在线阅读 下载PDF
基于串空间模型的SSL3.0协议认证性分析
4
作者 方燕萍 张广泉 《苏州大学学报（工科版）》 CAS 2007年第6期18-22,共5页
形式化分析技术是揭示安全协议是否存在漏洞的重要途径,串空间模型是一种基于定理证明的、新兴的安全协议形式化模型。介绍了SSL3.0协议的握手过程和串空间模型的基本概念以及基于串空间模型的认证性测试方法,在此基础上建立了基于串空... 形式化分析技术是揭示安全协议是否存在漏洞的重要途径,串空间模型是一种基于定理证明的、新兴的安全协议形式化模型。介绍了SSL3.0协议的握手过程和串空间模型的基本概念以及基于串空间模型的认证性测试方法,在此基础上建立了基于串空间的SSL协议握手过程的模型,并验证了SSL协议的认证性。 展开更多
关键词 形式化分析 串空间模型 ssl3.0协议
在线阅读 下载PDF
运用形式化语言N逻辑分析SSL3.0握手协议
5
作者 姚方伟 《经济师》 2010年第1期25-26,共2页
近年来,人们在运用BAN逻辑进行形式化分析时,发现非形式化的理想化步骤是其致命缺陷,导致目前BAN逻辑的研究进展迟缓。有鉴于此,人们开始考虑采用另外一些形式化逻辑分析方法对协议的安全性进行分析。文章介绍了一种新的Nonmonotomic逻... 近年来,人们在运用BAN逻辑进行形式化分析时,发现非形式化的理想化步骤是其致命缺陷,导致目前BAN逻辑的研究进展迟缓。有鉴于此,人们开始考虑采用另外一些形式化逻辑分析方法对协议的安全性进行分析。文章介绍了一种新的Nonmonotomic逻辑(简称N逻辑)的协议形式化分析方法,并运用此方法分析SSL3.0握手协议,对分析结果进行总结,提出协议的缺陷和逻辑本身需要进一步完善的地方。 展开更多
关键词 N逻辑 主体的知识 主体的信仰 ssl3.0协议
在线阅读 下载PDF
一种支持快速流控的SAS-SATA传输设计方法
6
作者 昂扬 黄正峰 +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
用BAN逻辑方法分析SSL 3.0协议 被引量：6
7
作者 王惠芳 郭金庚 《计算机工程》 CAS CSCD 北大核心 2001年第11期147-149,共3页
形式化分析密码协议渐渐成为密码学中一个发展的新方向，因为形式化方法的确能检测出密码协议中的漏洞。ＢＡＮ逻辑是目前使用最广泛的。文章介绍了ＢＡＮ逻辑和ＳＳＬ３．０协议，并给出了用ＢＡＮ逻辑分析ＳＳＬ３．０协议的详细过程。
关键词 形式化分析 密码协议 BAN逻辑 ssl3.0协议
在线阅读 下载PDF
SSL协议的安全缺陷与改进 被引量：16
8
作者 戴英侠 左英男 许剑卓 《中国科学院研究生院学报》 CAS CSCD 2000年第1期86-92,共7页
讨论了用来保护Internet网络中的通信数据的SSL(和TLS)协议的安全缺陷与攻击方法 ,并分析了协议发展过程中所作的改进 .
关键词 SSL协议 TLS协议 安全缺陷 INTERNET 信息安全 通信业务流
在线阅读 下载PDF
基于ECC算法的SSL协议改进 被引量：8
9
作者 杨文军 孙希杰 +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隧道技术的统一认证平台研究与实现 被引量：16
10
作者 陆荣杰 刘知贵 郑晓红 《计算机应用研究》 CSCD 北大核心 2006年第12期168-170,共3页
首先对现实网络系统中遇到的身份认证、管理分散、数据传输的安全和管理问题需求分析进行了基本介绍,然后引述了HTTPS和SSL所能提供的安全服务。基于PKI技术,同时利用数字证书作为强身份认证方式,设计并实现了统一认证访问控制系统,该... 首先对现实网络系统中遇到的身份认证、管理分散、数据传输的安全和管理问题需求分析进行了基本介绍,然后引述了HTTPS和SSL所能提供的安全服务。基于PKI技术,同时利用数字证书作为强身份认证方式,设计并实现了统一认证访问控制系统,该系统由客户端和访问控制服务器两部分组成。 展开更多
关键词 HTTPS SSL协议 强身份认证
在线阅读 下载PDF
基于SSL协议的电子商务解决方案 被引量：11
11
作者 侯小梅 莫鸿强 毛宗源 《计算机工程与应用》 CSCD 北大核心 2001年第8期35-37,共3页
该文对目前电子商务中普遍采用的 ＳＳＬ加密安全传送协议的原理、技术和方法进行了全面的论述和分析，并通过实例说明了 ＳＳＬ协议的实际应用及发展方向。
关键词 电子商务 安全套接层协议 SSL协议 INTERNET 网络安全
在线阅读 下载PDF
PKI及其在基于SSL的Web安全中的应用实现 被引量：20
12
作者 叶新 雷明 张焕国 《计算机工程与应用》 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
13
作者 杨源杰 黄道 《华东理工大学学报（自然科学版）》 CAS CSCD 北大核心 2002年第5期551-554,共4页
神经网络 ( NN)是从机理上模拟人脑的信息处理和思维决策过程的一种新兴控制方式。它的出现为一些难以解决的问题提供了一种新的思路 ,然而神经网络目前还面临一些问题。本文在对神经网络进行深入研究的基础上 ,提出现有算法的一些改进... 神经网络 ( NN)是从机理上模拟人脑的信息处理和思维决策过程的一种新兴控制方式。它的出现为一些难以解决的问题提供了一种新的思路 ,然而神经网络目前还面临一些问题。本文在对神经网络进行深入研究的基础上 ,提出现有算法的一些改进方案 ,并将其应用于 SSL协议及其算法的改进中。 展开更多
关键词 人工神经网络 BP算法 学习步长 控制器 SSL协议 信息处理 思维决策
在线阅读 下载PDF
SSL安全性分析研究 被引量：11
14
作者 王克苑 张维勇 王建新 《合肥工业大学学报（自然科学版）》 CAS CSCD 2004年第1期87-91,共5页
随着Internet的迅速发展和广泛应用,网络与信息安全的重要性和紧迫性日益突出。Netscape公司提出了安全套接层协议SSL(SecureSocketLayer),该协议基于公开密钥技术,可保证两个实体间通信的保密性和可靠性,是目前Internet上保密通信的工... 随着Internet的迅速发展和广泛应用,网络与信息安全的重要性和紧迫性日益突出。Netscape公司提出了安全套接层协议SSL(SecureSocketLayer),该协议基于公开密钥技术,可保证两个实体间通信的保密性和可靠性,是目前Internet上保密通信的工业标准。文章介绍了该协议的基本原理和工作过程,对协议的安全性进行分析,进而指出了目前SSL3.0存在的几个缺陷,并在此基础上提出改进的方法。 展开更多
关键词 安全套接层协议 公开密钥技术 保密性 安全性 网络安全 SSL
在线阅读 下载PDF
适用于网络内容审计的SSL/TLS保密数据高效明文采集方法 被引量：8
15
作者 董海韬 田静 +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
针对SSL/TLS协议会话密钥的安全威胁与防御方法 被引量：10
16
作者 刘新亮 杜瑞颖 +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 V3.0及其安全性分析 被引量：6
17
作者 宋志敏 王卫京 南相浩 《计算机工程与应用》 CSCD 北大核心 2000年第10期145-147,149,共4页
文章简述了SSL V3．0的分层结构、协议状态、握手协议和加密参数计算,并对其安全性做出分析.
关键词 SSL 握手协议 保密通信 网络安全
在线阅读 下载PDF
基于SSL的安全邮件解决方案 被引量：5
18
作者 费巧玲 徐向阳 +1 位作者 蒋国清 潘勇 《计算机工程》 CAS CSCD 北大核心 2007年第5期114-116,共3页
分析了现存的安全电子邮件解决方案,发现它们一般只对邮件体进行加密和签名,而没有考虑邮件头的安全性。在某些环境下,邮件头也需要安全保密。研究了安全套接字层协议(SSL),提出了一种基于SSL协议的安全邮件解决方案,既增强了邮件体的... 分析了现存的安全电子邮件解决方案,发现它们一般只对邮件体进行加密和签名,而没有考虑邮件头的安全性。在某些环境下,邮件头也需要安全保密。研究了安全套接字层协议(SSL),提出了一种基于SSL协议的安全邮件解决方案,既增强了邮件体的安全性,也保证了邮件头的安全性。 展开更多
关键词 电子邮件 安全套接字层协议 简单邮件传输协议 邮局协议
在线阅读 下载PDF
基于SSL的安全iSCSI技术研究与实现 被引量：4
19
作者 何俊 戴浩 +2 位作者 马琳茹 杨明 谢永强 《计算机工程》 CAS CSCD 北大核心 2008年第2期97-99,共3页
iSCSI协议是一种新兴的网络存储协议标准。该文分析了iSCSI协议的工作原理和安全机制,指出其存在的安全隐患,提出一种基于SSL的安全iSCSI方案,通过在iSCSI协议中加入SSL的安全功能,实现了一个安全iSCSI系统。实验表明,与基于IPSec的安... iSCSI协议是一种新兴的网络存储协议标准。该文分析了iSCSI协议的工作原理和安全机制,指出其存在的安全隐患,提出一种基于SSL的安全iSCSI方案,通过在iSCSI协议中加入SSL的安全功能,实现了一个安全iSCSI系统。实验表明,与基于IPSec的安全方案相比,使用该方案的iSCSI协议的I/O速率提高了25%,而CPU占用率下降了50%。 展开更多
关键词 ISCSI协议 网络存储 网络安全 SSL协议
在线阅读 下载PDF
IPSec和SSL的分析和比较 被引量：7
20
作者 张鹏 李建 王坤 《信息工程大学学报》 2002年第1期67-70,共4页
本文通过分析SSL和IPSec协议 ,从互用性、安全性、可扩展性和IPv6因素几个方面对SSL和IPSec加以比较。可以看出因为SSL和IPSec位于OSI模型的不同层次 ,它们有各自的优点和缺点 。
关键词 SSL IPSEC 握手协议 IPv6 OSI模型 Internet 安全协议 互用性 可扩展性
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 13 下一页 到第 页
使用帮助 返回顶部