检索结果-内蒙古大学图书馆

中国安防 2017年第10期 85-87页

作者：陈远中星电子股份有限公司

视频监控是安全防范系统的重要组成部分,随着社会经济和科学技术的快速发展,视频监控系统在公共安全、智能交通、教育金融、生产生活等各个领域应用越来越广,视频监控系统的安全问题也受到业界更多关注。近年来,有关网络视频监控系统被... 详细信息

视频监控是安全防范系统的重要组成部分,随着社会经济和科学技术的快速发展,视频监控系统在公共安全、智能交通、教育金融、生产生活等各个领域应用越来越广,视频监控系统的安全问题也受到业界更多关注。近年来,有关网络视频监控系统被恶意侵入,相关视频被泄露的事件时有发生。2015年发生的中国版＂棱镜门＂事件更是给整个安防行业敲响了警钟,提醒我们,即使是专业的安防系统,也可能发生消费类视频监控产品类似的信息安全事故。

关键词：视频监控系统 SVAC 安全防范系统安防系统双向认证数字证书弱密码监控视频协议漏洞前端设备

来源：评论

学校读者我要写书评

暂无评论

美国国家安全局破解加密网络和VPN连接的方式

引用

保密科学技术 2015年第12期 64-65页

作者：吴同北京交通大学国家保密学院

多年来,网站管理人员、软件程序员等隐私拥护者提出,可采用DH算法(DiffieHellman)作为防间谍机构非法监听的防御手段。现在,有研究学者重新提出警告,美国国家安全局正利用DH算法中密钥交换的重要缺陷来监听数以万亿计的加密网络和VPN连... 详细信息

多年来,网站管理人员、软件程序员等隐私拥护者提出,可采用DH算法(DiffieHellman)作为防间谍机构非法监听的防御手段。现在,有研究学者重新提出警告,美国国家安全局正利用DH算法中密钥交换的重要缺陷来监听数以万亿计的加密网络和VPN连接。从理论上讲。

关键词：美国国家安全局 VPN 间谍机构密钥交换网站管理防御手段中间人攻击安全传输密码分析协议漏洞

来源：评论

学校读者我要写书评

暂无评论

关于路由协议漏洞的分析与防范措施

引用

硅谷 2011年第11期 195-195页

作者：梁永利中国农业科学院农业信息研究所

路由器在每个网络中起到关键的作用,如果一方路由被破坏或者一方路由被成功的欺骗,网络的完整性将受到严重的破坏,存在着man-in-the-middle攻击、拒绝服务攻击、数据丢失、网络整体性破坏和信息被嗅探等攻击。基于对这种攻击的关注,路... 详细信息

路由器在每个网络中起到关键的作用,如果一方路由被破坏或者一方路由被成功的欺骗,网络的完整性将受到严重的破坏,存在着man-in-the-middle攻击、拒绝服务攻击、数据丢失、网络整体性破坏和信息被嗅探等攻击。基于对这种攻击的关注,路由和路由协议的漏洞是亟待解决的问题,如RIP、IGP、SPF等。

关键词：路由路由协议协议漏洞

来源：评论

学校读者我要写书评

暂无评论

一种安全协议的安全性分析及攻击研究

引用

计算机工程与科学 2014年第6期36卷 1077-1082页

作者：钟军吴雪阳江一民段光明 78046部队

针对Web安全协议SSL的握手协议部分进行了详尽的阐述,对其安全性作了一定的分析,给出了理论上存在的三个协议漏洞的详尽描述,并且经过测试验证,指出了SSL协议存在***模式漏洞。

关键词： SSL协议协议漏洞安全性分析

来源：评论

学校读者我要写书评

暂无评论

电子商务协议的形式化分析与漏洞检测

电子商务协议的形式化分析与漏洞检测

引用

作者：常寅龙福州大学

学位级别：硕士

电子商务安全协议,为电子商务活动提供一系列的安全保护工作,是整个系统安全体系的核心。电子商务安全协议除需要提供保密性、认证性等一般安全性质外,通常还需要满足原子性、匿名性以及不可否认性等多种特性。因此,电子商务安全协议的... 详细信息

电子商务安全协议,为电子商务活动提供一系列的安全保护工作,是整个系统安全体系的核心。电子商务安全协议除需要提供保密性、认证性等一般安全性质外,通常还需要满足原子性、匿名性以及不可否认性等多种特性。因此,电子商务安全协议的设计与安全检测是目前的研究热点与难点。研究某种方法能准确高效的发现协议中的安全问题,并对检测出的漏洞进行有效的分析和修复,对于电子商务协议的安全运行至关重要。本文围绕电子商务安全协议的形式化分析与协议漏洞检测开展研究工作,主要工作与创新点为：1.在介绍基于CSP的模型检测工具FDR以及建模工具Casper的基础上,对Caper/FDR中攻击者的能力以及系统中产生的攻击者模型进行了描述和分析；2.将Casper/FDR2模型检测方法运用到电子商务领域的研究分析中,找到了多个电子商务协议的漏洞,并提出了具体的改进方案；3.在给出电子商务协议原子性的两个扩展特性的基础上,提出了运用CSP建模方式对交易协议的扩展原子性进行形式化分析方法,建立了非常规状态的系统模型,并运用FDR对建立的CSP模型进行检测,对于实验中发现的协议漏洞,提出了改进方案；4.在基于CSP的安全协议匿名性理论基础上,提出了一套对于电子商务协议匿名性的形式化分析方法,给出了适用于CSP/FDR模型检测技术的建模框架,并通过对一个电子商务协议进行实验描述了具体的建模分析过程。本文研究成果表明：以CSP理论框架为基础,运用相应的模型检测工具Casper和FDR2,通过有限自动机结构对电子商务协议中的所有状态集合进行检测,可有效测试与发现电子商务协议中保密性、认证性和匿名性等重要特性的满足情况,对保障电子商务系统的安全高效运行具有重要意义。

关键词：电子商务协议漏洞 CSP 形式化分析匿名性

来源：评论

学校读者我要写书评

暂无评论

网络不稳定的原因及解决办法之探讨

引用

信息与电脑（理论版） 2013年第6期 112-113页

作者：武玉庆张秀娟内蒙古自治区卫生干部教育培训中心

归纳网络不稳定的原因,给出一般解决的办法,并通过典型案例分析,从根本上找出应对网络不稳定的办法。

关键词：网络管理软件电脑网络水晶头网络执法官抓包工具拨号上网下载软件协议漏洞攻击问题攻击源

来源：评论

学校读者我要写书评

暂无评论

动态路由协议漏洞分析及防御技术研究

动态路由协议漏洞分析及防御技术研究

引用

中国电子学会第十五届信息论学术年会暨第一届全国网络编码学术年会

作者：刘云辛阳北京邮电大学网络与交换技术国家重点实验室信息安全中心

动态路由协议在当前复杂的网络环境条件下被广泛应用,而其安全性也受到了挑战。本文分析了动态路由协议的安全漏洞、存在的安全威胁。并针对这些漏洞所可能产生的攻击提出了防范建议。

关键词：路由安全协议漏洞安全防范

来源：评论

学校读者我要写书评

暂无评论

基于网络协议的Petri网研究 ——利用着色Petri网分析验证安全协议

基于网络协议的Petri网研究 ——利用着色Petri网分析验证安全协议

引用

作者：顾明甲江南大学

学位级别：硕士

在因特网技术飞速发展的今天,信息安全问题已经成为日益突出的问题。安全协议的出现虽然在很大程度上提高了网络信息传输的安全性,但同时因为设计上的缺陷性,安全协议也存在着很多漏洞。在当前,安全协议的形式化分析已经成了一个热点研... 详细信息

在因特网技术飞速发展的今天,信息安全问题已经成为日益突出的问题。安全协议的出现虽然在很大程度上提高了网络信息传输的安全性,但同时因为设计上的缺陷性,安全协议也存在着很多漏洞。在当前,安全协议的形式化分析已经成了一个热点研究问题。目前安全协议的形式化分析方法主要包括:形式逻辑方法[1]、模型检测方法[2]、定理证明方法和Petri网方法[3-4],这些方法各有自己的优点和缺点。本文采用的研究方法是基于着色Petri网的安全协议形式化分析,开展了以下主要工作: 1.介绍了安全协议的基础知识和常见的安全协议形式化分析方法;阐述了Petri网的定义和Petri网的动态特性,并介绍了着色Petri网的相关知识。 2.采用一种基于着色Petri网的安全协议验证方法,该方法采用逆向状态分析方法以及Petri网的可达性分析思想。而后,用两个安全协议实例来验证这种方法的有效性,同时,发现随着安全协议复杂性的增加,Petri网模型的状态空间爆炸问题也随之发生,并且此模型只能验证已知的安全协议漏洞,无法检测未知的安全攻击。 3.尝试采用一种基于CPN Tools的安全协议分析与验证方法来改进状态空间爆炸问题,文中以TMN协议为例,验证了该方法的有效性。方法中提出了DB ? place概念,使入侵模型变得简单明了,并且制定令牌传递机制来改善状态空间爆炸问题。

关键词：安全协议协议漏洞形式化分析着色Petri网可达性状态空间爆炸重放攻击 CPN Tools

来源：评论

学校读者我要写书评

暂无评论

基于混沌时间序列的TCP序列号预测方法研究

基于混沌时间序列的TCP序列号预测方法研究

引用

作者：尹凯涛中国科学技术大学

学位级别：硕士

计算机科学和互联网技术的迅速发展一方面给人们的生产生活提供了极大的便利,但另一方面也带来了很多不容忽视的安全隐患。这些安全隐患滋生了网络上的各种攻击技术。如今每年都有很多有组织的网络攻击方发生,这些攻击不但对社会造成损... 详细信息

计算机科学和互联网技术的迅速发展一方面给人们的生产生活提供了极大的便利,但另一方面也带来了很多不容忽视的安全隐患。这些安全隐患滋生了网络上的各种攻击技术。如今每年都有很多有组织的网络攻击方发生,这些攻击不但对社会造成损失,也影响着国家的信息安全。因此针对这些攻击技术的研究不仅促使人们不断完善各种网络协议的设计,也能够帮助人们逐步建立起安全防范意识和安全防御机制。 TCP协议是Internet使用最广泛的协议之一,它采用一系列措施来提供面向连接的、可靠的字节流服务,包括三次握手,滑动窗口检查确认和重传机制,流量控制等。但是这些机制的复杂性也导致协议自身存在一些缺陷,如TCP初始序列号的伪随机性,大滑动窗口的特点,目前已经有多个相关漏洞被公布,其中通过预测TCP序列号发起序列号攻击已经严重威胁着计算机网络的安全。针对TCP序列号漏洞的攻击由来已久,但由于用来建立连接的序列号较难预测,人们对此类攻击并不重视。但是由于TCP协议中窗口字段的特征,在实际的数据传输中,不需要完全精确的序列号,只要伪造的序列号落在窗口范围内,就可以被接收方正常处理。这种特性大大降低了攻击的难度。对于一个长期运行的TCP连接,攻击者可以通过伪造TCP报文对TCP协议漏洞进行攻击,截断TCP连接,造成拒绝服务攻击(DOS)。本文分析了目前常见操作系统TCP协议栈的初始序列号分布的伪随机性,并在此基础上,给出了基于混沌时间序列预测的初始序列号预测方法,并结合TCP窗口特征,实现了TCP Reset攻击。实验表明,常见操作系统的TCP协议栈初始序列号分布呈近似线性增长的趋势,并且基于混沌时间序列的预测方法可以达到较高的预测精度。而序列号预测结合TCP大窗口特征可以明显提高TCP Reset攻击的可行性。

关键词： TCP/IP 协议漏洞序列号滑动窗口 TCP Reset攻击

来源：评论

学校读者我要写书评

暂无评论

基于事件类型的网络协议建模

引用

安徽建筑工业学院学报（自然科学版） 2009年第6期17卷 96-100页

作者：金秀杨宝华安徽农业大学信息与计算机学院合肥230001

提出了基于事件类型的网络协议建模方法,并在模型的基础上对协议进行检测实验。协议的模型检查实验中最重要的是状态模型的描述,其决定了检测结果的精确性和有效性。事件类型的状态描述方法是通过外部事件和内部事件建立一个完整有效的... 详细信息

提出了基于事件类型的网络协议建模方法,并在模型的基础上对协议进行检测实验。协议的模型检查实验中最重要的是状态模型的描述,其决定了检测结果的精确性和有效性。事件类型的状态描述方法是通过外部事件和内部事件建立一个完整有效的状态层次模型,模型检查算法对建立的状态模型进行检测,最终得到性质检测结果。本文通过对WEP协议和四次握手协议进行事件类型的建模分析证明了状态层次方法有利于网络协议的建模与检测。

关键词：模型检查协议分析逻辑验证协议漏洞

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：