论文部分内容阅读
本文用Kailar逻辑对Bolignano电子协议的安全性作了较为详细的分析,进而对Kailar逻辑也作了一些讨论.
电子支付协议安全性的形式化分析
【摘 要】
：
本文用Kailar逻辑对Bolignano电子协议的安全性作了较为详细的分析,进而对Kailar逻辑也作了一些讨论.
【机 构】
：
信息工程大学信息安全学院
【出 处】
：
信息工程大学学报
【发表日期】
：
2000年2期
其他文献
对2013年9月~2016年9月在本院接受治疗的80例2型糖尿病并发肝脓肿患者的临床资料进行回顾性分析。结果:老年人为高发群体;多因胆管感染或肺部感染导致;临床表征无明显特点,均
运用质化研究方法对当代大学生逃课的原因进行了实证研究。研究表明,当代大学生逃课的主观原因主要有:学习动机不强、学习自由过度、学习目标偏狭。逃课的客观原因主要为:学
平抛运动是典型的匀变速曲线运动的模型，高考的要求较高，即理解平抛运动的确切含义以及与其他知识的联系，能够进行叙述和解释，并能在实际问题的分析、综合、推理和判断等过程中运
随着智能柴油应用的日益广泛、船舶行业对船舶船机桨匹配和主动力系统性能与可靠性的关注的与日俱增，船舶主柴油机扭矩检测仪越来越多地装备于各种船舶，起到监控主动力系统扭矩
当年生栀子枝条插入水中诱导出不定根,分别进行溶液静止培养和土壤培养。60 d后测定生物量和相关生理指标,并对根、茎、叶横切面进行显微观察。结果表明,水培栀子生物量低于
随着全球化浪潮的高涨,流散已成了一种世界性的现象,而伴随这一现象出现的流散写作与流散文学也越来越受到关注,流散文学研究已成为学术界一个热门话题。流散作家们往往身处
近年来,观光农业作为“农旅结合”而成的新型产业,逐渐成为国内假日旅游的新亮点。作为观光农业主要的资源载体和开发类型,观光果园以果品生产经营为特色,在采收季节让游客摘
近年来,我国检察机关在查处职务犯罪案件的过程中所面临的问题越来越严峻,职务犯罪初查制度在检察机关查办职务犯罪过程中具有极为重要的作用。但是,目前初查制度缺乏法律上
我国正处于经济社会的全面转型期,也是危机频发期。公共危机不仅是对政府能力的挑战,更是对全社会整体能力的综合考验。单一的管理机制存在着诸多问题,危机频发对我国传统的