检索结果-南通市图书馆

Black-box testing based on colorful taint analysis

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science china(information Sciences) 2012年第1期55卷 171-183页

作者： CHEN Kai1,2.3,FENG DengGuo1,SU PuRui1&ZHANG YingJun1,2.3 1state key {2. of information security,Institute of Software,Chinese Academy of Science,Beijing 100190,china 2.0} key {2. of information security,Graduate University of Chinese Academy of Sciences,Beijing 100049,china 3National Engineering Research Center of information security,Beijing 100190,china 1. state key {2. of information security Institute of Software Chinese Academy of Science Beijing 100190 China2. State Key Laboratory of Information Security Graduate University of Chinese Academy of Sciences Beijing 100049 China3. National Engineering Research Center of Information Security Beijing 100190 China

Software vulnerability detection is one of the most important methods for guaranteeing software *** main classes of methods can detect vulnerabilities in binary files:white-box testing and black-box *** former needs to construct and solve path constraints to detect *** has two main drawbacks:path exploding and complexity of *** latter often aimlessly exhausts various inputs to test binary *** paper combines both testing methods to detect vulnerabilities in binary *** analyzing the input elements that aect check condition corresponding to a certain check point,we can generate one class of inputs that get to the check point to increase fuzzing *** analyzing the relationship between guard conditions and check condition,the redundant check points are *** taint analysis method(CTAM)is proposed to compute guard conditions,which is more ecient than traditional taint analysis method(TTAM).We implemented a prototype and made several experiments on *** results showed that our method could increase the eciency of black-box testing.

关键词： software testing vulnerability detection dynamic testing black-box testing colorful taint analysis

Research on applying physical chaos generator to spacecraft information security

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science china(Technological Sciences) 2009年第5期52卷 1463-1470页

作者： ZHAO HePing state key {2. of information security,Graduate University of Chinese Academy of Sciences,Beijing 100049,china china Academy of Space Technology,Beijing 100094,china state key {2. of information security Graduate University of Chinese Academy of Sciences Beijing 100049 China china Academy of Space Technology Beijing 100094 China

The effectiveness of a short-length message extension method based on physical chaos generator was analyzed and the entropy of the extended message was calculated in this *** analysis demon-strated that with the mentioned method the entropy of short-length messages,which are repeatedly used in spacecraft data systems,is obviously increased,and the security of transmission is enhanced as *** paper also presented an improvement of the protocol for secret key agreement presented by *** and *** of depending on characteristics of communication channel,this method takes advantage of the random data produced by physical chaos generator to preset the initial parameters of the procedure on both sides of communication,so that the procedure and quantity of cipher key can be precisely *** method can be used to cipher key management of se-cure communication between long life-span spacecraft and ground system.

关键词： physical chaos generator spacecraft information security message extension cipher key management

Quantum threshold group signature

在线全文

学校读者我要写书评

暂无评论

Science china(Physics,Mechanics & Astronomy) 2008年第10期51卷 1505-1514页

作者： YANG YuGuang1,2.3 & WEN QiaoYan4 1 College of Computer Science and Technology, Beijing University of Technology, Beijing 10012., china 2.state {2. laboratory of Integrated Services Network, Xidian University, Xi’an 710071, china 3 state key laboratory of information security (Graduate University of Chinese Academy of Sciences), Beijing 100049, china 4 state {2. laboratory of Networking and Switching Technology, Beijing University of Posts and Tele-communications, Beijing 100876, china College of Computer Science and Technology Beijing University of Technology Beijing 100124 China state key {2. of Integrated Services Network Xidian University Xi’an 710071 China state key {2. of information security Graduate University of Chinese Academy of Sciences Beijing 100049 China state key {2. of Networking and Switching Technology Beijing University of Posts and Telecommunications Beijing 100876 China

In most situations, the signer is generally a single person. However, when the message is written on behalf of an organization, a valid message may require the approval or consent of several persons. Threshold signature is a solution to this problem. Generally speaking, as an authority which can be trusted by all members does not exist, a threshold signature scheme without a trusted party appears more attractive. Following some ideas of the classical Shamir’s threshold signature scheme, a quantum threshold group signature one is proposed. In the proposed scheme, only t or more of n persons in the group can generate the group signature and any t-1 or fewer ones cannot do that. In the verification phase, any t or more of n signature receivers can verify the message and any t-1 or fewer receivers cannot verify the validity of the signature.

关键词： threshold quantum signature trusted party quantum cryptography

Threshold proxy quantum signature scheme with threshold shared verification

在线全文

学校读者我要写书评

暂无评论

Science china(Physics,Mechanics & Astronomy) 2008年第8期51卷 1079-1088页

作者： YANG YuGuang1,3,4 & WEN QiaoYan2.1 College of Computer Science and Technology,Beijing University of Technology,Beijing 10012.,china 2.state {2. laboratory of Networking and Switching Technology,Beijing University of Posts and Tele-communications,Beijing 100876,china 3 state {2. laboratory of Integrated Services Network,Xidian University,Xi’an 710071,china 4 state {2. laboratory of {12. security(Graduate University of Chinese Academy of Sciences) ,Beijing 100049,china 1. College of Computer Science and Technology Beijing University of Technology Beijing 100124 China 3. state key {2. of Integrated Services Network Xidian University Xi’an 710071 China 4. state key {2. of information security (Graduate University of Chinese Academy of Sciences) Beijing 100049 China 2. state key {2. of Networking and Switching Technology Beijing University of Posts and Telecommunications Beijing 100876 China

A threshold proxy quantum signature scheme with threshold shared verification is proposed. An original signer could authorize a group as its proxy signers. Then only t or more of n persons in the proxy group can generate the proxy signature on behalf of the original signer and any t-1 or fewer ones cannot do that. When the proxy signature needs to be verified,any t or more of n persons belonging to the verification group can verify the message and any t-1 or fewer ones cannot verify the validity of the proxy signature.

关键词： quantum signature threshold proxy quantum group signature threshold shared verification

Threshold quantum secret sharing between multi-party and multi-party

在线全文

学校读者我要写书评

暂无评论

Science china(Physics,Mechanics & Astronomy) 2008年第9期51卷 1308-1315页

作者： YANG YuGuang1,2.3 & WEN QiaoYan4 1 College of Computer Science and Technology,Beijing University of Technology,Beijing 10012.,china 2.state {2. laboratory of Integrated Services Network,Xidian University,Xi’an 710071,china 3 state key laboratory of information security (Graduate University of Chinese Academy of Sciences),Beijing 100049,china 4 state {2. laboratory of Networking and Switching Technology,Beijing University of Posts and Tele-communications,Beijing 100876,china College of Computer Science and Technology Beijing University of Technology Beijing 100124 China state key {2. of Integrated Services Network Xidian University Xi’an 710071 China state key {2. of information security (Graduate University of Chinese Academy of Sciences) Beijing 100049 China state key {2. of Networking and Switching Technology Beijing University of Posts and Telecommunications Beijing 100876 China

A threshold quantum secret sharing (TQSS) scheme between multi-party and multi-party was proposed using a sequence of single photons,which is useful and efficient when the parties of communication are not all present. We described the process of this TQSS scheme and discussed its security. It was shown that entan-glement is not necessary for quantum secret sharing. Moreover,the theoretic effi-ciency was improved to approach 100% as almost all the instances can be used for generating the private key,and each photon can carry one bit of {2.. This protocol is feasible with the present-day technique.

关键词： threshold quantum secret sharing quantum cryptography single photon multi-party and multi-party

Paillier's trapdoor function hides Θ(n) bits

在线全文

学校读者我要写书评

暂无评论

Science china(information Sciences) 2011年第9期54卷 1827-1836页

作者： SU Dong & Lü KeWei state key {2. of information security,Graduate University of Chinese Academy of Sciences,Beijing 100049,china 1. state key {2. of information security Graduate University of Chinese Academy of Sciences Beijing 100049 China

In this paper,we re-examine the bit security of Paillier’s trapdoor *** show that given a random w=gcyN mod N2.∈ZN2. the most significant bit of its class c is a hard-core predicate,under a standard assumption that is computing composite residuosity class is *** the simultaneous security,we prove that n number of the class c’s bits are simultaneously hard-core under the standard assumption,where n is the length of c.

关键词： Paillier’s trapdoor function hard-core predicate hard-core function simultaneous security most significant bit

On constant-round zero-knowledge proofs of knowledge for NP-relations

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science china(information Sciences) 2010年第4期53卷 788-799页

作者： LI HongDa1*, XU HaiXia1, LI Bao1 & FENG DengGuo2.1state key {2. of information security, Graduate University of Chinese Academy of Sciences, Beijing 100049, china 2.0} key {2. of information security, Institute of Software of Chinese Academy of Sciences, Beijing 100080, china 1. state key {2. of information security Graduate University of Chinese Academy of Sciences Beijing 100049 China2. State Key Laboratory of Information Security Institute of Software of Chinese Academy of Sciences Beijing 100080 China

This paper considers the existence of constant-round zero-knowledge proofs of knowledge for NP under standard assumptions. By introducing a new interactive proof model, we construct a 3-round zero-knowledge proof of knowledge system for the NP-relation under the assumption that factoring is intractable. Our construction not only shows the existence of constant-round zero-knowledge proofs of knowledge, but also gives a positive answer to the open problem of the existence of 3-round zero-knowledge proofs for NP.

关键词： zero-knowledge proof proof of knowledge constant-round NP-relation

Subsidence control and farmland conservation by solid backfilling mining technology

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

中国有色金属学会会刊：英文版 2011年第S3期21卷 665-669页

作者： GUO Guang-li1, 2. FENG Wen-kai3, ZHA Jian-feng1, 2. 3, LIU Yuan-xu1, 2. WANG Qiang1, 2.1. key laboratory for Land Environment and Disaster Monitoring of the {2. Bureau of Surveying and Mapping, china University of Mining and Technology, Xuzhou 2.1116, china 2. Jiangsu key laboratory of Resources and Environmental information Engineering, china University of Mining and Technology, Xuzhou 2.1116, china 3. {2. key laboratory of Geohazard Prevention and Geoenvironment Protection, Chengdu University of Technology, Chengdu 610059, china [a] key laboratory for Land Environment and Disaster Monitoring of the {2. Bureau of Surveying and Mapping China University of Mining and Technology Xuzhou 221116 China [b] Jiangsu key laboratory of Resources and Environmental {2. Engineering China University of Mining and Technology Xuzhou 221116 China [c] state key {2. of Geohazard Prevention and Geoenvironment Protection Chengdu University of Technology Chengdu 610059 China

Solid backfilling mining technology, which decreases the height of fissure zone and caving zone, and alleviates the subsidence, is a new technology for farmland conservation. Based on the situation analysis of farmland destruction in mining area, three ways for farmland protection were proposed. In order to improve the feasibility of this technology, the limited filling materials should be used to increase resources recovery ratio, and then the surplus materials could be backfilled into goaf. An index, namely farmland conservation ability, was put forward to optimize the ways for farmland conservation. At last, the Wanbei coal mine was taken as a case for farmland conservation. It was shown that 32.0 t dull coal was substituted and 52.hm2.farmland was conserved by solid backfilling mining in this coal mine.

关键词： solid backfilling farmland conservation mining subsidence equivalent mining height

SOME RESULTS ON GENERALIZED DIFFERENCE SETS

在线全文

学校读者我要写书评

暂无评论

Journal of Systems Science & Complexity 2008年第1期21卷 76-84页

作者： Xiwang CAO School of Mathematical Science, Nanjing University of Aeronautics and Astronautics, Nanjing 2.0016, china state {2. Lab. of information security, Beijing 100049, china. School of Mathematical Science Nanjing University of Aeronautics Astronautics Nanjing 210016 China state key Lab. of {2. security Beijing 100049 China

Sequences with ideal correlation functions have important applications in communications such as CDMA, FDMA, etc. It has been shown that difference sets can be used to construct such sequences. The author extends Pott and Bradley＇s method to a much broader case by proposing the concept of generalized difference sets. Some necessary conditions for the existence of generalized difference sets are established by means of some Diophantine equations. The author also provides an algorithm to determine the existence of generalized difference sets in the cyclic group Zv. Some examples are presented to illustrate that our method works.

关键词： Correlation functions diophantine equations generalized difference sets.