【摘 要】
：
串空间是一种基于定理证明的,新兴的安全协议形式化分析模型。本文针对Yahalom协议的不足,对其进行改进,提出了一种新的Yahalom协议,本文基于串空间模型,运用"理想"和"诚实"
【机 构】
：
昆明理工大学信息工程与自动化学院;
【基金项目】
：
云南省教育厅科学研究基金项目(07C10075);昆明理工大学科学研究基金项目(2007-29)
论文部分内容阅读
串空间是一种基于定理证明的,新兴的安全协议形式化分析模型。本文针对Yahalom协议的不足,对其进行改进,提出了一种新的Yahalom协议,本文基于串空间模型,运用"理想"和"诚实"作为工具,对改进的Yahalom协议的安全性进行了分析,结果证明了改进的Yahalom协议是安全的。最后通过比较了几种改进的Yahalom协议,说明了此改进是成功的。
其他文献
为探明天敌昆虫大红犀猎蝽Sycanus falleni对草地贪夜蛾Spodoptera frugiperda幼虫的捕食潜力,在室内条件下测定大红犀猎蝽3龄若虫和成虫对草地贪夜蛾3龄幼虫的捕食功能反应
目前,中国经济快速发展,大量人口往中心城市迁移,导致城市交通拥挤、经济发展受限,为解决这一问题,发展城市轨道交通是各大中心城市的最佳选择。然而,客流密集增长会导致列车
研究目的:随着我国经济的快速发展和人民生活水平的提高,广大人民群众对于健康的需求不断增加,因此不断完善全民健身服务体系是我国体育事业发展的重点。而《山东省全民健身条例》指出,健身场地设施不足与人民群众健身需要之间的差距是发展全民健身事业的主要矛盾。同时,根据全国和山东省第六次全国体育场地普查数据公报显示,在高等院校场地数量方面,山东省高于全国5.97个百分点,日照市高于山东省1.47个百分点,说明
糖尿病是一种较为常见的代谢内分泌疾病,在中国,60岁以上的人群中糖尿病患者约占5%以上,由于糖尿病可能引起微血管病变相关的视网膜病变、肾脏病变、神经病变及与大血管病变
中共十九大提出,到本世纪中叶要把我国建成富强民主文明和谐美丽的社会主义现代化强国,为构建社会主义和谐社会指明了方向,将在中国的发展史上留下浓墨重彩的一笔。古人云:"
金川门之变,建文帝不知所终。此后建文帝踪迹有近百种说法,而以建文帝踪迹云南说为最。依据《明史》,我们才把建文踪迹云贵川桂都归纳于去南说。建文帝阖宫自焚说与踪迹云南
以健脾为主的中药复方胃肠安(WCA)是上海市名中医、龙华医院肿瘤科邱佳信教授的临床验方,在改善胃癌患者脾虚证、延长生存期、降低根治术后复发转移、减轻化疗不良反应等方面
超级电容器因具有快速充放电,高功率密度和长循环寿命等特性而受到极大关注。电极材料的制备是超级电容器发展过程中的重要一步,因此,大量的研究致力于开发先进的超级电容器
目的:通过四种不同要求的测试,比较分析老年人四种不同姿势测试结果的差异,找到更加有区分度且适合老年人平衡能力测试的方法。方法:本研究在多个广场及公园中选取了78名年龄在60-69岁的锻炼老年人为受试者,对受试者进行四种不同姿势要求的闭眼单脚站立的平衡能力测试,分别通过秒表测量出四种姿势下的站立时间,每种方法测试两次,取两次中的最好成绩作为最后的成绩,每种测试姿势结束后休息至受试者完全恢复后开始下一
新疆丝路遗址的申遗成功,不仅仅对新疆丝路文化起到了重要的保护作用,同时对当地旅游经济发展也起到积极的促进作用,但遗址类景观又因其敏感性和脆弱性的特点而不能全面开放,