检索结果-南通市图书馆

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 {3. for Information {2. Technology, Institute of Software, Chinese Aca- demy of Sciences, {3. 100080, China 2. {3. Zhongke Ansheng Corporation of Information Technology, {3. 100080, China 3. Graduate School of the Chinese Academy of Sciences, {3. 10003., China Engineering research center for Information {2. Technology Institute of Software Chinese Aca- demy of Sciences beijing Zhongke Ansheng Corporation of Information Technology Graduate School of the Chinese Academy of Sciences

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 {2. Technology, Institute of Software, Chinese Academy of Sciences, {3. 100080, China 2. {3. Zhongke Ansheng Corporation of Information Technology, {3. 100080, China 3. Graduate School of the Chinese Academy of Sciences, {3. 10003., China Engineering research center for Information {2. Technology Institute of Software Chinese Academy of Sciences beijing Zhongke Ansheng Corporation of Information Technology Graduate School of the Chinese Academy of Sciences

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 Information security,Institute of Software,Chinese Academy of Science,{3.,China 2.tate Key Laboratory of Information security,Graduate University of Chinese Academy of Sciences,{3. 100049,China 3.ational Engineering research center of Information security,{3.,China State Key Laboratory of Information security Institute of Software Chinese Academy of Science State Key Laboratory of Information security Graduate University of Chinese Academy of Sciences National Engineering research {2. of Information {3.

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

Interannual variability of Antarctic Oscillation and its influence on East Asian climate during boreal winter and spring

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science China Earth Sciences 2006年第5期49卷 554-560页

作者： FAN Ke1,2.3.& WANG Huijun2.1. Nansen-Zhu International {3. {2., Institute of Atmospheric Physics, Chinese Academy of Sciences, {3. 10002., China 2. Department of Atmospheric Science, Yunnan University, Kunming 650091, China 3. Graduate University of the Chinese Academy of Sciences, {3. 100049, China Nansen-Zhu International research {2. Institute of Atmospheric Physics Chinese Academy of Sciences Beijing China Department of Atmospheric Science Yunnan University Kunming China Graduate University of the Chinese Academy of Sciences Beijing China

The interannual variability of Antarctic Oscillation (AAO) and its influence on East Asian climate during both boreal winter and spring are addressed. The results show that the positive AAO anomaly decreases the cold activity over East Asia during both boreal winter and spring. AAO-related barotropic meridional teleconnection from Antarctic to Arctic is found through analysis of mean me- ridional circulations. This meridional teleconnection is remarkable over Eurasia during boreal winter and over the Pacific Ocean during boreal spring. The results also show that zonal mean zonal wind at high latitudes in Southern Hemisphere has well positive correlation with that of Eurasia during boreal winter and has negative correlation with Pacific North American teleconnection (PNA) during boreal spring, which again display the meridional teleconnection. Thus, local meridional teleconnection is a possible linkage for interaction of circulations at mid-high latitudes between both hemispheres.

关键词： Antarctic Oscillation, Eurasian west wind, meridional teleconnection, mean meridional circulation.

A preliminary study on seismic design criteria of offshore platforms in Bohai Sea of China

在线全文

学校读者我要写书评

暂无评论

Earthquake Engineering and Engineering Vibration 2010年第2期9卷 223-231页

作者： Peng Yanju1,Lu Yuejun1,Yan Jiaquan2.Tang Rongyu1,Wang Junqin3.and Li Jiagang3.1. Institute of Crustal Dynamics,China Earthquake Administration,beijing 100085,China 2. Institute of Geophysics,China Earthquake Administration,beijing 100081,China 3. beijing {3. center of China National Offshore Oil Corp.,beijing 10002.,China Institute of Crustal Dynamics China Earthquake Administration Beijing 100085 China

This paper analyzes the seismicity in Bohai Sea,introducing a shape factor K to characterize the seismic risk distribution in sub-regions of the sea. Based on the seismic design ground motions for 46 platforms located in the Bohai Sea,a statistical analysis was performed for different peak ground acceleration (PGA) ratios at two different probability levels. In accordance with the two-stage design method,a scheme of two seismic design levels is proposed,and two seismic design objectives are established respectively for the strength level earthquake and the ductility level earthquake. By analogy with and comparison to the Chinese seismic design code for buildings,it is proposed that the probability level for the strength level earthquake and ductility level earthquake have a return period of 2.0 and 1000 - 2.00 years,respectively. The validity of these proposed values is discussed. Finally,the PGAs corresponding to these two probability levels are calculated for different sub-regions of the Bohai Sea.

关键词： fixed offshore platform seismic design level seismic design objective return period Bohai Sea

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, {3., China 2.{2. Engineering {3. center of Information security, {3., China State Key Laboratory of Information security Institute of Software Chinese Academy of Science National Engineering research {2. of Information {3.

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

Integrated precise orbit determination of Shenzhou IV unmanned spacecraft

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science China(Technological Sciences) 2004年第5期47卷 518-525页

作者： L Congmin1,2. GU Yidong3. LIN Baojun3.& GUO Jiong3.1. center for Space Science and Applied research, Chinese Academy of Sciences, {2. 100080, China 2. Graduate School of the Chinese Academy of Sciences, {2. 10003., China 3. General Establishment of Space Science and Application, Chinese Academy of Sciences, {2. 100080, China Correspondence should be addressed to L Congmin General Establishment of Space Science and Application Chinese Academy of Sciences

Considering the characteristic orbit of Shenzhou IV spacecraft and the advantages and disadvantages of several types of domestic orbit measurements, a scheme of IPOD is determined, which uses GPS, SLR and USB observation data jointly plus precise ionosphere corrections to GPS observation data. IPOD system and mathematic models of OD are introduced. The results of different joint OD are analyzed using true observation data, and show that radial accuracy is better than 2.m.

关键词： Shenzhou IV unmanned spacecraft integrated precise orbit determination GPS SLR USB.

Study on NDVI-T_s space by combining LAI and evapotranspiration

在线全文

学校读者我要写书评

暂无评论

Science China Earth Sciences 2006年第7期49卷 747-754页

作者： HAN Lijuan1,2.3. WANG Pengxin4, YANG Hua1,2.3. LIU Shaomin1,2.3.& WANG Jindi1,2.3.1. research center for Remote Sensing and GIS, School of Geography, {2. Normal University, {2. 100875, China 2. State Key Laboratory of Remote Sensing Science, {2. 100875, China 3. {2. Key Laboratory for Remote Sensing of Environment and Digital Cities, {2. 100875, China 4. Department of Information Management, College of Information and Electronic Engineering, China Agricultural University, {2. 100083. China research center for Remote Sensing and GIS School of Geography Beijing Normal University Beijing China State Key Laboratory of Remote Sensing Science Beijing China beijing Key Laboratory for Remote Sensing of Environment and Digital Cities Beijing China Department of Information Management College of Information and Electronic Engineering China Agricultural University Beijing China

This paper focuses on interpreting the different spatial relationships between NDVI and Ts, a triangular or a trapezoid, and on analyzing transformation conditions, the physical and ecological meanings of the vegetation index-surface temperature space as well. Further, we use the Tempera-ture-Vegetation Dryness Index (TVDI) to explain the existent meaning of a triangular space after NDVI reaches its saturated state by employing the relationships between NDVI, LAI and evapotranspiration. The specific relations between NDVI and Ts are useful for describing, validating and updating land surface models.

关键词： NDVI, land surface temperature, evapotranspiration, leave area index.

Study on Transformation of CaO-Al_2._3.SiO_2.MgO System Inclusions in ZG06Cr13.i4Mo Stainless Steel

在线全文

学校读者我要写书评

暂无评论

Journal of Iron and Steel research International 2011年第S2期18卷 341-346页

作者： LIU Jian-hui1,3. DONG Han1,3. ZHU Rong2. LI Shi-qi2.(1. Institute for Structural Materials,Central Iron and Steel research Institute, {3. 100081,China 2. School of Metallurgical and Ecological Engineering,University of Science and Technology {3., {3. 100083.China 3. National Engineering research center of Advanced Steel Technology, {3. 100081,China) Cent Iron & Steel Res Inst Inst Struct Mat Beijing 100081 Peoples R China Natl Engn Res Ctr Adv Steel Technol Beijing 100081 Peoples R China Univ Sci & Technol beijing Sch Met & Ecol Engn Beijing 100083 Peoples R China

This paper aims at generally studying on the inclusions of ZGG06Cr13.i4Mo ultra-low carbon stainless steel used for large scale hydraulic turbine sets. On the basis of analysis the industrial test samples, thermodynamic software FactSage is used to study inclusions transformation process in CaO-SiO2.Al2.3.MgO system while stainless steel is been smelting. The results illustrate the inclusions melting points and plasticity variation law. The reasonable inclusions plasticity controlling area is found out in low melting point. The melting point is up to 12.0℃ While MgO weight concentration is 10% in CaO-SiO2.Al2.3.MgO system, SiO2. Al2.3.and CaO in inclusions are in weight concentration range of 50-70%, 10-2.% and 10-40%, respectively. For purpose of gaining low melting point inclusions, silicon alumina radio in deoxidant should be controlled between 2.5 for ultra-low carbon stainless steel refining in industry.

关键词： ZG06Cr13.i4Mo stainless steel low melting point inclusion thermodynamic calculation