检索结果-南通市图书馆

Mechanism and Defense on Malicious Code

在线全文

学校读者我要写书评

暂无评论

Wuhan University Journal of Natural Sciences 2005年第1期10卷 83-88页

作者： WEN Wei-ping 1,2.3. QING Si-han 1,2.3.1. Institute of Software, the {2. academy of Sciences, Beijing 100080,{2. {3. research center for information security Technology, the {2. academy of Sciences, Beijing 100080,{2. 3.Graduate School of the {2. academy of Sciences, Beijing 100080,{2. Institute of Software the Chinese Academy of Sciences Beijing China engineering research {2. for {3. security Technology the Chinese Academy of Sciences Beijing China Graduate School of the chinese academy of Sciences Beijing China

With the explosive growth of network applications, the threat of the malicious code against network security becomes increasingly serious. In this paper we explore the mechanism of the malicious code by giving an attack model of the malicious code, and discuss the critical techniques of implementation and prevention against the malicious code. The remaining problems and emerging trends in this area are also addressed in the paper.

关键词： malicious code attacking model mechanism defense system security network security

Formal analysis and design of multi-party fair exchange protocols

在线全文

学校读者我要写书评

暂无评论

Science in china(Series F) 2006年第2期49卷 155-174页

作者： QING Sihan1,2.3.& LI Gaicheng1,3.1. {2. research {2. for {3. security Technology, Institute of Software, chinese academy of Sciences, Beijing 100080, china 2. Beijing Zhongke Ansheng Corporation of {3. Technology, Beijing 100080, china 3. Graduate School of the chinese academy of Sciences, Beijing 10003., china engineering research {2. for {3. security Technology Institute of Software Chinese Academy of Sciences Beijing China Beijing Zhongke Ansheng Corporation of information Technology Beijing China Graduate School of the chinese academy of Sciences Beijing China

Based on the origin of message items and channel combination between transacting parties, and events and relations among events, this paper presents a concise, precise, and hierarchical model for general fair exchange protocols, formally specifies various security requirements which are able to reflect inherent requirements for fair exchange protocols more rigorously, and partition these security requirements with fine granularity. This work helps analyze, debug, and design multi-party fair exchange protocols more effectively and elaborately,

关键词： fair exchange logical protocol formal model security requirement.

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 {2. security,Institute of Software,{2. {3. of Science,Beijing 100190,china 2.tate Key Laboratory of {2. security,Graduate University of {2. {3. of Sciences,Beijing 100049,china 3.ational engineering research center of {2. security,Beijing 100190,china State Key Laboratory of information security Institute of Software Chinese Academy of Science Beijing China State Key Laboratory of information security Graduate University of Chinese Academy of Sciences Beijing China National engineering research {2. of {3. security Beijing 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 property-based attestation protocol for TCM

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science china(information Sciences) 2010年第3期53卷 454-464页

作者： FENG DengGuo1,2.& QIN Yu1,2.1State Key Laboratory of information security, Institute of Software, {2. {3. of Science, Beijing 100190, china 2.ational engineering research center of information security, Beijing 100190, china State Key Laboratory of information security Institute of Software Chinese Academy of Science Beijing China National engineering research {2. of {3. security Beijing China

This paper presents a property attestation protocol for the security chip TCM (trusted cryptographic module) via analyzing the problems of the current property attestation, which is built on the property attestation model with the online trust third party. In the protocol the prover utilizes the zero-knowledge proof by the attribute certificates, configuration commitment and TCM signature, and attests its configuration and status which are compliant with the declarative security property. The protocol is characterized by shorter signature length and lower computations. The security of the protocol is proved at the random oracle model. The protocol can help extend application and improve standard for security chip TCM, and it also has practical value and immediate significance.

关键词： trust computing trust cryptographic module (TCM) property attestation signature of knowl- edge configuration commitment

Channel-aware and queue-aware joint-layer resource optimization for cognitive radio networks

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science china(information Sciences) 2010年第12期53卷 2576-2583页

作者： GUO KunQi 1,2.SUN LiXin 1,LI Yong 2.& JIA ShiLou 3.1 School of Computer Science and Telecommunication engineering,Jiangsu University,Zhenjiang 2.2.13.china 2.{2. {3. for Wireless Communication,Shanghai Institute of Microsystem and information Technology,chinese academy of Sciences,Shanghai 2.0050,china 3.Communication {2. {3.,Harbin Institute of Technology,Harbin 150001,china School of Computer Science and Telecommunication engineering Jiangsu University Zhenjiang China research center for Wireless Communication Shanghai Institute of Microsystem and Information Technology Chinese Academy of Sciences Shanghai China Communication research center Harbin Institute of Technology Harbin China

An optimization model is derived to maximize the utilization efficiency of the idle channels of primary users(PU) in cognitive radio *** the optimization model,Lyapunov optimization method is used to allocate the idle channels of PU to secondary user(SU) most *** time distribution of the idle channels of PU is predicted by a low-pass time *** algorithm is proposed to implement the optimization *** algorithm is efficient because of using a greedy selection *** efficiency of the algorithm is demonstrated by mathematic analyses and simulation results.

关键词： cognitive radio networks Lyapunov optimization resource utilization primary user secondary user

Identifying heavy hitters in high-speed network monitoring

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science china(information Sciences) 2010年第3期53卷 659-676页

作者： ZHANG Yu1, FANG BinXing1,2.& ZHANG YongZheng2.1research center of Computer Network and {2. {3. Technology, Harbin Institute of Technology, Harbin 150001, china 2.0} center of {2. {3., Institute of Computing Technology, chinese academy of Sciences, Beijing 100190, china research center of Computer Network and {2. {3. Technology Harbin Institute of Technology Harbin China research center of {2. {3. Institute of Computing Technology Chinese Academy of Sciences Beijing China

Identifying heavy hitters in a network traffic stream is important for a variety of network applications ranging from traffic engineering to anomaly detection such as detection of denial-of-service attacks. Existing methods generally examine newly arriving items in the stream, perform a small number of operations using a small amount of memory, and still provide guarantees on the identifying accuracy. In high-speed network monitoring, the update speed per item is extremely critical. However, so far as we know, there are no identifying algorithms which can provide constant update time (O(1)) in a weighted data stream. In this paper, we present an algorithm named Weighted Lossy Counting (WLC) which is able to identify heavy hitters in a high-speed weighted data stream with constant update time. WLC employs a novel efficient partially ordered data structure which is able to provide a fast per-item update speed while keeping the memory cost relatively low. We compare WLC with state-of-the-art algorithms for finding heavy hitters in real traffic traces. The experimental results show that WLC performs well in accuracy (recall, precision and average relative error) as other algorithms; moreover it has a much higher update speed at the cost of relatively larger memory space used. A theoretical worst-case memory bound of WLC is also derived in this paper; however, experiments with long real traffic traces show that WLC requires much less space than the theoretical bound in practice.

关键词： network traffic monitoring heavy hitter weighted data streams

Polynomial analysis of canopy spectra and biochemical component content inversion

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science china Earth Sciences 2005年第10期48卷 1780-1791页

作者： YAN Chunyan1, LIU Qiang1, NIU Zheng1, WANG Jihua2. HUANG Wenjiang2.& LIU Liangyun 2.1. State Key Laboratory of Remote Sensing Science, Jointly Sponsored by the Institute of Remote Sensing Applications of chinese academy of Sciences and Beijing Normal University, Beijing 100101,{2. 2. National {3. research center for information Technology in Agriculture, Beijing 100089,{2. Jointly Sponsored by the Institute of Remote Sensing Applications of chinese academy of Sciences and Beijing Normal University National engineering research {2. for {3. Technology in Agriculture

A polynomial expression model was developed in this paper to describe directional canopy spectra, and the decomposition of the polynomial expression was used as a tool for re-trieving biochemical component content from canopy multi-angle spectra. First, the basic formula of the polynomial expression was introduced and the physical meaning of its terms and coeffi-cients was discussed. Based on this analysis, a complete polynomial expression model and its decomposition method were given. By decomposing the canopy spectra simulated with SAILH model, it shows that the polynomial expression can not only fit well the canopy spectra, but also show the contribution of every order scattering to the whole reflectance. Taking the first scattering coefficients a10 and a01 for example, the test results show that the polynomial coefficients reflect very well the hot spot phenomenon and the effects of viewing angles, LAI and leaf inclination angle on canopy spectra. By coupling the polynomial expression with leaf model PROSPECT, a canopy biochemical component content inversion model was given. In the simulated test, the canopy multi-angle spectra were simulated by two different models, SAILH and 4-SCALE re-spectively, then the biochemical component content was retrieved by inverting the coupled polynomial expression + PROSPECT model. Results of the simulated test are promising, and when applying the algorithm to measured corn canopy multi-angle spectra, we also get relatively accurate chlorophyll content. It shows that the polynomial analysis provides a new method to get biochemical component content independent of any specific canopy model.

关键词： polynomial expression, canopy spectra, decomposition, biochemical component content, inversion.

Identification of AtENT3.as the main transporter for uridine uptake in Arabidopsis roots

在线全文

学校读者我要写书评

暂无评论

Cell research 2006年第4期16卷 377-388页

作者： Kun Ling Chen~(1,2.*) Min Xin Xu~(2.3.*) Guang Yong Li~(2.3.*) Hui Liang~2.Zong Liang Xia~(2.3. Xin Liu~2.Ji Shu Zhang~1 Ai Min Zhang~2.Dao Wen Wang~2.~1School of Life Sciences,Northwest Agricultural and Forestry University,Yangling 712.00,china ~2.4} for Plant Gene {2.(Beijing)and the State Kev Laboratory of Plant Cell and Chromosome {3.,Institute of Genetics and Developmental Biology,chinese academy of Sciences,Datun Road,Chaovang District,Beijing 100101,china ~3.raduate School of the chinese academy of Sciences,Yuquan Road,Shijingshan District,Beijing 10003.,china School of Life Sciences Northwest Agricultural and Forestry University Yangling China center for Plant Gene research (Beijing) and the State Key Laboratory of Plant Cell and Chromosome {2. Institute of Genetics and Developmental Biology Chinese Academy of Sciences Datun Road Chaoyang District Beijing China Graduate School of the chinese academy of Sciences Yuquan Road Shijingshan District Beijing China

Previous studies have shown that Arabidopsis equilibrative nucleoside transporters （AtENTs） possess transport activitieswhen produced in yeast cells and are differentially expressed in Arabidopsis ***,we report further analysis onthe nucleoside transport activities and transcriptional patterns of AtENT *** recombinant proteins of AtENTs3.6,and 7,but not those of AtENTs 1,2.4,and 8,were found to transport thymidine with high *** to previ-ous suggestion that AtENT1 may not transport uridine,this work showed that recombinant AtENT1 was a pH-dependentand high-affinity transporter of *** grown on MS plates,the AtENT3.knockout plants were more tolerant tothe cytotoxic uridine analog 5-fluorouridine than wild-type plants and the knockout plants ofAtENT 1 or ***-sistent with this observation,the AtENT3.knockout line exhibited a significantly decreased ability to take up [3.]uridinevia the roots when compared with wild-type plants and the plants with mutated AtENT 1 or *** indicates thatAtENT3.but not AtENTs 1 and 6,is the main transporter for uridine uptake in Arabidopsis *** transcription ofAtENTs 1,3.4,6,7,and 8 was regulated in a complex manner during leaf development and *** contrast,thesix AtENT members were coordinately induced during seed *** work provides new information on thetransport properties of recombinant AtENT proteins and new clues for future studies of the in vivo transport activitiesand physiological functions of the different ENT proteins in Arabidopsis plants.

关键词： Arabidopsis equilibrative nucleoside transporter expression pattern nucleoside transport functional analysis

Accountable authority key policy attribute-based encryption

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science china(information Sciences) 2012年第7期55卷 1631-1638页

作者： WANG YongTao 1,2.,CHEN KeFei 1,3.,LONG Yu 1,4 & LIU ZhaoHui 2.1 Department of Computer Science and engineering,Shanghai Jiao Tong University,Shanghai 2.02.0,{2. 2.3} {3. Technology security Evaluation center,Beijing 100085,{2. 3.Shanghai Key Laboratory of Scalable Computing and Systems,Shanghai Jiao Tong University,Shanghai,2.02.0,{2. 4 State Key Laboratory of {3. security,Graduate School of {12. academy of Sciences,10003.,{2. Department of Computer Science and engineering Shanghai Jiao Tong University Shanghai China china information Technology {2. Evaluation {3. Beijing China Shanghai Key Laboratory of Scalable Computing and Systems Shanghai Jiao Tong University Shanghai China State Key Laboratory of information security Graduate School of Chinese Academy of Sciences Beijing China

We present an accountable authority key policy attribute-based encryption (A-KPABE) *** this paper,we extend Goyal's work to key policy attribute-based encryption *** first generalize the notion of accountable authority in key policy attribute-based encryption scenario,and then give a *** addition,our scheme is shown to be secure in the standard model under the modified Bilinear Decisional Diffie-Hellman (mBDDH) assumption.

关键词： accountable authority key policy attribute-based encryption standard model access structure