检索结果-南通市图书馆

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 {2., China 2. Beijing Zhongke Ansheng Corporation of Information Technology, Beijing {2., China 3. graduate {3. of the Chinese Academy of Sciences, Beijing 10003., China Engineering Research Center for Information 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 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 {2., China 2. Beijing Zhongke Ansheng Corporation of Information Technology, Beijing {2., China 3. graduate {3. of the Chinese Academy of Sciences, Beijing 10003., China Engineering Research Center for Information 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.

Effect of rock mass structure and block size on the slope stability——Physical modeling and discrete element simulation

在线全文

学校读者我要写书评

暂无评论

Science China(Technological Sciences) 2005年第Z1期48卷 1-17页

作者： LI Shihai1, LIAN Zhenzhong1,2.& J. G. Wang3.1. Institute of Mechanics, Chinese Academy of Sciences, Beijing 100080, China 2. {2. school, Chinese Academy of Sciences, Beijing 100060, China 3. Tropical Marine Science Institute, National University of Singapore, Singapore 1192.0 Institute of Mechanics Chinese Academy of Sciences Beijing 100080 China graduate school Chinese Academy of Sciences Beijing 100060 China Tropical Marine Science Institute National University of Singapore Singapore 119260 Singapore

This paper studies the stability of jointed rock slopes by using our improved three-dimensional discrete element methods (DEM) and physical modeling. Results show that the DEM can simulate all failure modes of rock slopes with different joint configurations. The stress in each rock block is not homogeneous and blocks rotate in failure development. Failure modes depend on the configuration of joints. Toppling failure is observed for the slope with straight joints and sliding failure is observed for the slope with staged joints. The DEM results are also compared with those of limit equilibrium method (LEM). Without considering the joints in rock masses, the LEM predicts much higher factor of safety than physical modeling and DEM. The failure mode and factor of safety predicted by the DEM are in good agreement with laboratory tests for any jointed rock slope.

关键词： rock masses, slope stability, DEM simulation, block size effect, joints configuration effect, limit equilibrium method.

Formal Verification under Unknown Constraints

在线全文

学校读者我要写书评

暂无评论

Wuhan University Journal of Natural Sciences 2005年第1期10卷 43-46页

作者： LI Guang-hui 1,2.3., LI Xiao-wei 2.3.. {2. of Information Engineering, Zhejiang Forestry College, Hangzhou 3.13.0, Zhejiang, China 2. Institute of Computing Technology, Chinese Academy of Sciences, Beijing 100080, China 3. graduate {2. of the Chinese Academy of Sciences, Beijing 10003., China school of Information Engineering Zhejiang Forestry College Hangzhou Zhejiang China Institute of Computing Technology Chinese Academy of Sciences Beijing China graduate school of the Chinese Academy of Sciences Beijing China

We present a formal method of verifying designs with unknown constraints (e.g., black boxes) using Boolean satisfiability (SAT). This method is based on a new encoding scheme of unknown constraints, and solves the corresponding conjunctive normal form (CNF) ***,this method can avoid the potential memory explosion, which the binary decision diagram (BDD) based techniques maybe suffer from, thus it has the capacity of verifying large designs. Experimental results demonstrate the efficiency and feasibility of the proposed method.

关键词： formal verification unknown constraints black box Boolean satisfiability Boolean comparison

On conformal measures for infinitely renormalizable quadratic polynomials

在线全文

学校读者我要写书评

暂无评论

Science China Mathematics 2005年第10期48卷 1411-1420页

作者： HUANG Zhiyong~1 JIANG Yunping~(2.3. & WANG Yuefei~3.1. {2. of Information,Renmin University of China,Beijing 100872.China 2. Department of Mathematics,Queens College,City University of New York,NY 113.7,USA Department of Mathematics,graduate {2.,City University of New York,New York,NY 10016,USA 3. Academy of Mathematics and Systems Science,Chinese Academy of Sciences,Beijing {3.,China school of Information Renmin University of China Beijing China Department of Mathematics Queens College City University of New York NY USA Department of Mathematics Graduate School City University of New York New York USA Academy of Mathematics and Systems Science Chinese Academy of Sciences Beijing China

We study a conformal measure for an infinitely renormalizable quadratic polynomial. We prove that the conformal measure is ergodic if the polynomial is unbranched and has complex bounds. The main technique we use in t... 详细信息

关键词： Julia set, conformal measure, three-dimensional puzzle, infinitely renormalizable quadratic polynomial.

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 {2., China 2.Engineering Research Center for Information Security Technology, the Chinese Academy of Sciences, Beijing {2., China 3.graduate {3. of the Chinese Academy of Sciences, Beijing {2., China Institute of Software the Chinese Academy of Sciences Beijing China Engineering Research Center for Information 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

Discovery of immune related factors in Fenneropenaeus chinensis by annotation of ESTs

在线全文

学校读者我要写书评

暂无评论

Progress in Natural Science:Materials International 2004年第1期14卷 48-55页

作者： SHEN Yaoqing 1,2. , XIANG Jianhai 1*, WANG Bing 1,2. , LI Fuhua 1 and TONG Wei 3.1. Experimental Marine Biology Laboratory, Institute of Oceanology, Chinese Academy of Sciences, Qingdao 2.6071,China 2. graduate {2. of the Chinese Academy of Sciences, Beijing 10003., China 3. Genomics & Bioinformatics Institute, Chinese Academy of Sciences, Beijing 1013.0, China) Chinese Acad Sci Inst Oceanol Expt Marine Biol Lab Qingdao 266071 Peoples R China Chinese Acad Sci Grad Sch Beijing 100039 Peoples R China Chinese Acad Sci Geonom & Bioinformat Inst Beijing 101300 Peoples R China

A total of 10446 expressed sequence tags (ESTs) are obtained by a large scale sequencing of a cDNA library from cephalothorax of adult Fenneropenaeus chinensis . An EST analysis platform was built up based on local computers and bioinformatic techniques were used to annotate these ESTs in order to promptly find possible functional genes, especially for immune related factors. About 4% of the ESTs show similarity to the coding sequences of such factors, including lectin, serine protease, serpin, lysozyme, etc. These ESTs provide a partial profile of the immune system in F. chinensis and useful information for further study on these genes.

关键词： Fenneropenaeus chinensis bioinformatics ESTs immune factors

Variation properties of ionospheric eclipse factor and ionospheric influence factor

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Progress in Natural Science:Materials International 2005年第6期15卷 573-576页

作者： ZHAO Chunmei 1,2.*, YUAN Yunbin1, OU Jikun1 and CHEN Jinping3.1. Institute of Geodesy and Geophysics, Chinese Academy of Sciences, Wuhan 43.077, China 2. {2. school of Chinese Academy of Sciences, Beijing 10003., China 3. Department of Precision Instrument and Mechanology, Tsinghua University, Beijing 100084, China) Institute of Geodesy and Geophysics Chinese Academy of Sciences Wuhan 430077 China graduate school Chinese Academy of Sciences Beijing 100039 China Department of Precision Instrument and Mechanology Tsinghua University Beijing 100084 China

The concepts and calculation methods of ionospheric eclipse factor (IEF) and ionospheric influence factor (IFF) are further illustrated. The temporal and spacial variation properties of IEF and IFF are studied, which shows that the properties are influenced by the geographic position and season. The possibility of improving the precision of using GPS data to determine ionospheric delay based on the above variation properties is also analysed.

关键词： GPS Ionospheric eclipse factor Ionospheric influence factor

Representation of microscale ocean wavenumber spectrum correct to the second order

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science China Earth Sciences 2005年第4期48卷 549-554页

作者： YUAN Yeli2.& HUA Feng1,2.3.1. Institute of Oceanology, Chinese Academy of Sciences, Qingdao 2.6071, China 2. Key Laboratory of Marine Science and Numerical Modeling, State Oceanic Administration, Qingdao 2.6061, China 3. {2. school of the Chinese Academy of Sciences, Beijing 10003., China Key Laboratory of Marine Science and Numerical Modeling State Oceanic Administration Qingdao China Institute of Oceanology Chinese Academy of Sciences Qingdao China graduate school of the Chinese Academy of Sciences Beijing China

In this paper, the analytical representations of four wave source functions in high-frequency spectrum range are given on the basis of ocean wave theory and dimensional analysis, and the perturbation method is used to solve the governing equations of ocean wave high-frequency spectrum on the basis of the temporally stationary and locally homogeneous scale relations of microscale wave. The microscale ocean wavenumber spectrum correct to the second order has an explicit structure, its first order part represents the equilibrium between dif- ferent source functions, and its second order part represents the contribution of microscale wave propagation.

关键词： temporally stationary and locally homogeneous, source function in high-frequency spectrum range, microscale ocean wavenumber spectrum.