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

计算机科学 2017年第11期44卷 41-49页

作者：张凯孙小兵彭鑫赵文耘复旦大学软件学院上海201203 复旦大学上海市数据科学重点实验室上海201203

相较于其他类型的漏洞,安全性漏洞更容易发生再修复,这使得安全性漏洞需要更多的开发资源,从而增加了这些安全性漏洞修复的成本。因此,减少安全性漏洞再修复的发生的重要性不言而喻。对安全性漏洞再修复的经验研究有助于减少再修复的发... 详细信息

相较于其他类型的漏洞,安全性漏洞更容易发生再修复,这使得安全性漏洞需要更多的开发资源,从而增加了这些安全性漏洞修复的成本。因此,减少安全性漏洞再修复的发生的重要性不言而喻。对安全性漏洞再修复的经验研究有助于减少再修复的发生。首先,通过对Mozilla工程中一些发生再修复的安全性漏洞的安全性漏洞类型、发生再修复的原因、再修复的次数、修改的提交数、修改的文件数、修改的代码行数的增减、初始修复和再修复的对比等数据进行分析,发现了安全性漏洞发生再修复是普遍存在的,且与漏洞发生原因的识别的复杂程度和漏洞修复的复杂程度这两个因素有关;其次,初始修复涉及的文件、代码的集中程度是影响再修复的原因之一,而使用更复杂、更有效的修复过程可有效避免再修复的发生;最后,总结了几种安全性漏洞发生再修复的原因,使开发人员有效地识别不同类型的安全性漏洞再修复。

关键词：安全性漏洞再修复漏洞修复经验研究

来源：评论

学校读者我要写书评

暂无评论

量子导引与量子密码研究

量子导引与量子密码研究

引用

作者：曹文飞中国科学技术大学

学位级别：博士

量子纠缠和贝尔非定域性是量子物理不同于经典物理的独特现象,也是量子信息理论研究的核心。量子导引,作为量子纠缠和贝尔非定域性的一个重要补充,架起了这两个概念之间的桥梁。对量子导引的判据及其与其他物理概念之间的联系成为了近... 详细信息

量子纠缠和贝尔非定域性是量子物理不同于经典物理的独特现象,也是量子信息理论研究的核心。量子导引,作为量子纠缠和贝尔非定域性的一个重要补充,架起了这两个概念之间的桥梁。对量子导引的判据及其与其他物理概念之间的联系成为了近年来的研究热点。作为量子信息理论的应用,量子密钥分发（QKD）基于量子力学的基本原理保证了密钥分发过程的无条件安全性。然而因为现实设备的不完美,实际的QKD系统面临着不同类型的攻击。近年来提出的测量设备无关量子密钥分发协议（MDI-QKD）因其具有免疫探测器端攻击的优点吸引了理论上和实验上的巨大关注。本论文主要基于作者在读博期间对量子导引方面和量子密码方面的学习和研究成果,阐述了我们提出的一些量子导引判据和量子密钥分发协议。在量子导引判据方面,提出了推广的量子导引线性判据并给出了寻找最大违背的最优化方法。同时提出了基于局域不确定关系的量子导引判据,探讨了不确定关系对不同量子关联的限制。相比原有的线性判据,推广的量子导引线性判据有着更大的适用范围,相应的最优化方法减少了现有判据的计算复杂度,有助于量子导引的实验检验。相比之前的很多量子导引判据,基于局域不确定性关系的判据在很多情况下有更大的探测范围。此外,我们也引入了理论计算上比较方便的量子导引重排判据,并探讨了其与纠缠的重排判据的联系。在量子密钥分发方面,提出了单边测量设备无关的量子密钥分发（1SMDI-QKD）协议和开放终端的MDI-QKD网络方案。1SMDI-QKD协议不仅具有免疫所有探测端攻击的优点,同时也降低了 MDI-QKD协议对于源端的要求。对于实际应用,我们提供了以相干光作为光源的实验方案,提供了解析的诱骗态分析方法,并根据常用的实验参数对实验进行了理论模拟。根据开放终端的MDI-QKD网络方案,网络中的任何两个或多个用户可以在其他用户的辅助下建立安全通信。此外该方案不依赖于可信中继并且具有免疫测量设备攻击的优点。与传统的QKD网络相比,该工作有望极大地提高未来QKD网络的安全性与拓展性。

关键词：量子信息理论量子关联量子导引不确定性关系量子密码量子密钥分发安全性漏洞测量设备无关量子网络

来源：评论

学校读者我要写书评

暂无评论

实际量子密钥分发系统安全性的实验研究

实际量子密钥分发系统安全性的实验研究

引用

作者：汤艳琳中国科学技术大学

学位级别：博士

量子保密通信是量子信息和计算机科学完美结合的一个交叉领域,它利用量子理论为实现真正的保密信息交换提供了一个理论上无条件安全的方法。量子保密通信领域正蓬勃发展,从1984年Bennett和Brassard提出以他们命名的BB84协议这一经典的... 详细信息

量子保密通信是量子信息和计算机科学完美结合的一个交叉领域,它利用量子理论为实现真正的保密信息交换提供了一个理论上无条件安全的方法。量子保密通信领域正蓬勃发展,从1984年Bennett和Brassard提出以他们命名的BB84协议这一经典的量子密钥分发协议(QKD)以来,量子保密通信逐渐从实验室验证、短距离、低成码率的QKD模型,发展成为网络化、远距离,以及高效率高成码率高稳定性的实用系统。目前国内外已有许多公司对QKD系统进行了商业化生产,国内的QKD网络的覆盖范围也逐渐扩大,比如目前已运行的合肥网、济南网以及2016年预汁开通的QKD京沪干线。伴随实际QKD系统的逐渐发展和成熟,量子安全性问题以及现实系统的安全性漏洞也逐渐被大家所认识和重视。目前已逐渐提出了一些针对现实系统漏洞的量子黑客攻击方案,而且其中一些方案实现了简单而有效的攻击系统演示。这些攻击方案扎根于现实QKD系统和理论系统假设之间的偏差,例如量子理论中不可克隆定理要求光源为单光子源,而现实系统中很难产生单光子源,一般简单以弱相干光源代替。然而其中的多光子成分则可以提供量子比特的完美备份,从而泄露信息给窃听者。本论文作者在博士期间主要的工作主要是对QKD系统的研究,主要集中在对安全性相关的研究工作,包括对光源子系统的漏洞分析、攻击方案设计和演示,以及对测量设备无关的QKD (MDIQKD)协议的系统集成化、实用化设计。本文主要介绍QKD相关的理论基础、实验技术,以及本人在博士期间的相关工作。在光源攻击方面,文中分析了相位非随机化光源的量子密钥分发系统所存在的安全性漏洞,以及如何利用此漏洞设计攻击方案和进行攻击演示。该工作证明了相位随机化在提取安全密钥过程中的重要性。在测量设备无关QKD(MDIQKD)方面,研究MDIQKD的关键技术和实现高速、高性能、高稳定性MDIQKD系统,首次实现了世界最远距离室内MDIQKD实验,以及外场的实验验证。该工作是在QKD领域中非常关键的一步,刷新了量子通信安全传输的世界纪录。该工作中实现的高质量Bell态测量技术也为其它量子通信任务提供了一份技术参考。在此基础上,文中进一步介绍了本人后续的MDIQKD网络系统的工作,利用光开关切换各个节点,进行了三节点的星形MDIQKD网络。MDIQKD本身具备扩展为星形网络的特点,而且可以将安全性不依赖的探测设备放在星形网络中心被各星形网络外围的各节点共享。和MDIQKD相关,文中也介绍了和MDIQKD类似的探测设备无关QKD协议即DDIQKD,本人对DDIQKD进行了相位系统设计,相比偏振系统,相位编码DDIQKD系统更容易在光纤链路中实现。最后进行了该协议的实验验证和高速系统测试,相比传统QKD系统,我们得到了相同量级的成码率并提高了安全性能。

关键词：量子密钥分发 BB84协议安全性漏洞相位随机化无歧义量子态区分量子黑客攻击测量设备无关量子网络探测设备无关

来源：评论

学校读者我要写书评

暂无评论

测量设备无关量子密钥分发系统与网络实验研究

测量设备无关量子密钥分发系统与网络实验研究

引用

作者：唐光召国防科技大学

学位级别：博士

量子密钥分发(quantum key distribution,QKD)在理论上可以产生无条件安全的密钥。从1984年BB84协议出现以来,QKD系统正逐步朝着高密钥率、远距离和网络化方向发展。与此同时,实际QKD系统的安全性也逐渐引起人们的重视。目前已经逐渐发... 详细信息

量子密钥分发(quantum key distribution,QKD)在理论上可以产生无条件安全的密钥。从1984年BB84协议出现以来,QKD系统正逐步朝着高密钥率、远距离和网络化方向发展。与此同时,实际QKD系统的安全性也逐渐引起人们的重视。目前已经逐渐发现了一些安全性漏洞,并且实现了简单有效的攻击演示。因此只有对实际系统的安全性漏洞开展防御性研究,才能确保QKD在现实条件下的安全性。测量设备无关量子密钥分发(measurement-device-independent QKD,MDIQKD),可以完全消除测量漏洞,它是将测量设备放置在不可信第三方,提高了实际QKD系统的安全性。因此开展MDI-QKD系统和网络的实验研究有十分重要的意义。目前,MDI-QKD系统和网络的实验操作较为复杂,限制了其实验研究的广泛性。为了简化MDI-QKD实验操作,降低实验难度,本文开展了偏振复用MDI-QKD系统、“plug-and-play”MDI-QKD系统以及“plug-and-play”MDI-QKD网络的实验研究,主要完成了以下几方面的工作:1.进行了偏振复用time-bin相位编码MDI-QKD的原理性验证。实验系统减少了强度调制器的使用数量,并实现了对所有符合响应的有效测量。我们使用偏振调制器和由偏振分束器熔接的不等臂Mach-Zehnder干涉仪(Asymmetric Mach-Zehnder Interferometer,AMZI)进行X基和Z基的编码。两个time bin分别复用了互相垂直的偏振态,两个编码基光强保持一致。在探测端使用偏振分束器对两个time bin进行解复用,并分别传送至保偏耦合器进行干涉。2.我们实现了一套全自稳的time-bin相位编码“plug-and-play”MDI-QKD系统。在该系统中,Alice和Bob共用一个信号激光器和一个AMZI,两用户的光信号在频谱、脉冲波形、相位参考系和偏振态上保持一致。同时,通过合理设计同步光路,即从Alice返回的同步激光用于激发Bob的信号光,而从Bob返回的同步激光用于激发Alice的信号光,保证了Alice和Bob的编码信号同时到达Charlie端。该系统降低了Alice和Bob的硬件需求,便于网络化。3.我们提出了一个“plug-and-play”MDI-QKD网络方案。网络中的辅助系统集中在不可信服务终端,包括同步光源系统、信号光源系统和探测系统,用户只需要信号监控和量子比特编码设备,便于网络的扩展。每台同步激光对应一个特定用户,用于激发其他通信用户的信号光。用户连续编码由其他同步激光激发的信号光,可以实现与其他通信用户点对多点的量子密钥分发。我们在实验上搭建了三用户(Alice、David、Bob)和一个不可信服务终端(Charlie)的“plug-and-play”MDI-QKD网络。在该网络中,三个用户共用一套time bin产生设备,结合合理的同步光路设计,保证了网络的自稳特性。在通信过程中,David连续编码由Alice和Bob对应的同步激光激发的信号脉冲,与Alice和Bob同时进行了密钥分发。

关键词：量子密钥分发安全性漏洞实际系统测量设备无关即插即用量子密钥分发网络自稳点对多点

来源：评论

学校读者我要写书评

暂无评论

黑客入侵过程全接触

引用

市场与电脑 2003年第7期 60-62页

作者：刘庆

来源：评论

学校读者我要写书评

暂无评论

浅谈量子密码系统探测端致盲攻击的防御方法

引用

电子世界 2021年第12期 178-179页

作者：钱泳君安徽问天量子科技股份有限公司

量子密码,狭义也称为量子密钥分配(Quantum key distribution-QKD),它可以让异地的双方共享一串安全的密钥。QKD利用量子物理原理保证了协议安全性,第一个QKD协议是在1984年提出的,简称BB84协议。然而,由于实际器件的不完美特性,会使得... 详细信息

量子密码,狭义也称为量子密钥分配(Quantum key distribution-QKD),它可以让异地的双方共享一串安全的密钥。QKD利用量子物理原理保证了协议安全性,第一个QKD协议是在1984年提出的,简称BB84协议。然而,由于实际器件的不完美特性,会使得实际器件和理论模型存在差异,这样的差异可能会带来安全性漏洞,攻击者,通常称为Eve,就可以利用这样的安全性漏洞进行攻击,从而窃取密钥不被通信双方发觉。

关键词：协议安全性安全性漏洞量子密钥分配量子物理防御方法 BB84协议 Quantum 实际器件

来源：评论

学校读者我要写书评

暂无评论

基于TCP/IP协议漏洞的常见攻击方法

引用

电力信息化 2004年第7期2卷 72-74页

作者：陈光新马文捷江苏省电力公司镇江供电公司信息中心江苏镇江212003

针对TCP/IP网络存在的若干安全性漏洞,介绍了一些现存的攻击行为,进而提出了相应的防范措施,并且用Visual Basic语言实现了端口监控。

关键词：攻击方法 TCP/IP协议安全性漏洞 Basic语言 TCP/IP网络端口监控

来源：评论

学校读者我要写书评

暂无评论

為分析動態網頁應用程式設計之框架

為分析動態網頁應用程式設計之框架

引用

作者：許宏瑋臺灣大學

学位级别：碩士

由於其重要性，在过去二十多年间网页应用的安全性已被多所研究。程式分析是强化网页应用安全性的手段之一。虽然已有众多程式分析的手法被提出与讨论，在「如何能有效渐进地、模组化地获得与组合程式片段之分析结果，以完成更全面之分... 详细信息

由於其重要性，在过去二十多年间网页应用的安全性已被多所研究。程式分析是强化网页应用安全性的手段之一。虽然已有众多程式分析的手法被提出与讨论，在「如何能有效渐进地、模组化地获得与组合程式片段之分析结果，以完成更全面之分析」方面，仍有许多探索研究的价值。在这篇论文中，我们将此考量称为「模组化分析」议题。掌握如何良好地实现程式模组化分析之知识，在建构分析力或效率更强之分析工具、设计结果可有效重用之分析方法等方面上，是十分关键的一环。由於在目前已提出的网页程式安全性分析手法中，模组化分析的探讨不多，我们於是思考如何改动或重新设计这些分析手法以强化其分析之模组化程度、进一步来发展能力更为优秀的分析手段。我们希望设计一个分析框架来引导、规范，使我们於上述议题的探索能够有系统、并能产出具有良好扩展性的成果。该框架为达此一目标，其本身也必须具良好的通用性与可扩展性。在此论文中，我们提出一个能支援多语言、动静态混合分析的分析框架。它将可被用来规范、组织许多不同的动、静态分析技巧之实作，并用以整合针对不同程式语言所发展的分析手段。我们认为在此设计上发展，能够达成我们对於通用性与可扩展性的期望。透过在此框架的规范下建构一个分析工具的雏形实作，我们来验证运用该框架的效果。我们以一个近期被提出之PHP网页应用安全性污点分析分析手法作为参考对象，显示在框架的引导下修改与实作之，改动过後的手法较之原版本在处理静态分析中「难以确定调用对象」的问题上具有更好的准确度与分析模组化程度。实作其他已知的分析手法，并对之进行改动、实验以发展更具良好分析模组化特性、能力更强之分析手法，在此框架的环境之中，将能够进行得更加容易。

关键词：分析模組化程式碼分析工具動態分析框架模組化分析腳本語言安全性漏洞靜態分析網頁應用程式安全性分析

来源：评论

学校读者我要写书评

暂无评论

網頁應用程式滲透測試案例之自動化產生

網頁應用程式滲透測試案例之自動化產生

引用

作者：游昇峰臺灣大學

学位级别：碩士

随着网页应用程式蓬勃发展，网页应用程式的安全性日趋重要。目前有许多检测工具可以帮助程式设计师找出程式中的安全性漏洞，然而依据检测工具使用分析方法的不同各有其优缺点。分析方法大约分为两类，一类是使用静态分析方法直接对程... 详细信息

随着网页应用程式蓬勃发展，网页应用程式的安全性日趋重要。目前有许多检测工具可以帮助程式设计师找出程式中的安全性漏洞，然而依据检测工具使用分析方法的不同各有其优缺点。分析方法大约分为两类，一类是使用静态分析方法直接对程式码进行分析找出程式中可能的弱点，另一类则是透过动态分析方法在执行程式的环境下进行分析。其中，静态分析方法为了评估程式所有可能的状态，必须藉由抽象化的技术来表述，然而这样的方式却不可避免地造成分析结果有误报的情形。至於动态分析方法的问题则在於程式执行的状态下进行分析很难能够完全涵盖程式所有可能执行的路径，因此分析结果易有漏报的情形。一般而言，严谨的程式码检测流程需要专家检视工具分析的结果去排除误报的情况，然而这样的动作是非常耗时的，此外专家的知识也会影响判断的正确性。本篇论文的贡献是整合静态分析与动态测试方法产生渗透测试案例，并且透过自动化执行产生的测试案例来确认弱点，藉此减少专家需要检视的弱点数量。主要方法是利用广度优先演算法针对每个弱点使用反向资料流分析找出所有可走到弱点发生位置的源头，并且针对每条从源头到弱点发生位置的路径蒐集限制条件式，再根据弱点种类附加相对应的攻击字串，最後透过限制式解算器求出各个路径是否存在一组可行解能够满足蒐集的限制条件式。如果存在一组可行解表示攻击者可攻穿此条路径的弱点，我们依据限制式解算器算出的结果产生渗透测试案例。接着透过自动化测试的方式执行测试案例，确认真实存在一个攻击情境可攻穿工具找出的弱点。整体而言，藉由整合静态分析与动态测试产生测试案例，并且在网站的架构下能够自动化展示攻击情境来确认弱点的存在，提供检测者一个较具准确性的检测结果。

关键词：測試案例自動化測試靜態分析安全性漏洞網頁應用程式

来源：评论

学校读者我要写书评

暂无评论

一种基于LFSR哈希的无条件安全的认证加密方法

一种基于LFSR哈希的无条件安全的认证加密方法

引用

作者：尹华磊李炳宏富尧陈增兵 210093 江苏省南京市鼓楼区汉口路22号

本发明公开了一种基于LFSR哈希的无条件安全的认证加密方法，其在确保信息机密性的同时防止攻击者发起扰乱攻击或暴力破解攻击，确保每次收发消息都是经过认证后的合理信息；同时，本发明哈希函数的安全性由不可约多项式和共享的一组密... 详细信息

标准号: CN114039720A

本发明公开了一种基于LFSR哈希的无条件安全的认证加密方法，其在确保信息机密性的同时防止攻击者发起扰乱攻击或暴力破解攻击，确保每次收发消息都是经过认证后的合理信息；同时，本发明哈希函数的安全性由不可约多项式和共享的一组密钥来保证，避免了安全性漏洞。本发明通过安全的方式共享绝对安全的第一密钥串和第二密钥串，发送端利用第一密钥串和不可约多项式生成哈希函数从而生成消息认证码，利用第二密钥串对消息进行一次一密加密；接收端利用第二密钥串进行解密，利用第一密钥串和不可约多项式生成哈希函数进行认证。该方法在原理上提供了可以抵抗所有现有攻击的信息理论的安全性。

关键词：密钥不可约多项式哈希函数攻击安全性漏洞消息认证码信息机密性防止攻击绝对安全认证加密信息理论一次一密发送端接收端组密钥共享认证哈希解密破解加密收发安全抵抗扰乱保证

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：