检索结果-南通市图书馆

CMQV+:An authenticated key exchange protocol from CMQV

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

science china(Information {2.) 2012年第7期55卷 1666-1674页

作者： LI Hui 1,2.& WU ChuanKun 1 1 state key Laboratory of Information Security,{2.,chinese academy of sciences,beijing 100190,china 2.Graduate University of chinese academy of sciences,beijing 100049,china state key Laboratory of Information Security Institute of Software Chinese Academy of Sciences Beijing China Graduate University of chinese academy of sciences Beijing 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

Dynamic tree-based authenticated group key exchange protocol

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

science china(Information {2.) 2010年第8期53卷 1591-1602页

作者： LI Hui 1,2., WU ChuanKun 1 & TENG JiKai 1,2.1 state key Laboratory of Information Security, {2., chinese academy of sciences, beijing 100190, china 2.Graduate University of chinese academy of sciences, beijing 100049, china state key Laboratory of Information Security Institute of Software Chinese Academy of Sciences Beijing China Graduate University of chinese academy of sciences Beijing China

Authenticated group key exchange protocols allow a group of users over a public network to establish a shared secret key for the subsequent cryptographic goals. In this paper, we extend BD-II scheme into a dynamic setting, and propose a tree-based authenticated key exchange protocol which is more suitable for dynamic groups in such as ad hoc networks. Our protocol is proven secure in random-oracle model. Additionally, we analyze the costs of our protocols in both communication and computation terms, and compare its performance with three well-known protocols.

关键词： tree-based group key exchange dynamic provable security

Direct numerical simulation of shock/turbulent boundary layer interaction in a supersonic compression ramp

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

science china(Physics,Mechanics & Astronomy) 2010年第9期53卷 1651-1658页

作者： LI XinLiang1,FU DeXun2.MA YanWen2.& LIANG Xian1 1 key Laboratory of High Temperature Gas Dynamics,institute of Mechanics,{2.,beijing 100190,china 2.The state key Laboratory of Nonlinear Mechanics,institute of Mechanics,{2.,beijing 100190,china key Laboratory of High Temperature Gas Dynamics Institute of Mechanics Chinese Academy of Sciences Beijing China The state key Laboratory of Nonlinear Mechanics Institute of Mechanics Chinese Academy of Sciences Beijing China

A direct numerical simulation of the shock/turbulent boundary layer interaction flow in a supersonic 2.-degree compression ramp is conducted with the free stream Mach number *** blow-and-suction disturbance in the upstream wall boundary is used to trigger the *** the mean wall pressure and the velocity profiles agree with those of the experimental data,which validates the *** turbulent kinetic energy budget in the separation region is *** show that the turbulent production term increases fast in the separation region,while the turbulent dissipation term reaches its peak in the near-wall *** turbulent transport term contributes to the balance of the turbulent conduction and turbulent *** on the analysis of instantaneous pressure in the downstream region of the mean shock and that in the separation bubble,the authors suggest that the low frequency oscillation of the shock is not caused by the upstream turbulent disturbance,but rather the instability of separation bubble.

关键词： compression ramp shock/turbulent boundary layer interaction direct numerical simulation shock oscillation

CBCR:CBC MAC with rotating transformations

在线全文

学校读者我要写书评

暂无评论

science china(Information {2.) 2011年第11期54卷 2247-2255页

作者： ZHANG LiTing 1,2.WU WenLing 1,ZHANG Lei 1 & WANG Peng 2. state key Laboratory of Information Security,{2.,chinese academy of sciences,beijing 100190,china 2.Graduate University of chinese academy of sciences,beijing 100049,china state key Laboratory of Information Security Institute of Software Chinese Academy of Sciences Beijing China Graduate University of chinese academy of sciences Beijing China

Message authentication codes (MACs) are widely used to protect data integrity and data origin authentication in *** this paper,we propose a new block-cipher-based MAC algorithm,CBCR,with provable security for arbitrary-length *** adopts rotating operations in the end of cipherblock-chaining structure,and it appends fixed-length prefixes to all messages,which implies flexible usages in *** example,these fixed-length prefixes can be filled with some security parameters,message redundancies,*** also propose CBCR0,a special case of CBCR that sets its prefix to be an all-zero *** with CMAC,a recommended standard by the US National institute of Standards and Technology (NIST),CBCR0 enjoys all the advantages that CMAC has,but requires less memory;so,in practical applications,CBCR0 behaves as well as CMAC does,and it is even more suitable for environments with limited memory resources,*** cards.

关键词： message authentication code cipher block chaining block cipher provable security

Security model and modular design of fair authentication key exchange protocols

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

science china(Information {2.) 2010年第2期53卷 278-287页

作者： FENG DengGuo & CHEN WeiDong state key Laboratory of Information Security, {2., chinese academy of sciences, beijing 100190, china state key Laboratory of Information Security Institute of Software Chinese Academy of Sciences Beijing China

It is traditionally assumed that the legal two parties in authentication key exchange (AKE) communications are both credible. However, in more and more network applications nowadays, it is often required that such protocols be run under the circumstances where ones do not trust in each other. Therefore, in this paper we propose the idea of fair authentication key exchange (FAKE), which has not only the basic properties of AKE protocols, but also some new properties: the "session proof" embedded in the input of protocols by the customer; and if not revealed, the protocols have the deniability, otherwise the transcript of protocol is binding for the identifications. Such a method is capable of solving the contradiction between protecting privacy and the dissension on network service. Then the security model of FAKE protocols is formulated systematically and a flaw of the security model of current signature schemes proposed by Kudla is also corrected. Finally, a kind of FAKE protocol based on current signature schemes is designed and the mBJM-AK security, conditional deniability and fairness of FAKE protocols are proved in the random oracle model.

关键词： authentication key exchange protocols deniability fairness concurrent signature provable security

Privilege Flow Oriented Intrusion Detection Based on Hidden Semi-MarkovModel

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Wuhan University Journal of Natural sciences 2005年第1期10卷 137-141页

作者： ZHONG An-ming 1, JIA Chun-fu 1,2.1.College of Information Technology and sciences, Nankai University, Tianjin 300071,china {2. key Laboratory of Information Security, institute of software of chinese academy of science, beijing 100039,china College of Information Technology and sciences Nankai University Tianjin China state key Laboratory of Information Security Institute of Software of Chinese Academy of Science Beijing China

A privilege flow oriented intrusion detection method based on HSMM (Hidden semi-Markov Model) is discussed. The privilege flow model and HSMM are incorporated in the implementation of an anomaly detection IDS (Intrusion Detection System). Using the dataset of DARPA 1998, our experiment results reveal good detection performance and acceptable computation cost.

关键词： key words intrusion detection privilege flow model HSMM

Plastic deformation of nanocrystalline nickel

在线全文

学校读者我要写书评

暂无评论

science china(Technological {2.) 2009年第8期52卷 2216-2221页

作者： WU XiaoLei state key Laboratory of Nonlinear Mechanics, {2. of Mechanics, chinese academy of sciences, beijing 100190, china state key Laboratory of Nonlinear Mechanics Institute of Mechanics Chinese Academy of Sciences Beijing China

A high-resolution electron microscopy study has uncovered the plastic behavior of accommodating large strains in nanocrystalline (NC) Ni subject to cold rolling at liquid nitrogen temperature. The activation of grain-boundary-mediated-plasticity is evidenced in NC-Ni, including twinning and formation of stacking fault via partial dislocation slips from the grain boundary. The formation and storage of 60? full dislocations are observed inside NC-grains. The grain/twin boundaries act as the barriers of dislocation slips, leading to dislocation pile-up, severe lattice distortion, and formation of sub-grain boundary. The vicinity of grain/twin boundary is where defects preferentially accumulate and likely the favorable place for onset of plastic deformation. The present results indicate the heterogeneous and multiple natures of accommodating plastic strains in NC-grains.

关键词： nanocrystalline metal plastic deformation deformation twinning dislocation microstructure

Improved multi-pass fast correlation attacks with applications

在线全文

学校读者我要写书评

暂无评论

science china(Information {2.) 2011年第8期54卷 1635-1644页

作者： ZHANG Bin & FENG DengGuo state key Laboratory of Information Security,{2.,chinese academy of sciences,beijing 100190,china state key Laboratory of Information Security Institute of Software Chinese Academy of Sciences Beijing China

In this paper we propose two new algorithms for multi-pass fast correlation attacks on stream *** first algorithm aims at fast symbol-wise decoding in the circumstances that the noise is not very high and we have little resource for *** second algorithm deals with the practical decoding problem in the high noise and limited keystream *** new algorithms are applicable to arbitrary form LFSR and compare favorably to the previously known algorithms in the scenarios under *** applications,we demonstrate new key recovery attacks on one-level Bluetooth E0 and LILI-12.,*** 2.37 -bit keystream and 2.2.-byte memory,our attack against one-level E0 needs 2.35.1 *** 2.2.-bit keystream and 2.2..5 -byte memory,our attack on LILI-12. has time complexity 2.70.6 operations.

关键词： stream cipher fast correlation attacks linear feedback shift register (LFSR) Bluetooth E0 LILI-12.

Dynamics of morphological changes for mitochondrial fission and fusion

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

science china(Physics,Mechanics & Astronomy) 2010年第4期53卷 680-689页

作者： WANG ShiQi 1,2.4 , FU ChangLiang 1,2., ZHANG Yan 1,2., CHEN Quan 3 & LONG Mian 1,2.1 key Laboratory of Microgravity (National Microgravity Laboratory), beijing 100190, {2. 2.Center for Biomechanics and Bioengineering, institute of Mechanics, chinese academy of sciences, beijing 100190, {2. 3 state key Laboratory of Biomembrane and Membrane Biotechnology, institute of Zoology, chinese academy of sciences, beijing 100101, {2. 4 institute of Vertebrate Paleontology and Paleoanthropology, chinese academy of sciences, beijing 100044, {2. key Laboratory of Microgravity (National Microgravity Laboratory) Beijing China Center for Biomechanics and Bioengineering Institute of Mechanics Chinese Academy of Sciences Beijing China institute of Vertebrate Paleontology and Paleoanthropology Chinese Academy of Sciences Beijing China state key Laboratory of Biomembrane and Membrane Biotechnology Institute of Zoology Chinese Academy of Sciences Beijing China

Mitochondria experience continuous fusion and fission in a living cell, but their dynamics remains poorly quantified. Here a theoretical model was developed, upon a simplified population balance equation (PBE), to predict the morphological changes induced by mitochondrial fission and fusion. Assuming that both fission and fusion events are statistically independent, the survival probability of mitochondria staying in the fission or fusion state was formulated as an exponentially-decayed function with time, which depended on the time-dependent distribution of the mitochondrial volume and the fission and fusion rates. Parametric analysis was done for two typical volume distributions. One was Gamma distribution and the other was Gaussian distribution, derived from the measurements of volume distribution for individual mitochondria in a living cell and purified mitochondria in vitro. The predictions indicated that the survival probability strongly depended on morphological changes of individual mitochondria and was inversely correlated to the fission and fusion rates. This work provided a new insight into quantifying the mitochondrial dynamics via monitoring the evolution of the mitochondrial volume.

关键词： mitochondria morphology fission fusion dynamics modeling