论文部分内容阅读
非否认性是电子商务协议的一个重要性质,其形式化分析问题引起了人们的密切关注.本文运用SVO逻辑对一个非否认协议实例进行了有效的形式化分析,并对协议的缺陷进行了改进.
一个非否认协议ZG的形式化分析
【摘 要】
：
非否认性是电子商务协议的一个重要性质,其形式化分析问题引起了人们的密切关注.本文运用SVO逻辑对一个非否认协议实例进行了有效的形式化分析,并对协议的缺陷进行了改进.
【机 构】
：
中科院研究生院信息安全国家重点实验室
【出 处】
：
电子学报
【发表日期】
：
2005年1期
其他文献
一般民用建筑的施工管理中,安全生产与职业健康的管理也是非常重要的一个环节,但是这个关系到现场人员人身安全与健康的项点一直以来都没有受到建筑施工方足够的重视。尤其是
将马尔可夫判决过程和强化学习算法相结合，给出了异构无线网络环境下用户业务偏好评估模型的技术框架．为动态环境下用户需求的感知、量化和适配特征的研究提供了基本的数学描述
仁慈与公义在莎士比亚作品《一报还一报》中被放到天平的两端,而作品中对圣经原型的精心选择和运用则显示了莎士比亚对于基督教精神仁慈与公义之间的个人解读.作者以《圣经》
目的分析心绞痛类型与应激性高血压及炎症因子之间的相关性。方法根据疾病稳定类型,将收治的180例冠心病心绞痛患者划分为A、B组。A组患者62例,为稳定型心绞痛,B组患者118例,
结合工程实例,本文对本工程的基坑支护方案、结构设计过程中的主要问题、地基基础设计、基坑支护换撑措施及结构整体计算分析等进行了阐述。
基于有限L_背景的模糊格在扩展和时空复杂度上有局限.本文定义了广义的模糊概念格和其上的截运算以简化格构造,提出了一种模糊格构造算法.在概念格结点级上定义了两个模糊参
案情简介王某于2013年购买了一套商品房,当时开发商声称＂拥有该房屋的完全产权＂。后来,王某向产权机关查询得知：在签协议之前,该公司早就将该房屋抵押给了银行。王某遂与这家公
随着我国经济的快速发展，城市化进程的加快，人们对自己的居住环境与生活质量都有了较高的要求，政府对于城市中的住宅建设也在逐渐加大投资力度，使得建设工程的规模日益扩增。施工
越来越多的证据表明伴随植树造林/再造林等工程实施,我国北方地区叶面积指数(LAI)近年来变化明显。但有关植树造林等引起的LAI变化对水循环的影响仍存在争议。本研究利用卫星
本文提出了有限域上的一个新性质:用变元为域元素的多项式表示域元素的分量.基于等价类的划分、线性方程组的求解和标准基之对偶基的计算,提出了域元素分量代数表达式的三种