论文部分内容阅读
本文指出了BAN-逻辑推理中存在的逻辑错误,提出了一种改进的BAN-逻辑。它具有精确的语义定义和正确的推理规则,当协议的初始条件正确时,逻辑推理的结论是正确的.
一种BAN-逻辑的修正
【摘 要】
：
本文指出了BAN-逻辑推理中存在的逻辑错误,提出了一种改进的BAN-逻辑。它具有精确的语义定义和正确的推理规则,当协议的初始条件正确时,逻辑推理的结论是正确的.
【机 构】
：
西安电子科技大学105室,西安,710071
【出 处】
：
电子科学学刊
【发表日期】
：
2000年04期
其他文献
为优化海水中副溶血性弧菌的检验方法,笔者采用碱性蛋白胨水、氯化钠多粘菌素B肉汤、3%氯化钠碱性蛋白胨水三种增菌培养基及其组合的增菌方法与用TCBS琼脂、弧菌显色培养基两
编辑同志: 您好!我今年52岁,在一家国营企业担任领导工作。5年前。因工作压力大,经常感到头痛、头晕,到医院检查,医生说我是高血压,给我开了降压药。医生还说降压药要坚持吃
考虑到高速滑坡过程中的速度和变形的不均匀性、变形能的改变以及能量的损耗 ,提出一种可以模拟滑坡从失稳开始滑动到终止全过程的数值模型 ,可用来预测最大滑速和最大滑距及
对于行政事业单位而言,财政资金是其发展过程中的根本所在,其无论是收支,还是消费都要做到合理化、规范化,这样才能促进事业单位的长期发展,使其经济计划和经济政策得到彻底
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
在北京电影学院,入学年份是一个班的命名,就像DNA一样,为这个班的每个人注入了一个辨别生命特征的符号。摄影学院11级图片班,四年影像专业学习,中途有人加进来、有人退出去…
对产品交换数据进行了详细的分析和建模,利用XML技术建立了产品交换数据的DTD文档规范,并通过统一的数据传输服务模式实现异构PDM系统产品数据交换与共享。
The product exc