期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于802.1x认证与WEP结合使用提高WLAN安全性
被引量：
1
1
作者
梁峰
史杏荣
曲阜平
《计算机工程与应用》
CSCD
北大核心
2006年第1期147-150,共4页
论文通过分层安全模型研究了IEEE802.11WLAN安全性协议的性能以及在多用户、拥塞和非拥塞情况下,不同安全机制对安全网络性能的影响,从而论证了在对无线网络性能影响有限的情况下,WEP与802.1x结合使用,采取集中认证和动态密钥管理机制,...
论文通过分层安全模型研究了IEEE802.11WLAN安全性协议的性能以及在多用户、拥塞和非拥塞情况下,不同安全机制对安全网络性能的影响,从而论证了在对无线网络性能影响有限的情况下,WEP与802.1x结合使用,采取集中认证和动态密钥管理机制,可以获得比WEP更好的无线网络安全性。
展开更多
关键词
无线局域网
有线时等
安全
可扩展身份认证协议
传输层安全性
在线阅读
下载PDF
职称材料
基于模型检测的TLS协议实现库安全性分析
被引量：
8
2
作者
毕兴
唐朝京
《系统工程与电子技术》
EI
CSCD
北大核心
2021年第3期839-846,共8页
针对传统模糊测试方法虽能发现传输层安全性(transport layer security,TLS)协议实现库内存漏洞,但无法找到其中逻辑漏洞的问题,基于模型检测的方法,提取TLS协议实现库的状态机模型,建立协议安全属性模型,寻找协议实现中可能存在的异常...
针对传统模糊测试方法虽能发现传输层安全性(transport layer security,TLS)协议实现库内存漏洞,但无法找到其中逻辑漏洞的问题,基于模型检测的方法,提取TLS协议实现库的状态机模型,建立协议安全属性模型,寻找协议实现中可能存在的异常行为,实现对协议实现库的自动化和系统化的分析。对利用测试用例生成的协议实现库状态机进行安全属性建模,利用NuSMV工具,对提取的模型进行模型检测。实验结果证明所提方法能够有效分析TLS协议实现库的状态机模型,找到协议实现库存在的逻辑漏洞及与规范不一致的缺陷。
展开更多
关键词
安全
协议分析
传输层安全性
有限状态机
模型检测
在线阅读
下载PDF
职称材料
基于虚拟网卡的SSL VPN体系结构的研究
被引量：
4
3
作者
李之棠
何桂丽
王美珍
《计算机应用研究》
CSCD
北大核心
2007年第12期327-329,332,共4页
为了打破传统的SSL VPN(secure socket layer virtual private network)局限于支持Web的应用,不能满足诸如OA、ERP、FTP等非Web应用需求的局限,提出了一种基于虚拟网卡的SSL VPN(VNICB-SSL VPN)体系结构。基于虚拟网卡的技术成功地解决...
为了打破传统的SSL VPN(secure socket layer virtual private network)局限于支持Web的应用,不能满足诸如OA、ERP、FTP等非Web应用需求的局限,提出了一种基于虚拟网卡的SSL VPN(VNICB-SSL VPN)体系结构。基于虚拟网卡的技术成功地解决了NDIS(network driver interface specification,网络驱动接口规范)框架中的软件冲突问题,也避免了WinSock2动态链接库重载、传输层过滤驱动截获网络报文不够彻底的问题。
展开更多
关键词
安全
套接字层/
传输层安全性
协议
虚拟专用网络
虚拟网卡
在线阅读
下载PDF
职称材料
题名
基于802.1x认证与WEP结合使用提高WLAN安全性
被引量：
1
1
作者
梁峰
史杏荣
曲阜平
机构
中国科学技术大学电子工程与信息科学系
出处
《计算机工程与应用》
CSCD
北大核心
2006年第1期147-150,共4页
文摘
论文通过分层安全模型研究了IEEE802.11WLAN安全性协议的性能以及在多用户、拥塞和非拥塞情况下,不同安全机制对安全网络性能的影响,从而论证了在对无线网络性能影响有限的情况下,WEP与802.1x结合使用,采取集中认证和动态密钥管理机制,可以获得比WEP更好的无线网络安全性。
关键词
无线局域网
有线时等
安全
可扩展身份认证协议
传输层安全性
Keywords
WLAN,WEP,EAP,TLS
分类号
TP393 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
基于模型检测的TLS协议实现库安全性分析
被引量：
8
2
作者
毕兴
唐朝京
机构
国防科技大学前沿交叉学科学院
国防科技大学电子科学学院
出处
《系统工程与电子技术》
EI
CSCD
北大核心
2021年第3期839-846,共8页
文摘
针对传统模糊测试方法虽能发现传输层安全性(transport layer security,TLS)协议实现库内存漏洞,但无法找到其中逻辑漏洞的问题,基于模型检测的方法,提取TLS协议实现库的状态机模型,建立协议安全属性模型,寻找协议实现中可能存在的异常行为,实现对协议实现库的自动化和系统化的分析。对利用测试用例生成的协议实现库状态机进行安全属性建模,利用NuSMV工具,对提取的模型进行模型检测。实验结果证明所提方法能够有效分析TLS协议实现库的状态机模型,找到协议实现库存在的逻辑漏洞及与规范不一致的缺陷。
关键词
安全
协议分析
传输层安全性
有限状态机
模型检测
Keywords
security protocol analysis
transport layer security(TLS)
finite state machine
model checking
分类号
TP393.08 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
基于虚拟网卡的SSL VPN体系结构的研究
被引量：
4
3
作者
李之棠
何桂丽
王美珍
机构
华中科技大学计算机科学与技术学院
出处
《计算机应用研究》
CSCD
北大核心
2007年第12期327-329,332,共4页
基金
国家科技部创新基金资助项目(国科发计字2003[375])
文摘
为了打破传统的SSL VPN(secure socket layer virtual private network)局限于支持Web的应用,不能满足诸如OA、ERP、FTP等非Web应用需求的局限,提出了一种基于虚拟网卡的SSL VPN(VNICB-SSL VPN)体系结构。基于虚拟网卡的技术成功地解决了NDIS(network driver interface specification,网络驱动接口规范)框架中的软件冲突问题,也避免了WinSock2动态链接库重载、传输层过滤驱动截获网络报文不够彻底的问题。
关键词
安全
套接字层/
传输层安全性
协议
虚拟专用网络
虚拟网卡
Keywords
SSL/TLS protocol
VPN
virtual network interface card
分类号
TP393 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于802.1x认证与WEP结合使用提高WLAN安全性
梁峰
史杏荣
曲阜平
《计算机工程与应用》
CSCD
北大核心
2006
1
在线阅读
下载PDF
职称材料
2
基于模型检测的TLS协议实现库安全性分析
毕兴
唐朝京
《系统工程与电子技术》
EI
CSCD
北大核心
2021
8
在线阅读
下载PDF
职称材料
3
基于虚拟网卡的SSL VPN体系结构的研究
李之棠
何桂丽
王美珍
《计算机应用研究》
CSCD
北大核心
2007
4
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
