期刊文献+
共找到17篇文章
< 1 >
每页显示 20 50 100
量子密钥分发系统的现实无条件安全性 被引量:21
1
作者 王金东 张智明 《量子电子学报》 CAS CSCD 北大核心 2014年第4期449-458,共10页
量子密钥分发系统由于能够提供一种物理上安全的密钥分发方式,因此成为量子信息领域的研究热点,其中如何在现实条件下保证量子密钥分发的无条件安全性是该领域的一个重要研究课题。从经典保密通信系统中具有完善保密性的一次一密体制出... 量子密钥分发系统由于能够提供一种物理上安全的密钥分发方式,因此成为量子信息领域的研究热点,其中如何在现实条件下保证量子密钥分发的无条件安全性是该领域的一个重要研究课题。从经典保密通信系统中具有完善保密性的一次一密体制出发,介绍了量子密钥分发系统的应用模型和整体保密通信系统的安全性基础,以及自第一个协议被提出以来量子密钥分发现实无条件安全性的研究进展,重点介绍了针对现实条件安全漏洞的各种类型的量子黑客攻击方案、防御方式,以及最近两年被广泛重视的与测量设备无关的量子密钥分发系统的理论和实验进展。 展开更多
关键词 量子光学 一次一密 量子密钥分发 条件安全性 攻击与防御
下载PDF
模态认识论与反事实条件句逻辑
2
作者 李懿迪(翻译) 《湖北大学学报(哲学社会科学版)》 CSSCI 北大核心 2024年第2期28-38,177,共12页
在德雷茨克和诺齐克传统中,模态认识论关注由反事实条件句表达的模态联系,如敏感性和反事实安全性。认知封闭失效是作为知识必要条件的反事实条件句封闭失效的结果,该结果依赖斯塔尔内克-刘易斯语义学。这种语义学因忽略模态算子“woul... 在德雷茨克和诺齐克传统中,模态认识论关注由反事实条件句表达的模态联系,如敏感性和反事实安全性。认知封闭失效是作为知识必要条件的反事实条件句封闭失效的结果,该结果依赖斯塔尔内克-刘易斯语义学。这种语义学因忽略模态算子“would”的独立意义而应被摒弃。作为其替代的反事实条件句的组合语义学认为,反事实条件句是语境受限的严格条件句。在替代语义学中,加强前件律和逆否规则等逻辑原则有效,因而原本失效的反事实条件句在替代语义中均有效,认知封闭原则成立。 展开更多
关键词 模态认识论 认知封闭 敏感性条件 反事实安全性条件 反事实条件句逻辑
下载PDF
变拓扑四面体机器人攀爬安全性与参数分析
3
作者 杨健 聂宏 +2 位作者 陈金宝 陈萌 李春 《科学技术与工程》 北大核心 2014年第11期86-90,102,共6页
变拓扑四面体机器人是基于自主纳米群技术的一种具有多重自由度的机器人系统,由可伸缩结构(伸缩杆)和连接部分(节点)组成的四面体结构为基本单元。分析了机器人沿壁面攀爬运动的典型过程,并利用ADAMS软件进行了动态仿真实验。分析了攀... 变拓扑四面体机器人是基于自主纳米群技术的一种具有多重自由度的机器人系统,由可伸缩结构(伸缩杆)和连接部分(节点)组成的四面体结构为基本单元。分析了机器人沿壁面攀爬运动的典型过程,并利用ADAMS软件进行了动态仿真实验。分析了攀爬过程的安全性问题,给出了机器人在垂直壁面和倾斜壁面的静态安全性条件,同时分析了接触力与静摩擦系数对运动特性的影响。结果表明:接触力与静摩擦系数为影响攀爬特性的关键参数,接触力和静摩擦系数越小,在一个运动周期中机器人的有效位移越小,负向速度越大,两者过小时将会导致运动的失效。 展开更多
关键词 变拓扑四面体机器人 攀爬 安全性条件
下载PDF
索萨驳倒怀疑论了吗?——对索萨安全性路径的批判性考察
4
作者 李香莲 《当代中国价值观研究》 2021年第3期74-86,共13页
如何反驳怀疑论是当代知识论的一个重要议题。作为反怀疑论的重要代表,索萨在早期采取了一种基于知识的安全性条件的路径。根据知识的安全性条件,知识要求的是安全性而非敏感性,一个不容易出错或为假的信念是一个安全的信念。“我没有... 如何反驳怀疑论是当代知识论的一个重要议题。作为反怀疑论的重要代表,索萨在早期采取了一种基于知识的安全性条件的路径。根据知识的安全性条件,知识要求的是安全性而非敏感性,一个不容易出错或为假的信念是一个安全的信念。“我没有被极端欺骗”是一个安全的信念,因而,索萨捍卫了摩尔的常识立场,进而驳斥了极端怀疑论。但在遭遇梦境怀疑论时,索萨预设了一种梦境想象模型,该模型主张“梦中无信念”与“做梦是想象”,用以修补安全性路径。不过,梦境怀疑论的深层威胁在于,我们不能够反思地知道我们不在做梦。然而,索萨提供的“我思故我醒”的论证被认为是一种循环论证。因此,索萨并没有真正驳倒怀疑论。 展开更多
关键词 索萨 安全性条件 梦境怀疑论 梦境想象模型 “我思故我醒”
下载PDF
B92量子密钥分配协议的变形及其无条件安全性证明 被引量:5
5
作者 张权 唐朝京 张森强 《物理学报》 SCIE EI CAS CSCD 北大核心 2002年第7期1439-1447,共9页
分析了Shor和Preskill证明BB84量子密钥分配协议无条件安全性的方法 ,指出不能用Shor Preskill方法直接证明B92量子密钥分配协议的无条件安全性。同时借鉴Shor Preskill方法 ,引入一种将B92协议转化为BB84协议的变换 ,通过证明该变换过... 分析了Shor和Preskill证明BB84量子密钥分配协议无条件安全性的方法 ,指出不能用Shor Preskill方法直接证明B92量子密钥分配协议的无条件安全性。同时借鉴Shor Preskill方法 ,引入一种将B92协议转化为BB84协议的变换 ,通过证明该变换过程不会泄漏密钥信息给窃听者 ,以此证明B92协议的无条件安全性 .也解决了Lo等人提出的关于用Shor Preskill方法证明B92协议的困难 . 展开更多
关键词 变形 条件安全性 证明 B92协议 CSS码 量子密钥分配 量子信息
原文传递
应用量子盲签名和群签名的电子支付系统 被引量:3
6
作者 田原 温晓军 +1 位作者 公延军 牛夏牧 《计算机工程与应用》 CSCD 北大核心 2011年第19期108-112,共5页
提出了一个基于量子群签名和盲签名电子支付系统的实现方案。基于经典的签名的现有的电子支付系统不能保证无条件安全性。与经典的电子支付系统不同,提出的方案既能满足电子支付系统的需求,又能实现无条件安全。应用量子密钥分发技术,... 提出了一个基于量子群签名和盲签名电子支付系统的实现方案。基于经典的签名的现有的电子支付系统不能保证无条件安全性。与经典的电子支付系统不同,提出的方案既能满足电子支付系统的需求,又能实现无条件安全。应用量子密钥分发技术,量子一次一密算法和审计机制实现了基于量子签名的电子支付系统。 展开更多
关键词 量子签名 电子支付系统 条件安全性
下载PDF
互联网中任意终端间量子密钥中继协议 被引量:2
7
作者 徐人凤 肖正兴 +2 位作者 李粤平 聂哲 温晓军 《计算机应用研究》 CSCD 北大核心 2013年第2期507-509,512,共4页
提出了量子密钥中继的概念及协议。利用量子纠缠特性或者量子隐形传态可以实现不相邻两台终端设备间共享量子密钥,即量子密钥中继,最终实现互联网中任意终端间的量子密钥共享,并具有无条件的安全性。
关键词 量子密钥中继 条件安全性 互联网
下载PDF
故障树分析测试用例生成技术研究与应用 被引量:6
8
作者 漆莲芝 张军 谢敏 《信息与电子工程》 2010年第5期594-597,共4页
文章对采用故障树分析技术造成系统失效的各种软件因素进行分析,确定造成系统失效的各种原因组合。通过构造软件系统故障树,生成故障树的最小割集,分析各个割集的安全性约束条件,由安全性约束条件分析测试数据,最后生成测试用例的算法... 文章对采用故障树分析技术造成系统失效的各种软件因素进行分析,确定造成系统失效的各种原因组合。通过构造软件系统故障树,生成故障树的最小割集,分析各个割集的安全性约束条件,由安全性约束条件分析测试数据,最后生成测试用例的算法。将故障树分析技术用于指导软件测试设计,体现了以系统工程方法研究软件测试的系统性、准确性和预测性。 展开更多
关键词 故障树分析 故障树最小割集 安全性约束条件 测试用例
下载PDF
量子通信的前沿、理论与实践 被引量:7
9
作者 王向斌 《中国工程科学》 CSCD 北大核心 2018年第6期87-92,共6页
量子通信是量子信息科学的重要分支,其中最重要的两个应用是量子密钥分发和量子隐形传态。量子密钥分发可为通信双方提供无条件安全的密钥分发方式,其理论安全性由量子力学规律保证。量子密钥分发因其无条件安全的特点受到广泛关注。本... 量子通信是量子信息科学的重要分支,其中最重要的两个应用是量子密钥分发和量子隐形传态。量子密钥分发可为通信双方提供无条件安全的密钥分发方式,其理论安全性由量子力学规律保证。量子密钥分发因其无条件安全的特点受到广泛关注。本文通过对量子密钥分发的广泛调研,系统地介绍了量子密钥分发的主要内容、理论安全性证明现状和实际安全性证明现状,着重介绍了诱骗态方法和测量装置无关的量子密钥分发方案;同时针对量子密钥分发在信道衰减严重时面临的问题做了系统调研,介绍了目前学术界对该问题的主流解决方法,即量子中继或卫星中继;最后指出量子密钥分发已经由理论模型发展到实际系统,为后续开展量子密钥分发相关研究提供了有益参考。 展开更多
关键词 量子密钥分发 条件安全性 现实条件安全性 纠缠分发 量子中继
下载PDF
四维Hilbert空间上的量子密钥分配协议
10
作者 李恕海 王育民 《计算机科学》 CSCD 北大核心 2008年第1期75-76,86,共3页
文中抽出了在4维Hibert空间上的量子密钥分配算法,构造了三种测量基来应对能在两个量子比特上出现的所有错误,保证了窃听检测过程的有效性,从而提供了无条件安全性的根本依据,该协议的最大优势在于显著节省上了量子和经典信息的通信量。
关键词 量子密码学 错误检测 BELL基测量 条件安全性
下载PDF
基于纠缠相干性的量子投票方案
11
作者 卢智嘉 陈永志 +1 位作者 杨彦彬 李铮 《石家庄学院学报》 2012年第6期10-14,共5页
提出了一个基于3粒子态纠缠相干性的量子投票方案,利用量子力学的物理特性来实现投票、计票和即时监督.此外,方案还采用了量子密钥分配和一次一密算法,克服了传统电子投票协议中普遍存在的计算安全性的局限,具有无条件安全性.
关键词 量子投票 强盲签名 纠缠态 条件安全性
下载PDF
一种新的双模态光源诱骗态量子密钥分配方案 被引量:3
12
作者 王潋 周媛媛 +2 位作者 周学军 陈霄 张政 《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 2018年第11期74-82,共9页
提出了一种新的基于双模态光源的被动诱骗态量子密钥分配通用方案.作为双模态之一的标记态,在发端经过分束和检测后获得4类探测结果,据此,将作为信号态的另一模式分成4个非空脉冲集合,从而利用这4类脉冲进行参数估计和密钥提取.同时,基... 提出了一种新的基于双模态光源的被动诱骗态量子密钥分配通用方案.作为双模态之一的标记态,在发端经过分束和检测后获得4类探测结果,据此,将作为信号态的另一模式分成4个非空脉冲集合,从而利用这4类脉冲进行参数估计和密钥提取.同时,基于预报单光子源和标记配对相干态光源对此方案展开了性能分析,讨论了发端探测器不同探测效率对系统性能的影响,并对实际系统进行了统计波动分析.仿真结果表明:方案性能在误码率和安全传输距离(可达198.6 km)方面都优于现有基于不同光源的3强度诱骗态量子密钥分配方案;采用标记配对相干态光源的各方面性能均优于采用预报单光子源;密钥生成率随发端探测效率的增大而增大;考虑统计波动时,标记配对相干态光源的有效性也要优于预报单光子源,且其数据长度为109时,此方案最大安全距离达到164 km;此方案仅需使用单一强度脉冲,在降低调制光源实现难度的同时又提升了系统性能,对QKD系统的工程实现具有一定的参考价值. 展开更多
关键词 量子密钥分配 条件安全性 被动诱骗态 双模态光源 统计波动
下载PDF
基于监狱模型的量子隐蔽通信协议
13
作者 公延军 温晓军 +1 位作者 季丽萍 牛夏牧 《计算机应用研究》 CSCD 北大核心 2011年第4期1453-1456,共4页
提出了一个监狱模型下的隐蔽通信协议。协议利用量子稠密编码原理来实现,达到同时对所传输信息内容的保密以及通信过程隐蔽的目的,且具有无条件安全性和对攻击者的可检测性。本协议在军事以及高机密民用隐蔽通信领域将发挥重要作用。
关键词 监狱模型 隐蔽通信 条件安全性 可检测性
下载PDF
设备无关量子密钥分配方案研究
14
作者 王潋 周媛媛 周学军 《光通信技术》 北大核心 2017年第8期55-58,共4页
分析了系列设备无关量子密钥分配方案——全设备无关、半设备无关、单边设备无关及测量设备无关四类量子密钥分配方案的工作原理,阐述了其发展现状,总结了各自的优点和缺陷,并结合实际系统对下一步量子密钥分配的研究提出了建议和展望。
关键词 量子密钥分配 设备无关 条件安全性
下载PDF
The Principle and Method for Delineation of Potential Seismic Sources in Northwest Yunnan
15
作者 Zhou Qing Guo Shunmin Xiang Hongfa 《Earthquake Research in China》 2005年第2期201-213,共13页
Based on the collection and analysis of achievements of other scholars, and by consulting the results of seismic safety evaluation of engineering sites and field surveys of recent years, the seismotectonic indicators ... Based on the collection and analysis of achievements of other scholars, and by consulting the results of seismic safety evaluation of engineering sites and field surveys of recent years, the seismotectonic indicators are determined for northwest Yunnan and its vicinity, and then potential seismic sources are further delineated. In practice, the following principles are applied: for areas with strong historical earthquakes, the recurrence principle is used to determine the upper bound magnitude; for areas with distinct seismogenic structure but no historical strong earthquake records, the tectonic analogy principle is used in the light of the size and activity behavior of the structure; for areas where the segmentation of the active fault is well studied, the potential sources will be demarcated more precisely; and for areas with buried fault, the seismicity pattern and geophysical abnormity are used to determine the direction of the major axis of the potential seismic source. 展开更多
关键词 Potential seismic source Seismic safety evaluation Northwest Yunnan
下载PDF
Operational Methods for Ships in Waves From Perspectives of Structure Health and Maneuvering Convenience
16
作者 ZHOU Feng ZHOU Junwei +1 位作者 CHEN Yuli WANG Deling 《Journal of Shipping and Ocean Engineering》 2017年第3期100-107,共8页
Based on the stress-strain data collected by a CSSMAS (container ship structure monitoring and analyzing system) onboard a container vessel, stress-strain responses of the ship's structure in high wave were analyze... Based on the stress-strain data collected by a CSSMAS (container ship structure monitoring and analyzing system) onboard a container vessel, stress-strain responses of the ship's structure in high wave were analyzed and illustrated for the identification of reasonable safe course sections. Besides the ship's structure safety, the maneuvering convenience is also deemed as a main concern which influences the safety of vessels in heavy waves. In order to develop a comprehensive guidance in adverse weather condition, the basic requirements on maneuvering convenience for vessels in storm were further discussed. In combination of the two requirements, namely structure health and maneuvering convenience, a proposed operational method was thus developed, which was an amendment to the traditional navigational method for ship in extreme weather. At the end of this paper, an example of optimal course planning in bad weather was illustrated by using the operational method proposed. 展开更多
关键词 Structural health maneuvering convenience extreme weather operational method
下载PDF
基于冗余信息的量子隐蔽通信协议
17
作者 公延军 温晓军 +1 位作者 季丽萍 牛夏牧 《信息安全与通信保密》 2010年第7期38-41,共4页
提出一个基于冗余信息的量子隐蔽通信协议。现行的经典隐蔽通信协议难以实现真正的无条件安全,且对中间监视人的攻击无法进行有效检测。将量子比特的相关特性应用于经典隐蔽通信中,利用量子隐形传态原理,提出了一个利用稠密编码通信中... 提出一个基于冗余信息的量子隐蔽通信协议。现行的经典隐蔽通信协议难以实现真正的无条件安全,且对中间监视人的攻击无法进行有效检测。将量子比特的相关特性应用于经典隐蔽通信中,利用量子隐形传态原理,提出了一个利用稠密编码通信中量子信道检测阶段共享的冗余EPR纠缠粒子对实现隐蔽通信协议,能够同时实现对所传输信息内容的保密以及通信过程的隐蔽,且具有无条件安全性和对攻击者的可检测性。 展开更多
关键词 隐蔽通信 冗余 条件安全性
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部