【摘 要】
：
Kailar逻辑用于分析电子商务协议的可追究性,但初始状态假设引入不当会导致Kailar逻辑分析协议失败.通过对利用Kailar逻辑证明CMP1(b)协议与CMP1协议可追究性的过程以及对初
【基金项目】
：
山东省自然科学基金资助项目(003090309).
论文部分内容阅读
Kailar逻辑用于分析电子商务协议的可追究性,但初始状态假设引入不当会导致Kailar逻辑分析协议失败.通过对利用Kailar逻辑证明CMP1(b)协议与CMP1协议可追究性的过程以及对初始状态假设进行分析研究,针对初始状态假设所存在的问题,给出了初始状态假设应遵循的两个原则.实例表明,遵循该原则能够发现初始状态假设存在的问题,从而修正不适当的假设、补充新的假设,避免其引入不当所导致的Kailar逻辑分析协议失败问题.
其他文献
摘要：随着新课程教育的不断改革，素质教育越来越受到学校和教师的重视。对于初中音乐教学来说，可以说是素质教育的重要组成部分。因此，作为一名初中音乐教师，我们应该改变传统的音乐教学模式和观念，更好地提高初中音乐教学的质量和效率。 关键词：初中音乐;快乐课堂;打造方法 一、初中音乐教学课堂中所面临的问题 （一）重视不够 音乐作为一门艺术基础课，在当前的中考中并没有设置音乐考试。因此，许多高校、音
研究了复杂系统可靠度和冗余数分配优化问题,给出了子系统单元件可靠度指标和冗余个数一体化并发设计问题的提法;将遗传算法应用于求解系统可靠度优化配置问题,建立了优化配
从计算机与仿真技术的发展和应用需求出发,对液压系统动态仿真模型的可视化建模技术进行了较为深入的研究,建立了一个基于图形和面向对象技术的仿真模型可视化输入环境,介绍
今年2月,我抗疫居家,收到中共石家庄市委办公室主办的《秘书战线》2019年第6期,爱不释手翻阅一遍,其中《秘书学本科专业教学质量国家标准研讨会在京召开》的报道(以下简称"研
2016年德勤会计师事务所推出财务机器人,标志着人工智能开始应用于会计行业。基于此,阐述会计行业人工智能应用现状,指出人工智能的应用存在着法律风险、伦理风险、信息技术
考察了水热合成反应条件对全硅MCM-41结构、结晶度的影响和产物的热稳定性.研究发现:改变合成母液的pH会改变MCM-41的孔径大小;在无氧条件下高温处理的最佳温度为600℃左右;
由于受到历史条件的影响,鄂伦春族被我国与俄罗斯的国界线分割为两个部分。但是,分布在两个国家的鄂伦春族的历史经历是十分相似的,在教育福利政策方面也有较强的可比性,可供
“演示教学”能达到化抽象为直观的效果,让“演示教学”重归初中数学课堂具有重要的意义.“演示教学”与其他教学方法相结合,能够促进学生高效的数学学习.基于此背景,文章对
语文学科是三大主科之一,也是基础性的学科之一,在教学中的重要性不言而喻,文言文是传统中华文化的直观体现,学习文言文可以让学生感受到优秀的中华文化。对于文言文的教学,
依据金刚石圆锯片变形微机检测系统测得的金刚石圆锯片的变形分布,建立了金刚石圆锯片应力分布计算模型,并用数值方法求得应力分布. 计算结果以表格和图形两种方式在计算机屏