检索结果-南通市图书馆

A formal model of fair exchange protocols

在线全文

学校读者我要写书评

暂无评论

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

作者： QING Sihan1.2.{1.& LI Gaicheng1.2.{1.1. Engineering Research Center for Information Security Technology, Institute of Software, Chinese Aca- demy of Sciences, Beijing 1.0080, China 2. Beijing Zhongke Ansheng Corporation of Information Technology, Beijing 1.0080, China {1. Graduate school of the Chinese Academy of Sciences, Beijing 1.00{1., 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 {1. 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.

Multiple Effects of Energy Issues and Countermeasures: A Case of Shandong Province

在线全文

学校读者我要写书评

暂无评论

Chinese Journal of Population,Resources and Environment 2008年第4期6卷 88-94页

作者： Wang Chengxin1.2., Wang Gefang{1., Yao Shimou4 1. College of Population, Resources and Environment, Shandong Normal University, Jinan Shandong 2.001., China 2. Research Center of Cycle Economy of Shandong Province, Jinan Shandong 2.0001. China {1. {2. school of the Shandong committee of {{1., Jinan Shandong 2.002., China 4. Nanjing Institute of Geography and Limnology, Chinese Academy of Sciences, Nanjing Jiangsu 2.0008, China College of Population Resources and Environment Shandong Normal University Research Center of Cycle Economy of Shandong Province party {1. of the Shandong {2. of {3. Nanjing Institute of Geography and Limnology Chinese Academy of Sciences

Energy is now becoming the bottleneck of urban and regional development. The paper takes Shandong Province, one of the most energy consuming provinces in China, as an example, uses quantity methods such as SPSS (Stastics Package for Social Science) cluster sampling and regression analysis, and applies quantity analysis, to analyze the situation of energy issues in Shandong province. The conflicts between the quick industrialization and increasing extensive economic development, between urban population and energy consuming per head, between the infinite energy consuming desire and the low level of managing system, and between the unstable world energy supply and the limited energy storage in China are the main factors of energy crisis in Shandong, which not only results in energy shortage, but also becomes the barrier of economic and social development. In order to ensure sufficient energy supply for Shandong province in the 2.st century, we should take countermeasures, such as changing the economic development model, pursuing a multiple and high quality energy strategy, improving the intensive urbanization strategy, and building a scientific energy system.

关键词： energy effects countermeasure Shandong Province

Formal analysis and design of multi-party fair exchange protocols

在线全文

学校读者我要写书评

暂无评论

Science in China(Series F) 2006年第2期49卷 155-174页

作者： QING Sihan1.2.{1.& LI Gaicheng1.{1.1. Engineering Research Center for Information Security Technology, Institute of Software, Chinese Academy of Sciences, Beijing 1.0080, China 2. Beijing Zhongke Ansheng Corporation of Information Technology, Beijing 1.0080, China {1. Graduate school of the Chinese Academy of Sciences, Beijing 1.00{1., 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 {1. 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.

A Positive Analysis for BPR of the Third party Logistics

在线全文

学校读者我要写书评

暂无评论

厦门大学学报（自然科学版） 2002年第S1期41卷 231-232页

作者： LI Yan-feng 1. WU Xiao-song 2.(1. Management {1., Huazhong University of Science and Technology, Wuhan 43.074, China 2. Information Management {1., Yunnan University of Finance and Trade, Kunming 6502.1. China)

Facing the opportunities and challenges of China’s en try into WTO, logistics enterprises take BPR as an important way to improve the core *** modern logistics is a systematic engineering and its require ments are the standardization and normalization for enhancing the Chinese enterp rises’ level of logistic *** paper reveal the importance of manageme nt technique,information technique and business model in enterprise’s BPR throug h the positive analysis for business process of the third party logistics as a new system after reengineering businees process. Reorganization of marketing target. The characters of business procedure after N ew Sunshine recomposed include: "the last mile " service systems of logistics; s etting up HUB to control many end-points in big and middle cities, setting up s ingle-points in small cities, the small parts acting delivering system which st yle of "assembly and allot" are made of in. Reorganization of business model. The New Sunshine reorganized has three aspects of business model which set up: HUB, end-point and single-point. Reorganization of business *** mainly business process of restructure Ne w Sunshine include : standard quote declaring prices to all attendants; on line, timely and exactly declaring prices; The net contract of B{1. work on line; Tran smit to attendant; Logistice operating; feedback the working information; User t rack goods condition; Settling information; paying and so on, the different busi ness can separate into kinds of right corresponding to the business process, suc h as the picture of distributing parcel, ordering, moving, picking, transporting , delivering, information, inquiring and settling. Set up standard systems. Aims to execute standard management is to make distribu te and logistics for norm and standard, according to the resources share tog ether with the progresses especially and base on reducing the necessary expenses to reduce the living expenses, while low cost

关键词： third party logistics management technique info rmation technique business model

Induction of inosine containing mRNA during the inflammatory stress in C57BL/6 mouse

在线全文

学校读者我要写书评

暂无评论

Science Bulletin 2003年第2期48卷 156-160页

作者： LUO Xiaoxing1. YANG Jinghua2.& R. Rabinovici2.1. Department of Pharmacology, The Fourth Military Medical University, Xi抋n 71.03., China 2. Section of Trauma and Critical Care, Surgery Department, Yale Uni-versity, school of Medicine, New Haven, CT 0652., USA Department of Pharmacology The Fourth Military Medical University Xi’an China Section of Trauma and Critical Care Surgery Department Yale University School of Medicine New Haven USA

A-to-I RNA editing is a recently discovered process of post-transcription modification of pre-mRNA by adenosine deamination that results in the production of pro-teins not inherent in the genome. The present study aimed to identify a role for A-to-I RNA editing in the acute inflamma-tion. It was found that A-to-I edtiting activities of RNA edi-tases, ADARs, were upregulated in lung, spleen, thymus and lymph node of mouse during endotoxin stimulation. Impor-tantly, the number of inosine in poly(A) RNA isolated from mouse lung and spleen was significantly increased in corre-lating with the induction of ADARs?editing activity. The in vitro synthesized RNA which did not contain inosine was edited by thymus extracts and the generation of inosine was greatly increased after editing in LPS treated thymus extract. Take together, these data suggest that A-to-I RNA editing by ADARs may play an important role in pathogenesis of in-flammation. The existence of high level of I-mRNA also sug-gests that more protein isoforms might be generated from a single gene via adenosine deamination by ADARs during inflammatory stress.

关键词： RNA editing ADAR lipopolysaccharide adenosine inosine.

The Urbanization Pattern of China in the 2.st Century

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

中国人口·资源与环境：英文版 2005年第2期3卷 55-63页

作者： Wang Chengxin 1.2. Yao Shimou 1.& Wang Gefang {1. Nanjing Institute of Geography & Limnology, the Chinese Academy of Sciences, Nanjing 2.0008, China 2.Graduate school, the Chinese Academy of Science, Beijing 1.00{1., China {1.Shandong party school of the Communist party, Jinan 2.002., China Nanjing Institute of Geography and Limnology Chinese Academy of Sciences Nanjing 210008 China Graduate school Chinese Academy of Science Beijing 100039 China Shandong party {1. of the Communist party Jinan 250021 China

The 2.st century is referred to as a"century for cities" or "era for cities" and China hasalso speeded up its process of urbanization. It is veryimportant to choose a scientific urbanization patternto exert the function of cities and realize our dreamfor China to become a powerful modernized ***’s concluded from history since 1.00 that the patternof the world urbanization has transformed from"extensive" to "intensive". However, it is still anextensive pattern in China, and there are manyproblems behind the splendid achievements, reflectedon the urbanization process of our country since1.49. Today, sustainable development and theknowledge economy are the themes of the cities; itis inevitable to change our urbanization *** on the dialectic relationship of quality andquantity, the article points out that urbanizationshould not only focus on quantity but also on qualityin China. High quality and multiform urbanizationpattern is an inevitable choice of China, and thedevelopment of the region can also be exalted by theradiation of the cities. But what’s the real meaningof the new pattern? What’s its difference from thewestern countries’? The article discusses its contentaccording to the reality of China.

关键词： Urbanization pattern multiform intensive China

Preparation and Characterization of ZrO_2.Nanoparticles Capped by Trioctylphosphine Oxide (TOPO)

在线全文

学校读者我要写书评

暂无评论

Journal of Wuhan University of Technology(Materials Science) 2011年第4期26卷 611-614页

作者：马剑琪 school of Chemistry and Environmental Science Shaanxi University of Technology State Key Laboratory of Solid Lubrication Lanzhou Institute of Chemical Physics Chinese Academy of Sciences

Monodisperse ZrO2.nanoparticles capped by trioctylphosphine oxide （TOPO） were prepared in non-aqueous solvent using in-situ synthesis method. Transmission electron microscopy（TEM）, X-ray diffraction（XRD）, X-ray photoelectron spectrometer（XPS）, Fourier transformation infrared spectroscopy （FTIR）, and thermogravimetric analysis（TGA） were adopted to characterize and investigate the size, structure, composition, and the binding manners between organic capping agent TOPO and inorganic ZrO2.nanocores of the as-prepared nanoparticles. In addition, the nanoparticles were also studied to determine their solubility and relative stability. The experimental results show that the prepared nanoparticles contain about 2.% organic capping shell TOPO, 75% inorganic ZrO2.nanocores, and can be easily dissolved and be stably disersed in non-polar organic solvents.

关键词： ZrO2.nanoparticles trioctylphosphine oxide (TOPO) monodisperse solubility

“习近平新时代中国特色社会主义思想引领福建高质量发展”征文启事

在线全文

学校读者我要写书评

暂无评论

福州党校学报 2024年第2期 97-97页

作者： 1.福建省委党校科研与决策咨询处 2.福州市委党校福建省委党校科研与决策咨询处福州市委党校

为深入学习宣传贯彻习近平新时代中国特色社会主义思想和党的二十大精神,巩固拓展主题教育成果,坚持“3.{1.”战略工程思想精髓,为福建全方位推动高质量发展提供理论支撑和对策研究,福建省委党校科研与决策咨询处和福州市委党校特开展“...

为深入学习宣传贯彻习近平新时代中国特色社会主义思想和党的二十大精神,巩固拓展主题教育成果,坚持“3.{1.”战略工程思想精髓,为福建全方位推动高质量发展提供理论支撑和对策研究,福建省委党校科研与决策咨询处和福州市委党校特开展“习近平新时代中国特色社会主义思想引领福建高质量发展”征文活动。一、征文主题1.围绕习近平新时代中国特色社会主义思想对福建实现高质量发展的引领作用进行研究阐释。

关键词：

Phylogeographic analysis of human papillomavirus 58

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science China(Life Sciences) 2009年第12期52卷 1164-1172页

作者： LI YanYun1. LI ZuoFeng2. HE YiFeng1. KANG Yu1. ZHANG XiaoYan1. CHENG MingJun1. ZHONG Yang2. 3. & XU CongJian1. 1.Obstetrics and Gynecology Hospital of Fudan University, Shanghai 2.001., China 2.Shanghai Bioinformation Research Center, Shanghai 2.02.0}, China 3.school of Life Sciences, Fudan University, Shanghai 2.043., China Obstetrics and Gynecology Hospital of Fudan University Shanghai 200011 China Shanghai Bio-information Research Center Shanghai 200235 China school of Life Sciences Fudan University Shanghai 200433 China

Human papillomavirus 58 (HPV58) is one type of HPV with high risk of causing cervical cancer. Unusually high prevalence of HPV58 has been reported in Asia, Africa and some other areas. However, due to the scattered distribution of global data, in addition to the lack of data of some HPV58 high-incidence nations and regions, like China's Mainland, a comprehensive analysis of the global geographical distribution of HPV58 remains blank so far. In this study, HPV58 from the human cervical cancer tissue was detected in China's Mainland, and 1. new HPV58-E6/L1.gene sequences were obtained. Moreover, phylogeographic analysis has been conducted combining the HPV58 sequences that have been deposited in GenBank since 1.85. The study result shows that the sequences detected from the Shanghai, Jiangsu and Sichuan areas are homologous with those found in the past from Hong Kong and Xi'an, China, as well as Japan and other Southeast Asian areas. Furthermore, Western Africa is considered to be the "root" source of the HPV58 variant, while China's Mainland and Southeast Asia are "transit points" and the new sources of HPV58 after receiving the isolates from the "root" source; like HPV1. and HPV1., the HPV58 might also be one of the major HPV types associated with the development and spread of cervical cancer.

关键词： human papillomavirus 58 (HPV58) cervical cancer phylogeography molecular evolution