检索结果-南通市图书馆

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 laboratory of information {3.,Institute of Software,Chinese Academy of Science,beijing 100190,china 2state Key laboratory of information {3.,Graduate University of Chinese Academy of Sciences,beijing 100049,china 3.ational Engineering Research Center of information {3.,beijing 100190,china 1. state Key laboratory of information {3. 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

A formula on linear complexity of highest coordinate sequences from maximal periodic sequences over Galois rings

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Progress in Natural Science:Materials International 2006年第9期16卷 998-1001页

作者： HU Lei and SUN Nigang (state Key laboratory of information {3., Graduate School of Chinese Academy of Sciences, beijing 100049, china) [a]state Key laboratory of information {3. Graduate School of Chinese Academy of Sciences Beijing China

Using a polynomial expression of the highest coordinate map, we deduce an exact formula on the linear complexity of the highest coordinate sequence derived from a maximal periodic sequence over an arbitrary Galois ring of characteristic p2 , where p is a prime. This generalizes the known result of Udaya and Siddiqi for the case that the Galois ring is Z4.

关键词： Galois ring highest coordinate sequence linear complexity.

Threshold quantum secure direct communication without entanglement

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science china(Physics,Mechanics & Astronomy) 2008年第2期51卷 176-183页

作者： YANG YuGuang1,3.& WEN QiaoYan2 1 College of Computer Science and Technology, beijing University of Technology, beijing 100022, china 2 School of Science, beijing University of Posts and Telecommunications, beijing 100876, china 3.state Key laboratory of information security (Graduate School of Chinese Academy of Sciences), beijing 100049, china 1. College of Computer Science and Technology Beijing University of Technology Beijing 100022 China 3. state Key laboratory of information {3. (Graduate School of Chinese Academy of Sciences) Beijing 100049 China 2. School of Science Beijing University of Posts and Telecommunications Beijing 100876 China

For the first time, a threshold quantum secure direct communication (TQSDC) scheme is presented. Similar to the classical Shamir's secret sharing scheme, the sender makes n shares, S1, …, Sn of secret key K and each receiver keeps a share secretly. If the sender wants to send a secret message M to the receivers, he en-codes the information of K and M on a single photon sequence and sends it to one of the receivers. According to the secret shares, the t receivers sequentially per-form the corresponding unitary operations on the single photon sequence and ob-tain the secret message M. The shared shares may be reusable if it can be judged that there is no eavesdropper in line. We discuss that our protocol is feasible with current technology.

关键词： quantum secure direct communication threshold secure direct communication quantum secret sharing

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 100124, china 2 {3. Key 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 {3. Key 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 laboratory of Integrated Services Network Xidian University Xi’an 710071 China state Key laboratory of information {3. Graduate University of Chinese Academy of Sciences Beijing 100049 China state Key laboratory 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 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 100124,china 2 {3. Key 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 {3. Key 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 laboratory of Integrated Services Network Xidian University Xi’an 710071 China state Key laboratory of information {3. (Graduate University of Chinese Academy of Sciences) Beijing 100049 China state Key laboratory 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 information. This protocol is feasible with the present-day technique.

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

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 100124,china 2 {3. Key laboratory of Networking and Switching Technology,beijing University of Posts and Tele-communications,beijing 100876,china 3.state Key laboratory of Integrated Services Network,Xidian University,Xi’an 710071,china 4 {3. Key laboratory of {13. 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 laboratory of Integrated Services Network Xidian University Xi’an 710071 China 4. state Key laboratory of information {3. (Graduate University of Chinese Academy of Sciences) Beijing 100049 China 2. state Key laboratory 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

Paillier's trapdoor function hides Θ(n) bits

在线全文

学校读者我要写书评

暂无评论

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

作者： SU Dong & Lü KeWei state Key laboratory of information {3.,Graduate University of Chinese Academy of Sciences,beijing 100049,china 1. state Key laboratory of information {3. 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

Joint source channel VL coding/decoding for deep space communication networks based on a space trellis

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science china(information Sciences) 2011年第9期54卷 1883-1894页

作者： WU WeiRen 1,TU Juan 2,TU GuoFang 1,GAO ShaoShuai 1 & ZHANG Can 1,3.1 School of information Science and Engineering,Graduate University of Chinese Academy of Sciences,beijing 100049,china 2 {3. Institute of Electronic System Engineering,china Aerospace Science & Industry Corp.,{3. 100854,china 3.state Key laboratory of information security,Graduate University of Chinese Academy of Science,beijing 100049,china 1. School of information Science and Engineering Graduate University of Chinese Academy of Sciences Beijing 100049 China2. Beijing Institute of Electronic System Engineering China Aerospace Science & Industry Corp. Beijing 100854 China3. State Key Laboratory of Information Security Graduate University of Chinese Academy of Science Beijing 100049 China

This paper presents joint source channel variable length (VL) coding/decoding based on a space *** constructing a joint decoding plane trellis,better decoding performance can be achieved than by using the bit-level decoding ***,the plane trellis is complicated,which results in high decoding complexity for decoding VL turbo *** solve this problem,we construct a space trellis and design a low-complexity joint decoding algorithm with a variable length symbol-a posteriori probability (VLS-APP) algorithm in resource constrained deep space communication *** results show that the proposed approach reduces the decoding complexity by 10% compared with the plane trellis,and the gain of Eb/N0 is about 0.2 dB at SER=***,it provides substantial error protection for variable-length encoded image data.

关键词： joint coding/decoding VL turbo codes space trellis VLS-APP

Multiparty simultaneous quantum identity authentication with secret sharing

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science china(Physics,Mechanics & Astronomy) 2008年第3期51卷 321-327页

作者： YANG YuGuang1,2,WEN QiaoYan3.& ZHANG Xing4,5 1 College of Computer Science and Technology,beijing University of Technology,beijing 100022,china 2 {3. Key laboratory of information security (Graduate University of the Chinese Academy of Sciences),beijing 100049,china 3.School of Science,beijing University of Posts and Telecommunications,beijing 100876,china 4 Institute of Electronic Technology,information Engineering University,Zhengzhou 450004,china 5 Trusted Computing laboratory,beijing University of Technology,beijing 100022,china College of Computer Science Technology Beijing University of Technology Beijing 100022 China state Key laboratory of information {3. [Graduate University of the Chinese Academy of Sciences] Beijing 100049 China School of Science Beijing University of Posts Telecommunications Beijing 100876 China Institute of Electronic Technology Information Engineering University Zhengzhou 450004 China Trusted Computing laboratory Beijing University of Technology Beijing 100022 China

Two multiparty simultaneous quantum identity authentication (MSQIA) protocols based on secret sharing are presented. All the users can be authenticated by a trusted third party (TTP) simultaneously. In the first protocol,the TTP shares a random key K with all the users using quantum secret sharing. The ith share acts as the authentication key of the ith user. When it is necessary to perform MSQIA,the TTP generates a random number R secretly and sends a sequence of single photons encoded with K and R to all the users. According to his share,each user performs the corresponding unitary operations on the single photon sequence sequentially. At last,the TTP can judge whether the impersonator exists. The sec-ond protocol is a modified version with a circular structure. The two protocols can be efficiently used for MSQIA in a network. They are feasible with current technol-ogy.

关键词： quantum identity authentication secret sharing quantum cryptography