论文部分内容阅读
在Coffey和Saidha提出的CS逻辑(CS逻辑将时间与逻辑结构相结合,可用于形式化分析Timed-release公钥协议的时间相关性秘密的安全性)的基础上,提出了CS逻辑的扩展逻辑,它更好地反映了Timed-release公钥协议的特性,并对一个协议实例进行了有效的形式化分析.
一种分析Timed—Release公钥协议的扩展逻辑
【摘 要】
：
在Coffey和Saidha提出的CS逻辑(CS逻辑将时间与逻辑结构相结合,可用于形式化分析Timed-release公钥协议的时间相关性秘密的安全性)的基础上,提出了CS逻辑的扩展逻辑,它更好地
【机 构】
：
中国科学院研究生院信息安全国家重点实验室北京100039
【出 处】
：
计算机学报
【发表日期】
：
2003年7期
其他文献
移动代理在网络计算中经常遇到有目的的篡改攻击,只要通过代码迷惑技术使得对移动代理的程序分析复杂度增加或精确性降低,就能有效地增加这种攻击的难度,从而在一定程度上阻
目的探讨三种不同肝血流阻断技术在原发性肝癌合并肝硬化手术治疗中的意义。方法回顾性分析因原发性肝癌合并肝硬化行肝切除218例患者的临床资料,其中术中应用Pringle法第一
一组惊人的数字在呼唤着先进安全系统的普及：每年全世界有约60万人死于汽车交通事故；在中国，每年死于交通事故的人数为9万，在交通事故中受伤的人数更是多达46万。而2／3的汽车重大
延长油矿是我国石油战线的一家老企业,创建于1905年,1907年打出了我国大陆上第一口油井,结束了大陆无油的历史。延长油矿发展到今天已是万名职工,原油年产量63万吨,具有地质
产后出血在我国是导致孕产妇死亡的最主要原因之一。妊娠合并病毒性肝炎、妊娠期肝内胆汁淤积症（ICP）和妊娠期急性脂肪性肝炎这些妊娠期的合并疾病使孕产妇的肝功能受到不同程
在军事、工业控制以及电子商务系统中存在着大量的高可用、短事务、强实时应用.在这些应用中,采用双机系统具有较高的性能价格比,如何保证双机系统的强实时性、高可用度和服
不久前,天津市企协、企业家协会主办的《经营与管理》杂志召开“神仙”会,邀集有识之士座谈、“会诊”,就如何办好杂志、特别是“97”香港回归明年刊物将以什么面目面对读者
现代企业管理,贯穿于企业从决策到售后服务的全过程,囊括了企业生产经营的各个环节,领域宽、门类多。笔者随“三秦企业管理行”采访,耳闻目睹。亲身感到,企业管理也要牵“牛
欧美盛行“拢式管理”模式。和拢,是希腊语“整体”和“个体”的合成词,用来表达一种崭新的管理观念,即管理必须强调个人和整体的配合,创造整体和个体的高度和谐性。在管理中