检索结果-南通市图书馆

CMQV+:An authenticated key exchange protocol from CMQV

在线全文

学校读者我要写书评

暂无评论

Science china(Information sciences) 2012年第7期55卷 1666-1674页

作者： LI Hui 1,2.& WU ChuanKun 1 1 State Key Laboratory of Information Security,Institute of Software,chinese Academy of sciences,{2. 100190,china 2.graduate university of chinese Academy of sciences,beijing 100049,china 1. State Key Laboratory of Information Security Institute of Software Chinese Academy of Sciences Beijing 100190 China2. Graduate University of Chinese Academy of Sciences Beijing 100049 China

Ustaoglu presents a secure and efficient key exchange protocol named CMQV,based on the design rationales of HMQV and *** with the latter two protocols,on one hand,CMQV achieves high performance of HMQV,and on the other,it is proven secure in eCK model as NAXOS ***,CMQV enjoys the security proof under gap Diffie-Hellman assumption as indicated by its *** this paper,we propose a variant of CMQV,called CMQV+,which is proven secure under a weaker assumption (*** Diffie-Hellman assumption) in eCK model with random oracles while maintaining the high-performance feature of CMQV as much as possible.

关键词： key exchange eCK model trapdoor-test technique provable security CDH assumption

A two-round honest-verifier zero-knowledge protocol

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science china(Information sciences) 2010年第5期53卷 954-963页

作者： LIU HanWu 1,2.& LIN DongDai 1 1 The State Key Laboratory of Information Security, Institute of Software, chinese Academy of sciences, {2. 100190, china 2.graduate university of the chinese Academy of sciences, beijing 100049, china 1. The State Key Laboratory of Information Security Institute of Software Chinese Academy of Sciences Beijing 100190 China2. Graduate University of the Chinese Academy of Sciences Beijing 100049 China

Since the concept of zero-knowledge protocols was introduced, it has attracted a lot of attention and in turn showed significant effect on the development of cryptography, complexity theory and other areas. The round complexity of a zero-knowledge protocol is a very important efficiency consideration, and it is required to be as small as possible. Generally, it is desirable to have zero-knowledge protocols with constant numbers of rounds. Goldreich and Oren proved that only languages in BPP have one-round and two-round zero-knowledge protocols. Moreover, they also showed that only languages in BPP have one-round honest-verifier zero-knowledge protocols. The notion of honest-verifier zero-knowledge protocols is highly non-trivial and fascinating itself, and has many other uses. Thus, the problem as to whether there exist two-round honest-verifier zero-knowledge protocols becomes an important open problem. In this paper, we introduce a new simulation technique and present a two-round honest-verifier zero-knowledge protocol for any language in N P under a standard complexity assumption based on this technique.

关键词： proof system argument system zero-knowledge witness indistinguishability black-box one-way permutation commitment scheme zap

Preparation and characterization of a novel adsorbent for removing lipophilic organic from water

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science china Chemistry 2005年第6期48卷 600-604页

作者： LIU Huijuan1, DAI Ruihua1, QU Jiuhui1 & RU Jia1,2.1. State Key Laboratory of Environmental Aquatic Chemistry, Research Center for Eco-Environmental sciences, chinese Academy of sciences, beijing 100085, china 2. graduate School of the chinese Academy of sciences, beijing 100039, china 1. State Key Laboratory of Environmental Aquatic Chemistry Research Center for Eco-Environmental Sciences Chinese Academy of Sciences 100085 Beijing China 2. graduate School of the chinese Academy of {2. 100039 Beijing China

A novel composite adsorbent containing a kind of lipid-triolein is studied. The ad-sorbent is prepared by embedding triolein into cellulose acetate (CA) sphere. The preparation method, the physical-chemical properties of the adsorbent and the removal efficiency of two or-ganochlorinated pesticides are studied. The adsorbent is stable in water and no triolein leaks into water for 465 h soaking. The adsorbent has high adsorption capacity for organochlorinated pes-ticides such as dieldrin and aldrin. The results suggest that triolein-containing adsorbent could serve as a good adsorbent for lipophilic organic pollutants. The adsorption rate for lipophilic pol-lutants is very fast and has relation with the logKow of the compounds.

关键词： triolein, cellulose acetate, adsorbent, lipophilic organic, drinking water.

Genesis of ^(2.0)Th excess in basalts from mid-ocean ridges and ocean islands:Constraints from the global U-series isotope database and major and rare earth element geochemistry

在线全文

学校读者我要写书评

暂无评论

Science china Earth sciences 2010年第10期53卷 1486-1494页

作者： ZHANG GuoLiang1,2.& ZENG ZhiGang1 1 Key Laboratory of Marine Geology and Environment,Institute of Oceanology,chinese Academy of sciences,Qingdao 2.6071,{2. 2.graduate university of chinese Academy of sciences,beijing 100049,{2. 1. Key Laboratory of Marine Geology and Environment Institute of Oceanology Chinese Academy of Sciences Qingdao 266071 China2. Graduate University of Chinese Academy of Sciences Beijing 100049 China

Based on 2.0Th-2.8U disequilibrium and major element data from mid-ocean ridge basalts(MORBs) and ocean island basalts(OIBs),this study calculates mantle melting parameters,and thereby investigates the origin of 2.0Th excess.(2.0Th/2.8U) in global MORBs shows a positive correlation with Fe8,Po,Na8,and Fmelt(Fe8 and Na8 are FeO and Na2. contents respectively after correction for crustal fractionation relative to MgO = 8 wt%,Po=pressure of initial melting and Fmelt=degree of melt),while 2.0Th excess in OIBs has no obvious correlation with either initial mantle melting depth or the average degree of mantle ***,compared with the MORBs,higher(2.0Th/2.8U) in OIBs actually corresponds to a lower melting *** suggests that the 2.0Th excess in MORBs is controlled by mantle melting conditions,while the 2.0Th excess in OIBs is more likely related to the deep garnet *** vast majority of calculated initial melting pressures of MORBs with excess 2.0Th are between 1.0 and 2.5 GPa,which is consistent with the conclusion from experiments in recent years that DU>DTh for Al-clinopyroxene at pressures of >1.0 *** initial melting pressure of OIBs is 2.2.3.5 GPa(around the spinel-garnet transition zone),with their low excess 2.6Ra compared to MORBs also suggesting a deeper mantle ***,excess 2.0Th in MORBs and OIBs may be formed respectively in the spinel and garnet stability *** addition,there is no obvious correlation of K2./TiO2.with(2.0Th/2.8U) and initial melting pressure(Po) of MORBs,so it is proposed that the melting depth producing excess 2.0Th does not tap the spinel-garnet transition *** and MORBs in both(2.0Th/2.8U) vs.K2./TiO2.and(2.0Th/2.8U) *** plots fall in two distinct areas,indicating that the mineral phases which dominate their excess 2.0Th are ***/Yb-Ce curves of fast and slow ridge MORBs are similar,while,in comparison,the Ce/Yb-Ce curve for OIBs shows more influence from *** mechanism

关键词： excess 2.0Th clinopyroxene garnet spinel-lherzolite mid-ocean ridge ocean island

Autonomous satellite constellation orbit determination using the star sensor and inter-satellite links data

在线全文

学校读者我要写书评

暂无评论

Science china(Physics,Mechanics & Astronomy) 2010年第5期53卷 966-974页

作者： GAN QingBo1,2.MA JianBo1 & XU Jin1 1 Purple Mountain Observatory,chinese Academy of sciences,Nanjing 2.0008,{2. 2.graduate university of chinese Academy of sciences,beijing 100049,{2. 1. Purple Mountain Observatory Chinese Academy of Sciences Nanjing 210008 China2. Graduate University of Chinese Academy of Sciences Beijing 100049 China

A method of autonomous orbit determination for a satellite constellation using a star sensor combined with inter satellite links(ISLs) is *** types of simulated observation data,Three-Satellite Constellation ISLs and background stellar observations by a CCD star sensor,are first *** on these data,an observation equation is built for the constellation joint autonomous orbit determination,in which the simulations are *** accuracy of this method with different orbital determination models are analyzed and compared with regard to the effect of potential measurement *** results show that autonomous satellite constellation orbit determination using star sensor measurement and ISLs data is ***,this paper arrives at several conclusions which contribute to extending this method to a more general satellite constellation.

关键词： satellite constellation star sensor inter-satellite links autonomous orbit determination

Inertial theory of the mean Hadley circulation under the condition of nonstatic equilibrium

在线全文

学校读者我要写书评

暂无评论

Science china Earth sciences 2006年第5期49卷 546-553页

作者： CHAO Jiping1 & LIU Fei2.3 1. National Marine Environmental Forecasting Center, beijing 100081, china 2. Key Laboratory Regional Climate-Environment for Temperate East Asia, Institute of Atmospheric Physics, {2. Academy of sciences, beijing 10002., china 3. graduate university of {2. Academy of sciences, beijing 100049, china 1. National Marine Environmental Forecasting Center Beijing 100081 China 2. Key Laboratory Regional Climate-Environment for Temperate East Asia Institute of Atmospheric Physics Chinese Academy of Sciences Beijing 100029 China 3. graduate university of {2. Academy of sciences Beijing 100049 China

Tropical atmosphere is divided into two layers, the layer near the ground is the planet boundary layer, where the motion is linear, if the radiation equilibrium temperature is given at the top of the boundary layer, the vertical motion there can be obtained. It is the non-viscous ideal atmos- pheric layer above the boundary one, where the motion is nonlinear. After getting the conservation laws of angular momentum, potential temperature and potential vortex, the inertial theory of the Hadley circulation driven by the vertical motion of the boundary layer is established, followed by sev- eral examples of its application.

关键词： Hadley circulation, inertial theory, conservation laws of angular momentum, potential temperature and potential vortex.

The features of gravity field and deep structure in western part of the South Yellow Sea

在线全文

学校读者我要写书评

暂无评论

chinese Science Bulletin 2000年第8期45卷 759-764页

作者： WANG Qianshen1 & AN Yulin1. Institute of Geophysics, chinese Academy of sciences, {2. 100101, china 2. chinese university of Geology, {2. 100083, china Institute of Geophysics Chinesc Academy of Sciences Beijing China chinese university of Geology Beijing China

The gravity data from the sea region to the west of 12.° E of the South Yellow Sea have been processed and the feature of gravity fields analyzed. An experience relationship formula on the filter wavelength and corresponding depth has been put forward. Combined with the geological and seismic data, the deep tectonic framework and structural characters as well as possible favourable prospecting district for hydrocarbon in the South Yellow Sea have been discussed and analyzed.

关键词： western part of the South Yellow Sea gravity field deep structure.

A new principle of synthetic cascade utilization of chemical energy and physical energy

在线全文

学校读者我要写书评

暂无评论

Science china(Technological sciences) 2005年第2期48卷 163-179页

作者： JIN Hongguang1, HONG Hui1,2. WANG Baoqun1,2. HAN Wei1,2.& LIN Rumou1,2.1. Institute of Engineering Thermophysics, chinese Academy of sciences, {2. 100080, china 2. graduate School of the chinese Academy of sciences, {2. 100039, china 1. Institute of Engineering Thermophysics Chinese Academy of Sciences 100080 Beijing China 2. graduate School of the chinese Academy of {2. 100039 Beijing China

We propose a new principle of the cascade utilization of both chemical energy and physical energy in energy systems with the integration of chemical processes and thermal cycles. Particularly, a general equation of energy levels of substance, Gibbs free energy of chemical reaction and physical energy is explicitly founded. On the basis of this equation, a chemical-looping combustion and an indirect combustion are investigated. Furthermore, a mechanism of energy release, with the combination of decreasing the energy level of Gibbs free energy and upgrading the energy level of low or middle- temperature thermal energy, is clarified. The promising results obtained here establish a theoretical basis for the further investigation of multi-function systems in which energy and the environment are compatible, and create a new approach to improve the performance of traditional thermal cycles.

关键词： chemical energy, cascade utilization, exergy, energy conversion.

Modeling and verifying Web services driven by requirements:An ontology-based approach

在线全文

学校读者我要写书评

暂无评论

Science in china(Series F) 2006年第6期49卷 792-820页

作者： HOU Lishan1,3,JIN ZHi1,2.& WU Budan1,4 1. Academy of Mathematics and Systems Science, chinese Academy of sciences, {2. 100080, china 2. Institute of Computing Technology, chinese Academy of sciences, {2. 100080, china 3. Institute of Software, chinese Academy of sciences, {2. 100080, china 4. {12. university of chinese Academy of sciences, beijing 100049, china 1. Academy of Mathematics and Systems Science Chinese Academy of Sciences Beijing 100080 China 3. Institute of Software Chinese Academy of Sciences Beijing 100080 China 2. Institute of Computing Technology Chinese Academy of Sciences Bejing 100080 China 4. graduate university of {2. Academy of sciences Beijing 100049 China

Automatic discovery and composition of Web services is an important research area in Web service technology, in which the specification of Web services is a key issue. This paper presents a Web service capability description framework based on the environment ontology. This framework depicts Web services capability in two aspects： the operable environment and the environment changes resulting from behaviors of the Web service. On the basis of the framework, a requirement-driven Web service composition model has been constructed. This paper brings forward the formalization of Web service interactions with π calculus. And an automatic mechanism converting conceptual capability description to the formal process expression has been built. This kind of formal specification assists in verifying whether the composite Web service model matches the requirement.

关键词： Web service environment ontology automatic composition π calculus formal verification.