【摘 要】
：
项目背景南京邮电大学计算机系于2001年起,就对密码协议形式化分析方法研究课题向国家有关部门提出了申请.该课题先后得到了国家自然科学基金(60173037和70271050)、江苏省自
论文部分内容阅读
项目背景南京邮电大学计算机系于2001年起,就对密码协议形式化分析方法研究课题向国家有关部门提出了申请.该课题先后得到了国家自然科学基金(60173037和70271050)、江苏省自然科学基金和江苏省自然科学基金预研项目(BK200421 8)、江苏省高技术研究计划(BG2004004)、国家高科技项目八六三(2004AA775053)、江苏省计算机信息处理技术重点实验室基金(kjs03061和kjs04)资助.该文对当前密码协议的主要形式化分析方法进行了总结和概述,依据其不足或缺陷提出了一些改进的思路
其他文献
<正>城管队伍是与人打交道的队伍,在时代大发展的今天,城管队伍的思想建设尤为重要,面临思想政治教育工作的新任务、新挑战,如何做好城管队伍政治思想工作有几点新思考。一、
会计信息失真是一个国际性、历史性的问题,也是世界各国当前需要着力研究解决的重大问题。本文从我国会计自身环境找原因,分析了会计准则、会计人员、会计中介机构对会计信息
如今,代孕已经成为一个挑战社会伦理道德底线的隐秘行当。在物欲横流的大都市,无数身份诡秘的"代孕妈妈"用替别人怀孕生育来换取不菲的酬劳。
人类在发展的各个历史阶段对自然环境不同的认知态度,影响了建筑创作。论文从宏观的角度地解析自然地理环境对建筑的影响,并对当代建筑创作中自然地理环境因素的表达进行了概
目的:观察自拟清热解毒饮联合火针治疗热毒瘀结型痤疮的临床疗效。方法:40例热毒瘀结型痤疮患者随机分为两组,治疗组20例给予自拟清热解毒饮联合火针加外用克林霉素磷酸酯凝
目的:观察口服中药配合走罐疗法治疗围绝经期综合征的临床疗效。 方法:将60例确诊为围绝经期综合征的妇女随机分为两组,治疗组30例,给予口服中药配合走罐疗法;对照组30例,
<正>近有山西朋友请我写写对山西的印象,这多少令我踌躇。自三家分晋以来,数不尽的秦晋之好,让我从哪一段谝起呢?说到我对山西的感觉和跟山西的缘分,真是千梁万壑,一言难尽。
[目的] 人类进入21世纪,感染性疾病仍然是危害人类健康的重要疾患,SARS等新发传染病的暴发和流行构成了严重公共卫生,社会和经济问题。快速、灵敏、特异的检测病原体是预防和
近年来认股权证随着我国股权分置改革的进行迅速发展起来,认股权证作为保值和增值的金融工具越来越受到投资者的欢迎。但是认股权证也不是完美的,它可能给投资者带来收益,也
获得性Brugada综合征是一种除了遗传因素以外还与后天因素有关的离子通道疾病。新近的研究又发现了许多与发病相关的基因和细胞电生理机制,如编码甘油-3-磷酸脱氢酶样基因、