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

随着计算机安全技术的高速发展,黑客的攻击已经受到了越来越多的限制。如何突破安全技术的封锁,建立一种全新的黑客攻击技术与体制已经成为当前黑客的主要研究方向。文章介绍了攻击树模型,提出了一种基于攻击树的网络攻击系统,它可以根据目标的实际情况制定出攻击策略,实施攻击。该系统使得攻击有自动性和智能性,大大提高了攻击成功的可能性。

关键词：攻击树攻击策略攻击模型自动

来源：评论

学校读者我要写书评

暂无评论

普适计算的隐私保护安全协议

引用

华中科技大学学报（自然科学版） 2007年第11期35卷 103-105页

作者：郭亚军何炎祥齐梅武汉大学计算机学院湖北武汉430079 华中师范大学计算机科学系湖北武汉430079

提出了一个用户隐私保护的安全协议.该协议由服务发现者对用户进行认证和盲签名,随后用户以匿名的方式访问服务提供者提供的资源.根据匿名与不可关联性具有紧密的关系,设计了普适计算的匿名攻击模型,通过匿名攻击模型分析可以看出:隐私... 详细信息

提出了一个用户隐私保护的安全协议.该协议由服务发现者对用户进行认证和盲签名,随后用户以匿名的方式访问服务提供者提供的资源.根据匿名与不可关联性具有紧密的关系,设计了普适计算的匿名攻击模型,通过匿名攻击模型分析可以看出:隐私保护安全协议不仅允许服务提供者对用户的认证,同时也可以保护用户隐私,并且能够防止重放攻击以及设备间的恶意串通.

关键词：普适计算隐私匿名认证攻击模型

来源：评论

学校读者我要写书评

暂无评论

一种基于等级划分的物联网安全模型

引用

计算机工程 2011年第10期37卷 1-7页

作者：孙知信骆冰清罗圣美朱洪波南京邮电大学物联网研究院南京210012 南京大学计算机软件新技术国家重点实验室南京210093 中兴通讯股份有限公司南京210003

在对物联网安全进行研究的过程中,对于不同安全敏感度应用,通常是人为判断其所属的安全等级域。针对该问题,以等级划分为基础,提出一个物联网安全模型,利用该模型分析某一物联网应用的拓扑结构,预测其攻击来源与类型并判定其所属的安全... 详细信息

在对物联网安全进行研究的过程中,对于不同安全敏感度应用,通常是人为判断其所属的安全等级域。针对该问题,以等级划分为基础,提出一个物联网安全模型,利用该模型分析某一物联网应用的拓扑结构,预测其攻击来源与类型并判定其所属的安全等级域,从而对该应用进行合适的安全技术配置。将该模型用于某大学的智慧校园系统中,实践结果证明,其有利于学校更好地发展智慧校园应用,建立更加安全、稳定的智慧校园系统。

关键词：物联网等级划分安全模型物联网拓扑攻击模型

来源：评论

学校读者我要写书评

暂无评论

公钥密码方案的可证明安全性注记

引用

计算机应用研究 2008年第4期25卷 1130-1133页

作者：任艳丽谷大武上海交通大学计算机与工程系上海200240

长期以来,人们对于可证明安全的认识存在着一些误区:可证明安全的方案一定是安全的,归约证明紧的一定比归约松的更安全.总结了与方案安全性有关的几个要素,分析了公钥密码方案可证明安全的实质,纠正了以往的一些错误认识,指出可证明安... 详细信息

长期以来,人们对于可证明安全的认识存在着一些误区:可证明安全的方案一定是安全的,归约证明紧的一定比归约松的更安全.总结了与方案安全性有关的几个要素,分析了公钥密码方案可证明安全的实质,纠正了以往的一些错误认识,指出可证明安全的方案不一定是安全的,归约紧的方案不一定比归约松的更安全.方案的安全性要综合四个要素一起考虑,总的来说,攻击模型越难,攻击目标越容易,困难问题越难,而归约证明最紧的方案越安全.

关键词：可证明安全攻击模型攻击目标归约松紧度

来源：评论

学校读者我要写书评

暂无评论

网络攻击的形式化建模探讨

引用

计算机工程与应用 2004年第23期40卷 135-136,168页

作者：苏一丹李桂上海理工大学管理学院广西大学计算机与信息工程学院南宁530004 广西大学计算机与信息工程学院

随着网络入侵技术的不断发展,攻击行为表现出不确定性、复杂性和多样性的特点,攻击活动往大规模、协同化和多层次方向发展。网络攻击的日益复杂化迫切需要有一种新的描述方法对之进行有效的形式化建模,Z语言和确定有限自动机(DFA)是广... 详细信息

随着网络入侵技术的不断发展,攻击行为表现出不确定性、复杂性和多样性的特点,攻击活动往大规模、协同化和多层次方向发展。网络攻击的日益复杂化迫切需要有一种新的描述方法对之进行有效的形式化建模,Z语言和确定有限自动机(DFA)是广泛使用的形式化工具,适合用来精确表示模型的语法和语义。文章建立了基于DFA的攻击模型,并在此基础上利用Z语言对之进行了有效的形式化描述。

关键词：攻击模型形式化 Z语言确定有限自动机 DFA Object-Z 网络攻击网络安全

来源：评论

学校读者我要写书评

暂无评论

模型驱动的web应用SQL注入安全漏洞渗透测试研究

模型驱动的web应用SQL注入安全漏洞渗透测试研究

引用

作者：田伟南开大学

学位级别：博士

基于web的应用软件在互联网业务各领域中日益广泛和重要，而各种安全漏洞却给当前迅速发展的web应用带了极大的安全威胁。所以通过安全漏洞测试来确定web应用是否存在安全漏洞，是保障web应用安全性的必要措施。因此为了应对安全漏洞给... 详细信息

基于web的应用软件在互联网业务各领域中日益广泛和重要，而各种安全漏洞却给当前迅速发展的web应用带了极大的安全威胁。所以通过安全漏洞测试来确定web应用是否存在安全漏洞，是保障web应用安全性的必要措施。因此为了应对安全漏洞给web应用所造成的严重安全威胁，对web应用的安全漏洞测试进行研究具有极大的紧迫性和现实意义。渗透测试是一种以模拟攻击、反应分析的方式确定软件安全漏洞存在性的方法，在测试web应用安全漏洞方面具有诸多优点，因此对其研究日益受到关注。但目前对web应用SQL注入渗透测试的相关研究中，尚未给出适当理论方法来指导生成多种类、多形态的SQL注入渗透测试用例（攻击输入）以准确测试web应用防御机制充分性、发现更全面的SQL注入安全漏洞的问题。这使得对web应用SQL注入渗透测试盲目性较强、易造成漏报而降低测试准确度。本文致力于研究如何从优化SQL注入安全漏洞渗透测试用例的角度，提高渗透测试准确度的问题。为此提出了模型驱动的SQL注入渗透测试方法。所提方法的核心思想是通过建立新的SQL注入攻击模型，指导建立SQL注入用例形式化模型并提出对用例模型的实例化方法，最终生成全面反映SQL注入攻击手段和攻击输入样式的优化SQL注入渗透测试用例，以触发更充分的SQL注入安全漏洞，避免漏报等问题，提高对web应用SQL注入安全漏洞渗透测试准确度。围绕着上述的研究问题和研究思路，本文所进行的主要工作和创新点包括： 1）提出了新的基于安全目的模型的SQL注入攻击模型以及攻击模型驱动的SQL注入渗透测试框架。本研究基于安全目的模型建模方法建立全新的SQL注入攻击模型。相比目前相关研究中提出的SQL注入攻击模型，本研究所建立新的SQL注入攻击模型可更全面表述SQL注入攻击输入、安全漏洞特征和攻击位置等方面的规律。同时提出攻击模型驱动的SQL注入渗透测试框架，框架中基于本研究所建立的SQL注入攻击模型来指导优化的SQL注入用例生成。此方面的研究是对目前SQL注入攻击建模进行优化并以其指导SQL注入用例生成的创新性工作。 2）针对所提出渗透测试框架中用例形式化表达问题，提出了对SQL注入安全漏洞渗透测试用例的形式化建模方法。在所提出的SQL注入攻击模型指导下，对SQL注入渗透测试用例建模，主要包括两方面工作：以形式化符号表述SQL注入攻击输入规律；以形式化语言描述web应用SQL注入安全漏洞的行为特征。建立了以形式化方法描述SQL注入攻击和安全漏洞判定规则的方案，实现对SQL注入渗透测试用例输入与预期输出的模型化描述，克服当前相关研究中对用例无规律、无限性随机枚举描述方式的不足。此方面的研究是将SQL注入用例描述由无序枚举转变为有规律模型化描述的创新性工作。 3）针对所提出测试框架中基于模型生成实际用例的问题，提出了对所建立的SQL注入渗透测试用例模型的实例化方法。本研究提出了一系列新的SQL注入渗透测试用例覆盖准则，作为用例模型实例化的指导和渗透测试用例充分性衡量准则。通过所提出的模型实例化方法和覆盖度准则，将本研究中所建立的测试用例模型转化为可执行的优化的测试用例，以提高目前SQL注入渗透测试准确度，并解决目前相关研究中研究不足：对SQL注入渗透测试用例的选择及用例充分性的问题。此方面的研究是建立SQL注入用例模型实例化方法和用例输入充分性评价准则的创新性工作。 4）针对所生成SQL注入用例集合测试效果评价问题，提出了基于多级防御web应用的SQL注入渗透测试用例测试效果验证方法。通过在web应用前端输入页面与后台数据库交互通道中设立不同防御强度的SQL注入攻击防御措施，实现在web应用中预设探测难度不同的SQL注入安全漏洞，以此作为SQL注入用例测试效果的验证平台。只有充分有规律的SQL注入渗透测试用例才能全面地测试出预设的SQL注入安全漏洞，获得较好的测试效果。在所提出的测试效果验证web应用平台上，对本研究所提出的用例与随机枚举测试用例和其他SQL注入模型生成的用例进行了实测效果的对比分析。本方法生成的用例降低了SQL注入渗透测试的漏报，表明了本方法生成优化用例的可行性和有效性。

关键词：渗透测试 SQL注入攻击模型测试用例 web应用

来源：评论

学校读者我要写书评

暂无评论

战术移动自组网脆弱性分析与仿真

引用

重庆邮电大学学报（自然科学版） 2021年第4期33卷 595-605页

作者：王英彭钦鹏谭歆张平安重庆邮电大学计算机科学与技术学院重庆400065 移动通信技术重庆市重点实验室重庆400065

针对战术移动自组网协议的安全性、脆弱性等问题,分析并仿真出适用于战术移动自组网的攻击方案,增强对敌方战场通信电台的控制能力,造成敌方战场通信指挥系统性能衰减甚至瘫痪。该方案从战术移动自组网的介质访问控制(media access cont... 详细信息

针对战术移动自组网协议的安全性、脆弱性等问题,分析并仿真出适用于战术移动自组网的攻击方案,增强对敌方战场通信电台的控制能力,造成敌方战场通信指挥系统性能衰减甚至瘫痪。该方案从战术移动自组网的介质访问控制(media access control,MAC)层、内联网层、传输层的协议特征分析,解析战术网络电台在MAC层信道竞争接入、内联网层拓扑更新和传输层传输控制协议(transmission control protocol,TCP)的3次握手机制下存在的协议漏洞,并在NS3网络仿真平台中分层构建不同的攻击模型。该模型在内联网层解决了传统移动自组网中路由黑洞攻击不适用于战术移动自组网的问题,同时在传输层重构了TCP半连接队列机制。对比了攻击前网络性能的变化,仿真结果表明,各层实施的攻击技术都能有效降低战术移动自组网的网络性能,验证了所建攻击模型的合理性。

关键词：战术移动自组网协议分析安全漏洞攻击模型

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：