|
|
|
题名
|
作者
|
年代
|
出处
|
被引量
|
| 1 | A formal model of fair exchange protocols显示文摘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. | 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 100080, China 2. Beijing Zhongke Ansheng Corporation of Information Technology, Beijing 100080, China 3. Graduate School of the Chinese Academy of Sciences, Beijing 100039, China | 2005 | Science in China(Series F)2005，48，4： | 9 |
| 2 | 深圳水围柠盟人才公寓显示文摘在深圳,城中村一直都是一个热门的话题,多种观点相互碰撞。在过去的一二十年里,城中村的改造就意味着大规模的拆迁,彻底推倒重建,拆迁改善了生活环境,创造了财富,但导致了城市空间匀质化,同时,造成了一些社会问题,更割断了城市的历史。目前深圳市新出台的政策是通过综合整治,让城中村全面进入柔性改造的通道,鼓励在原来的用地上开展城中村的综合整治。然而新政策出台不久之后,却又发生了原住民反对综合整治,要求城市更新的情况。说明政策的转变对城中村的居民和开发企业都产生了很大的影响,“综合整治”和“拆除重建”的投入产出模型完全不同,两种模式的转变,意味着居民的诉求和企业的战略都应当做出相应的调整,在新形势下共同努力,继续探索。为此,我们选登了通过综合整治获得比较成功的水围村项目,该项目保留了城市的肌理、文脉和集体记忆,同时,也提升了消防、市政配套,及改善了生活设施。并增加空中连廊、电梯,创造出了一个符合现代标准的宜居空间立体的社区。该项目改造后,由政府返租补贴,并以低于市场的价格出租,以确保改造后的房源租金在可负担的范围内。水围村项目为城中村的改造提供了一种可能,并引发了社会各界对城中村改造的再思考,这也反映出有关城中村的争论还在继续,城中村的改造还需要不断的探索…… | Chris Lai Jasmine M.Y.Tsoi Kwan Yee Wong Cindy Yan David Wen Demi Han Zachary Bao Jack Ou Nita Lin Red Liu Ann Hu Morning Dong Ananda de Vos Helene Pohl Arnound Stavenuiter Bert Oostdijk 王晓勇 | 2019 | 世界建筑导报2019，34，1： | 2 |
| 3 | Infliximab in spondylarthropathy--influence on bone density显示文摘 | Demis E Roux C Breban M | 2002 | Clin Exp Rheumatol2002，20，628： | 2 |
| 4 | Genomic and transcriptomic analysis unveils population evolution and development of pesticide resistance in fall armyworm Spodoptera frugiperda显示文摘The fall armyworm(FAW),Spodoptera frugiperda,is a destructive pest native to America and has recently become an invasive insect pest in China.Because of its rapid spread and great risks in China,understanding of FAW genetic background and pesticide resistance is urgent and essential to develop effective management strategies.Here,we assembled a chromosome-level genome of a male FAW(SFynMstLFR)and compared re-sequencing results of the populations from America,Africa,and China.Strain identification of 163 individuals collected from America,Africa and China showed that both C and R strains were found in the American pop-ulations,while only C strain was found in the Chinese and African populations.Moreover,population geno-mics analysis showed that populations from Africa and China have close relationship with significantly genetic differentiation from American populations.Taken toge-ther,FAWs invaded into China were most likely origi-nated from Africa.Comparative genomics analysis displayed that the cytochrome p450 gene family is extremely expanded to 425 members in FAW,of which 283 genes are specific to FAW.Treatments of Chinese populations with twenty-three pesticides showed the variant patterns of transcriptome profiles,and several detoxification genes such as AOX,UGT and GST spe-cially responded to the pesticides.These findings will be useful in developing effective strategies for manage-ment of FAW in China and other invaded areas. | Furong Gui Tianming Lan Yue Zhao Wei Guo Yang Dong Dongming Fang Huan Liu Haimeng Li Hongli Wang Ruoshi Hao Xiaofang Cheng Yahong Li Pengcheng Yang Sunil Kumar Sahu Yaping Chen Le Cheng Shuqi He Ping Liu Guangyi Fan Haorong Lu Guohai Hu Wei Dong Bin Chen Yuan Jiang Yongwei Zhang Hanhong Xu Fei Lin Bernard Slippers Alisa Postma Matthew Jackson Birhan Addisie Abate Kassahun Tesfaye Aschalew Lemma Demie Meseret Destaw Bayeleygne Dawit Tesfaye Degefu Feng Chen Paul K.Kuria Zachary M.Kinyua Tong-Xian Liu Huanming Yang Fangneng Huang Xin Liu Jun Sheng Le Kang | 2022 | Protein & Cell2022，13，7： | 2 |
| 5 | Cortical midline involvement in autobiographical memory显示文摘 | Jennifer J. Summerfield Demis Hassabis Eleanor A. Maguire | 2008 | Neuroimage2008，，3： | 2 |
| 6 | Sources of occupa- tional stress and coping strategies among nurses working in AIDS care显示文摘 | Kalichman SC Gueritault- Chalvin V Demi A | 2000 | Assoc Nurses AIDS Care2000，11，3： | 1 |
| 7 | Neural network prediction model for the methane frac- tion in biogas from field-scale landfill bioreactors 显示文摘 | OZKAYA B DEMI A BILGILI M S | 2007 | Environmental Modeling Software2007，22，6： | 1 |
| 8 | Arthroscopic assisted percutaneous screw fixation of select pateiiar fractures显示文摘 | TANDOGAN RN DEMI RORS H TUNCAY CI | 2002 | Arthroscopy2002，18，2： | 1 |
| 9 | Vinorelbine and cisplatin in metastatic squamous cell carcinoma of the oescphagus:responese,to xicity,quality of life and survival显示文摘 | Conroy T Etienne P-L A demis A | 2002 | Ann one2002，13，5： | 1 |
| 10 | Migration of biliary plastic stents: experience of a tertiary center显示文摘 | Mehmet Arhan Bülent ?demi? Erkan Parlak ?brahim Ertu?rul ?mer Ba?ar | 2009 | Surgical Endoscopy2009，，4： | 1 |
| 11 | Investigation of factors influencing burnout levels in the professional and private lives of nurses显示文摘 | Demie A Ulusoy MF | 2003 | Int J Nuns Stud2003，40，： | 1 |
| 12 | Expression and function of the SDF-1 chemokine receptors CXCR4 and CXCR7 during mouse limb muscle development and regeneration 显示文摘 | Hunger C demis V Engele J | 2012 | Exp Cell Res2012，318，17： | 1 |
| 13 | Chloride-induced corrosion of steel reinforcement – Mechanical performance and pit depth analysis显示文摘 | Charis A. Apostolopoulos Sotiris Demis Vagelis G. Papadakis | 2013 | Construction and Building Materials2013，，： | 1 |
| 14 | Effects of swainsonine and polyinosinic polycytidylic acid on murine tumor cell growth and metastasis显示文摘 | Demis J W | 1986 | Cancer Res1986，46，10： | 1 |
| 15 | Hydrodynamic effects on Mission Canyon (Missis- sippian) oil accumulations, Billings Nose area, North Dakota显示文摘 | BERG R R DEMIS W D MITSDARFFER A R | 1994 | AAPG Bulletin1994，78，： | 1 |
| 16 | Hydrodynamic effects on Mission Canyon (Mississippian) oil accumulations,Billings Nose area,North Dakota显示文摘 | Berg R R DeMis W D Mitsdarffer A R | 1994 | AAPG Bulletin1994，78，： | 1 |
| 17 | Sources of occupational stress and coping strategies among nurses working in AIDS care 显示文摘 | Kalichman Gueritault Chalvin Demi | 2000 | J Assoc Nurses AIDS Care2000，11，3： | 1 |
| 18 | The first order absolute moment in low level image processing显示文摘 | Demi M Paterni M Benassi A | 2000 | Computer Vision and Image Understanding2000，80，2： | 1 |
| 19 | Percut aneousnephrolithotomy: Variables that influence hemorrhage显示文摘 | Turna B Naz l i O Demi r yoguran A | 2007 | Urology2007，69，4： | 1 |
| 20 | A new system of dental age assessment显示文摘 | Demi~jian A Goldstein H Tanner JM | 1973 | Hmn Biol1973，45，2： | 1 |
您所在的机构暂未开通此部分的功能，请联系管理员