Kailar逻辑缺陷的进一步讨论

来源 :计算机工程与应用 | 被引量 : 0次 | 上传用户:snowbang1
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
责任性是电子商务安全性的基本要求之一,它要求交易各方对自己的行为负责.Kailar逻辑是专门针对电子商务责任性进行分析的逻辑.然而Kailar逻辑也存在不足.该文讨论了Kailar逻辑的一种缺陷--发生重放攻击时,Kailar逻辑不能正确分析各方的责任性,并分析了出现这种缺陷的原因,提出了改进方案.
其他文献
通过企业战略、技术本身、经济效益和社会效益四个独特的视角构建了企业技术项目评价指标体系,并以国内某大型技术有限公司为例,运用层析分析法对其技术项目做出评价,在确定
南水北调中线干线工程的工期长、环境差异大、不确定性因素多等方面的原因,导致工程上常发生索赔问题。以博弈论为基础,建立业主与承包商之间博弈的基本假设,并构建动态索赔
从项目管理策划的定义入手,结合目前高科技企业项目管理的实际情况,分析高科技企业项目管理策划的必要性及其主要内容.针对高科技企业项目的类型,区分了自主研发和订单产品两
从顶锻速度Vd对摩擦焊合区金属塑性成形的影响入手,系统研究了Vd与摩擦焊合区金属组织的关系.考量了LC9超硬铝摩擦焊时的顶锻速度范围,为精细结构摩擦焊成形与控制提供了实验
为实现精确导航和通信,提出了高空平台应用的一种设想.这种高空平台的高度在一般的飞机飞行高度之上,在卫星的高度之下,高度大约为15~75 km.它们可以是相对地面处于静止状态,
CYT220A型轮式牵引机是吉林石油集团长春运输机械厂在2004年推出的第二代轮式牵引机。该机继承了CYT220型轮式牵引机的全部优点,进一步优化了整机布局和结构性能参数,使整机
突触传递效能的各种变化称为突触可塑性,它是脑内信息存储的基础,同时也使繁杂的信息储存及学习行为、意识、记忆等功能的获得成为可能.参与突触可塑性形成及调节的主要机制
精密稳定(二级稳定d)控制系统具有通频带宽、响应速度快、精度高的特点,弥补了跟踪架伺服(一级稳定b)控制系统的不足。压电陶瓷倾斜平台(PZT)作为精密稳定控制系统的驱动装置
从 2 0世纪 80年代起 ,中国对外报道从时代环境到时代要求都发生了重大变化。变化了的时代不能再一味因循过去某些老观念、老做法 ,而必须根据“体现时代性、把握规律性、富
论文针对遗留关系型数据库的模式重用和扩充问题,提出了一种新的基于XML数据交换的解决方案,同时阐述了相关的技术和该解决方案具体的架构.