期刊文献+
共找到11篇文章
< 1 >
每页显示 20 50 100
一个C语言安全子集的可信编译器 被引量:3
1
作者 王蕾 石刚 +2 位作者 董渊 白晓颖 王生原 《计算机科学》 CSCD 北大核心 2013年第9期30-34,共5页
以安全关键领域的安全标准为依托、安全相关软件的语言编码和编译要求为指导,进行了以下几方面的研究和探索:首先对形式化验证可信编译技术进行分析研究,特别着重当前广受关注的经过验证的CompCert编译器。然后以我国安全领域C语言安全... 以安全关键领域的安全标准为依托、安全相关软件的语言编码和编译要求为指导,进行了以下几方面的研究和探索:首先对形式化验证可信编译技术进行分析研究,特别着重当前广受关注的经过验证的CompCert编译器。然后以我国安全领域C语言安全子集标准《航天型号软件C语言安全子集》为依据构造测试用例、创新测试方法,并以此对CompCert编译器进行测试评估。之后依据测试结果,为CompCert编译器增加未支持的C语言标准特性,裁剪不符合C语言安全子集要求的特性,构建符合C语言安全子集标准的可信编译器。最后的实测结果表明,所实现的编译器符合C语言安全子集标准的要求,且没有降低C代码的执行效率。 展开更多
关键词 可信计算 CompCert C安全子集 经过验证的编译器
下载PDF
基于Goldwasser-Micali加密算法的安全子集计算 被引量:6
2
作者 王倩 任方 郑东 《计算机应用研究》 CSCD 北大核心 2020年第4期1140-1143,共4页
针对解决集合间安全子集问题的协议大多只能保护一个集合元素的隐私进行研究。在半诚实模型下,利用布隆过滤器及Goldwasser-Micali同态加密算法构建了一个安全子集计算协议,并使用安全多方计算中普遍采用的模拟范例证明方法证明了协议... 针对解决集合间安全子集问题的协议大多只能保护一个集合元素的隐私进行研究。在半诚实模型下,利用布隆过滤器及Goldwasser-Micali同态加密算法构建了一个安全子集计算协议,并使用安全多方计算中普遍采用的模拟范例证明方法证明了协议的安全性。利用布隆过滤器将拥有大量元素或大数域元素的数据集合映射为较小的数据集合,提升协议的效率及适用范围,同时,借助Goldwasser-Micali同态加密算法保证协议的安全性。相关研究大多是基于二次剩余等困难问题,不可抵抗量子攻击,可抵抗量子攻击的安全子集计算是进一步的研究方向。 展开更多
关键词 安全多方计算 同态加密 布隆过滤器 Goldwasser-Micali加密算法 安全子集问题
下载PDF
基于控制流切片的代码安全缺陷检测方法
3
作者 周宽久 杨广 +2 位作者 赖晓晨 崔凯 姚艳双 《计算机工程与设计》 CSCD 北大核心 2012年第6期2265-2271,2304,共8页
为轻松获得程序的可能执行路径,进而实现程序变量的状态跟踪,提出了一种C/C++源代码控制流提取算法,通过该模型获取控制流切片,产生局部控制流图,将数据流异常检测与安全子集检测相结合,弥补了单独使用安全子集方法无法跟踪数据流的不足... 为轻松获得程序的可能执行路径,进而实现程序变量的状态跟踪,提出了一种C/C++源代码控制流提取算法,通过该模型获取控制流切片,产生局部控制流图,将数据流异常检测与安全子集检测相结合,弥补了单独使用安全子集方法无法跟踪数据流的不足,增强代码安全隐患的挖掘能力。利用控制流图化简,排除部分不可达控制流信息,提高跟踪效率。通过对3个Linux内核源文件的检测,验证了该方法不仅可以检测出违反安全子集的代码安全隐患,同时对代码数据流异常检测提供支持,准确率达94.9%。 展开更多
关键词 代码异常 控制流分析 数据流分析 安全子集 控制流化简
下载PDF
基于安全因子的大型施工机械结构安全分析 被引量:10
4
作者 杨绍普 王利英 潘存治 《振动与冲击》 EI CSCD 北大核心 2013年第8期55-57,共3页
针对大型施工机械的结构特点,人机环境对大型施工机械进行了安全分析,提出了安全因子的概念,构建了安全因子集;从概念、定义和判据三个方面对安全因子进行了论述;采用数值仿真的方法,把模态应变能和动刚度这两个安全因子应用在大型施工... 针对大型施工机械的结构特点,人机环境对大型施工机械进行了安全分析,提出了安全因子的概念,构建了安全因子集;从概念、定义和判据三个方面对安全因子进行了论述;采用数值仿真的方法,把模态应变能和动刚度这两个安全因子应用在大型施工机械-架桥机的主梁结构损伤识别中,分析结果表明,与其它方法相比,所提的安全因子能够准确、快速的判断结构损伤的存在,并能较好的判断损伤的位置和程度,识别精度更高。 展开更多
关键词 大型施工机械 安全子集 模态应变能 动刚度 安全分析
下载PDF
面向龙芯处理器的编译检测技术研究
5
作者 赖策 李明东 +1 位作者 刘茜 李艳梅 《西华师范大学学报(自然科学版)》 2017年第4期462-466,共5页
国产龙芯处理器在国产信息化的道路上发挥着重要作用,其性能的发挥需要系统核心软件的全力配合。作为系统核心软件之一的编译器的重要性已提升至信息产业前列,是确保安全关键系统能否正常运行的关键。以国防科工委公布的航天型号C语言... 国产龙芯处理器在国产信息化的道路上发挥着重要作用,其性能的发挥需要系统核心软件的全力配合。作为系统核心软件之一的编译器的重要性已提升至信息产业前列,是确保安全关键系统能否正常运行的关键。以国防科工委公布的航天型号C语言安全子集作为安全检测技术的标准,构造符合规范的测试用例,通过形式化验证技术对LonGcc编译器进行改造、升级。最后实测表明,所构造的编译器符合C语言安全子集标准,并且没有增加执行时的开销。 展开更多
关键词 龙芯处理器 形式化验证 安全检测 LonGcc编译器 C语言安全子集
下载PDF
基于GJB5369-2005的分级报告策略
6
作者 赖策 刘茜 《电脑知识与技术(过刊)》 2017年第9X期86-86,94,共2页
航天型号C语言安全子集是确保程序安全、正确运行的编程设计规范,它由语法、语义等级别的安全使用规则构成。支持C安全子集是减少航天型号、军工型号应用在执行环境中的安全隐患的重要途径之一。本研究将对C语言安全子集规范进行细化分... 航天型号C语言安全子集是确保程序安全、正确运行的编程设计规范,它由语法、语义等级别的安全使用规则构成。支持C安全子集是减少航天型号、军工型号应用在执行环境中的安全隐患的重要途径之一。本研究将对C语言安全子集规范进行细化分类,依据其危险程度形成不同安全等级;为C语言安全子集形成一整套规则化处理流程,包括对不同安全等级的规范建立一套规范化识别、分析以及决策处理流程。 展开更多
关键词 安全子集 分级流程 危险程度
下载PDF
Quantum Secure Direct Communication with Four-Particle Genuine Entangled State and Dense Coding
7
作者 XIU Xiao-Ming DONG Li GAO Ya-Jun CHI Feng 《Communications in Theoretical Physics》 SCIE CAS CSCD 2009年第7期60-62,共3页
A quantum secure direct communication scheme using dense coding is proposed.At first,the sender (Alice)prepares four-particle genuine entangled states and shares them with the receiver (Bob) by sending two particles i... A quantum secure direct communication scheme using dense coding is proposed.At first,the sender (Alice)prepares four-particle genuine entangled states and shares them with the receiver (Bob) by sending two particles in eachentangled state to him.Secondly,Alice encodes secret information by performing the unitary transformations on herparticles and transmits them to Bob.Finally,Bob performs the joint measurements on his particles to decode the secretinformation.The two-step security test guarantees the security of communication. 展开更多
关键词 quantum communication quantum secure direct communication entanglement swapping four- particle genuine entangled state
下载PDF
Robust Quantum Secure Direct Communication over Collective Rotating Channel
8
作者 秦素娟 高飞 +1 位作者 温巧燕 朱甫臣 《Communications in Theoretical Physics》 SCIE CAS CSCD 2010年第4期645-647,共3页
A quantum secure direct communication protocol over a collective rotating channel is proposed. The protocol encodes logical bits in noiseless subspaces, and so it can function over a quantum channel subjected to an ar... A quantum secure direct communication protocol over a collective rotating channel is proposed. The protocol encodes logical bits in noiseless subspaces, and so it can function over a quantum channel subjected to an arbitrary degree of collective rotating noise. Although entangled states are used, both the sender and receiver are only required to perform single-particle product measurement or Pauli operations. The protocol is feasible with present-day technique. 展开更多
关键词 quantum secure direct communication collective rotating channel quantum cryptography
下载PDF
Deterministic Quantum Secure Direct Communication with Dense Coding and Continuous Variable Operations
9
作者 HAN Lian-Fang CHEN Yue-Ming YUAN Hao 《Communications in Theoretical Physics》 SCIE CAS CSCD 2009年第4期648-652,共5页
We propose a deterministic quantum secure direct two check photon sequences are used to check the securities of the communication protocol by using dense coding. The channels between the message sender and the receive... We propose a deterministic quantum secure direct two check photon sequences are used to check the securities of the communication protocol by using dense coding. The channels between the message sender and the receiver. The continuous variable operations instead of the usual discrete unitary operations are performed on the travel photons so that the security of the present protocol can be enhanced. Therefore some specific attacks such as denial-of-service attack, intercept-measure-resend attack and invisible photon attack can be prevented in ideal quantum channel. In addition, the scheme is still secure in noise channel. Furthurmore, this protocol has the advantage of high capacity and can be realized in the experiment. 展开更多
关键词 ping-pong protocol continuous variable operations quantum secure direct communication SECURITY capacity
下载PDF
Fault tolerant channel-encrypting quantum dialogue against collective noise 被引量:3
10
作者 YE TianYu 《Science China(Physics,Mechanics & Astronomy)》 SCIE EI CAS CSCD 2015年第4期1-10,共10页
In this paper,two fault tolerant channel-encrypting quantum dialogue(QD)protocols against collective noise are presented.One is against collective-dephasing noise,while the other is against collective-rotation noise.T... In this paper,two fault tolerant channel-encrypting quantum dialogue(QD)protocols against collective noise are presented.One is against collective-dephasing noise,while the other is against collective-rotation noise.The decoherent-free states,each of which is composed of two physical qubits,act as traveling states combating collective noise.Einstein-Podolsky-Rosen pairs,which play the role of private quantum key,are securely shared between two participants over a collective-noise channel in advance.Through encryption and decryption with private quantum key,the initial state of each traveling two-photon logical qubit is privately shared between two participants.Due to quantum encryption sharing of the initial state of each traveling logical qubit,the issue of information leakage is overcome.The private quantum key can be repeatedly used after rotation as long as the rotation angle is properly chosen,making quantum resource economized.As a result,their information-theoretical efficiency is nearly up to 66.7%.The proposed QD protocols only need single-photon measurements rather than two-photon joint measurements for quantum measurements.Security analysis shows that an eavesdropper cannot obtain anything useful about secret messages during the dialogue process without being discovered.Furthermore,the proposed QD protocols can be implemented with current techniques in experiment. 展开更多
关键词 quantum dialogue (QD) quantum encryption information leakage decoherent-free (DF) state collective-dephasingnoise collective-rotation noise
原文传递
Fault tolerant two-step quantum secure direct communication protocol against collective noises 被引量:22
11
作者 TSAI ChiaWei HWANG Tzonelih 《Science China(Physics,Mechanics & Astronomy)》 SCIE EI CAS 2011年第3期496-501,共6页
This work proposes two fault tolerant quantum secure direct communication (QSDC) protocols which are robust against two kinds of collective noises: the collective-dephasing noises and the collective-rotation noises... This work proposes two fault tolerant quantum secure direct communication (QSDC) protocols which are robust against two kinds of collective noises: the collective-dephasing noises and the collective-rotation noises, respectively. The two QSDC protocols are constructed from four-qubit DF states which consist of two logical qubits. The receiver simply performs two Bell state measurements (rather than four-qubit joint measurements) to obtain the secret message. The protocols have qubit efficiency twice that of the other corresponding fault tolerant QSDC protocols. Furthermore, the proposed protocols are free from Trojan horse attacks. 展开更多
关键词 collective noise quantum secure direct communication quantum cryptography
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部