检索结果-南通市图书馆

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, Chinese Academy of Science, beijing 1.01.0, china 2national engineering research center of information security, beijing 1.01.0, china 1. State Key Laboratory of information security Institute of Software Chinese Academy of Science Beijing 100190 China2. National Engineering Research Center of Information Security Beijing 100190 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

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 Chinese Academy of Sciences, beijing 100080, china 2.engineering research center for information security Technology, the Chinese Academy of Sciences, beijing 100080, china 3.Graduate School of the Chinese Academy of Sciences, beijing 100080, china Institute of Software the Chinese Academy of Sciences Beijing 100080 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

A formal model of fair exchange protocols

在线全文

学校读者我要写书评

暂无评论

Science in china(Series F) 2005年第4期48卷 499-512页

作者： QING Sihan1,2,3 & LI Gaicheng1,2,3 1. engineering research center for information security Technology, Institute of Software, Chinese Aca- demy of Sciences, beijing 100080, china 2. beijing Zhongke Ansheng Corporation of information Technology, beijing 100080, china 3. Graduate School of the Chinese Academy of Sciences, beijing 100039, china 1. engineering research center for information security Technology Institute of Software Chinese Academy of Sciences 100080 Beijing China 2. beijing Zhongke Ansheng Corporation of information Technology 100080 Beijing China 3. Graduate School of the Chinese Academy of Sciences 100039 Beijing China

Based on the study of existing fair exchange protocols, this paper sets up an accurate formal model by stepwise refinement. In the process of refinement an unreliable channel is employed to simulate an attack behavior. The model provides a novel formal definition of exchanged items, and presents the formal goals for fairness, accountability, etc., reflecting the inherent requirements for fair exchange protocols across-the-board. In order to check, prove, and design fair exchange protocols effectively and efficiently, the model puts forward a novel property of abuse-freeness which applies to all fair exchange protocols, gives a formal definition for trust strand of the third party, and presents general criteria of designing a secure and effective fair exchange protocol. Taking a typical fair exchange protocol as an example, this paper presents the analysis steps of fair exchange protocols appealing to our model. An unknown attack is uncovered. The analysis reveals the process of a complete attack, discovering deeper reasons for causing an attack. Finally, we modify the flawed protocol and the revised protocol ensures the desirable properties.

关键词： events local causal relation local temporal relation global relation exchanged item security goals.

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. engineering research center for information security Technology, Institute of Software, Chinese Academy of Sciences, beijing 100080, china 2. beijing Zhongke Ansheng Corporation of information Technology, beijing 100080, china 3. Graduate School of the Chinese Academy of Sciences, beijing 100039, china 1. engineering research center for information security Technology Institute of Software Chinese Academy of Sciences Beijing 100080 China 2. beijing Zhongke Ansheng Corporation of information Technology Beijing 100080 China 3. Graduate School of the Chinese Academy of Sciences Beijing 100039 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.

Secure network coding in the presence of eavesdroppers

在线全文

学校读者我要写书评

暂无评论

Science china(information Sciences) 2010年第3期53卷 648-658页

作者： LUO MingXing1,2,3, YANG YiXian1,2,3, WANG LiCheng1,2,3 & NIU XinXin1,2,3 1information security center, State Key Laboratory of Networking and Switching Technology, beijing University of Posts and Telecommunications, beijing 100876, china 2Key Laboratory of Network and information Attack and Defence Technology of MOE, beijing University of Posts and Telecommunications, beijing 100876, china 3national engineering Laboratory for Disaster Backup and Recovery, beijing University of Posts and Telecommunications, beijing 100876, china 1. information security center State Key Laboratory of Networking and Switching Technology Beijing University of Posts and Telecommunications Beijing 100876 China2. Key Laboratory of Network and Information Attack and Defence Technology of MOE Beijing University of Posts and Telecommunications Beijing 100876 China3. National Engineering Laboratory for Disaster Backup and Recovery Beijing University of Posts and Telecommunications Beijing 100876 China

Our concern, in the paper, is to construct information-theoretic secure network coding in the presence of eavesdroppers. Based on the generalized attack model and all-or-nothing transformation, the security of network coding in the generalized combination network can be characterized by the network capacity and the min-cut bound of wiretapping set from the source. Furthermore, it can be extended to any directed acyclic networks with single source. Compared with the traditional results, we construct information-theoretic secure network coding without additional encryptions and giving up any capacity.

关键词： all-or-nothing transformation secure network coding eavesdropping

ALGEBRAICALLY CONSTRUCTED COSTAS ARRAYS WITH SMALL NUMBER OF CROSS-COINCIDENCES

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Systems Science and Mathematical Sciences 2000年第3期13卷 242-249页

作者： YANG Yixian(information security center, Depertment of information engineering, beijing University of Posts and Telecommunication, beijing 100876, china) 北京 100876

Eight families of Costas arrays with ideal cross-coincidence are algebraically constructed under the assumptin that the vertical shifts are appropriately *** Costas arrays are useful for designing multiple Costas wavforms with small crossambiguities, if the potential Doppler shifts are restricted to a small portion of the wavform bandwidth.

关键词： Costas arrays signal design coding optical orthogonal codes

research progress on electrical signals in higher plants

在线全文

学校读者我要写书评

暂无评论

Progress in Natural Science:Materials International 2009年第5期19卷 531-541页

作者： Xiaofei Yana, Zhongyi Wang a, Lan Huang a, Cheng Wang b, Ruifeng Hou b, Zhilong Xu b, Xiaojun Qiao b a College of information and Electrical engineering, china Agricultural University, beijing 100083, china b national engineering research center for information Technology in Agriculture, beijing 100097, china [a]College of information and Electrical engineering China Agricultural University Beijing 100083 China [b]National Engineering Research Center for Information Technology in Agriculture Beijing 100097 China

This review introduces the characteristics of electrical signals in higher plants and their corresponding physiological significance, and describes in detail the impact of environmental factors (e.g. light and temperature) on the electrical potential of the plants. Also, we evaluate the measurement techniques used for electrical signals in plants, including intracellular measurement, extracellular measurement, measurement of the ion channel based on the patch-clamp technique and on the non-invasive microelectrode vibrating probe technique. We also give a brief review of the applications of these methods for investigating electrical signals in plants. The ionic mechanism of electrical activity in plants is then discussed in terms of environmental response in higher plants, and this is used to provide a theoretical basis for quantitative description of the electrical signals in plants. A model for interpretation of the electrical signal mechanisms in higher plants is discussed, but further experiments are required for the verification of this model.

关键词： Ion channel Temperature-induced Light-induced Ion mechanism Measurement technology

Distribution,formation and evolution of sand ridges on the East china Sea shelf

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science china(Technological Sciences) 2010年第3期53卷 822-828页

作者： ZHAO RenBao 1,2,SUN HaiTao 3,WU YaSheng 3 &ZHAO ChuanFeng 1,2 1MOE Key Laboratory of Petroleum engineering,china University of Petroleum,beijing 102249,china 2 Enhanced Oil Recovering research center,china University of Petroleum,beijing 102249,china 3Faculty of Natural Resource&information Technology,china University of Petroleum,beijing 102249,china 1. MOE Key Laboratory of Petroleum engineering China University of Petroleum Beijing 102249 China2. Enhanced Oil Recovering Research Center China University of Petroleum Beijing 102249 China3. Faculty of Natural Resource & Information Technology China University of Petroleum Beijing 102249 China

Influence of CO2 corrosion on reservoir mineralogical composition,pore structure and their mechanical characteristics was studied using XRD,SEM,rock tri-axial machine and core flow experimental *** was found that the corrosion effect was mainly attributed to rock texture and structure,fluid composition and external dynamical conditions in the experimental *** cores with bedding structures,their bedding surfaces were the preferential corrosion regions,because micro-cracks would evolve at these surfaces in the pressure-releasing ***,for cores with massive structures controlled by stable water environment,the CO2 corrosion would result in pore enlargement and secondary pore *** gas velocity from outlet showed sharp increase in the injection process of CO2-H2O *** could be explained by two changes caused by *** was the opening and closure of *** other was particle *** the corrosion time increased,both tensile strength and compressive strength decreased,which confirmed decrease of cementation *** should also be noted that permeability increase and micro-cracks generation would pose damage to the capacity of CO2 geological storage.

关键词： carbon dioxide geological storage mineralization enhanced oil recovery corrosion

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, china 2. national engineering research center for information Technology in Agriculture, beijing 100089, china 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 china national engineering research center for information Technology in Agriculture beijing china

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.