Kdilar逻辑缺陷的进一步讨论

来源 :计算机工程与应用 | 被引量 : 0次 | 上传用户:zyu03
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
责任性是电子商务安全性的基本要求之一,它要求交易各方对自己的行为负责。Kailar逻辑是专门针对电子商务责任性进行分析的逻辑。然而Kailar逻辑也存在不足。该文讨论了Kailar逻辑的一种缺陷——发生重放攻击时,Kailar逻辑不能正确分析各方的责任性,并分析了出现这种缺陷的原因,提出了改进方案。
其他文献
该文主要介绍了在分布环境下,通过智能主体间的协作实现XMI数据库(XMLDB)和关系数据库(RDB)的互操作;在互操作过程中,智能主体之间通过基于XML的ACL传递各自的BDI;最后,通过实例对
应用数学形态学进行非线性图像处理已经发展成为图像处理的一个主要研究领域。论文对多尺度形态梯度算子进行改进,并将其应用于图像的边缘检测。实验结果表明,基于改进的多尺度形态梯度的算法,综合了大尺度和小尺度形态梯度的边缘检测的优势,对阶跃边缘和模糊边缘进行了有效的处理,简化了计算,同时又能有效地去除噪声。
提出了基于声音模式识别技术的仑储物害虫计算机自动分类的新方法。在声音信号的特征提取中采用了快速傅立叶变换方法,该方法聚类性较强,从而为仓虫声音特征的提取及分类打下了
布雷克(Bracker)、格拉夫(Graf)、诺维巴(Novibra)和绪森(Suessen)四家公司强强联手,整合了各自的销售队伍,组建了世界领先的纺纱技术专件业务部,成为全球品种齐全的纺纱技术专件供应商
通过对主动网络及主动网络管理体系结构的分析,探讨了一种主动网络管理的分层设计模式,对其中每一层的功能、设计要点及其相互关系进行了讨论,说明了基于此模式的主动网络管理软
对基于空间关系的图像检索方法进行了全面的论述,提出了图像对象空间关系的形式化描述,通过邻近和邻近距阵以及数学期望和均方差,给出了一种在图像进行投影变换和旋转变换中保持
当传送带在狭窄空间和狭小半径下无法保证移动的精确度时,igus转角轴承就是最佳的解决方案。它们不仅经济高效、免润滑和免维护,而且可以将安装空间最大化,即使在小弯曲半径的安
探讨JSC326型梳棉机的结构特点及应用效果。介绍了JSC326型梳棉机在机械结构、工艺配置和调整方面的特点,并举例说明了该设备的使用效果。实际应用结果表明:在纺纯棉精梳纱和粘
摘 要 文章介绍了一個基于公用电话网传输远程视频数据的远程视频监控系统的设计与实现技术, 内容包括远程视频监控系统的系统结构、监控软件系统的功能设计及基于TAP真的远程视频和监控数据的串行通讯技术c该系统已在仓库、学校得到实际应用,效果良好:  关键词 视频 监控 串行通信 TAn  文章编号1002—8331—(2003)16—0153—03 文献标识码A 中图分类号TP274
在基于CORBA(Common 0bject Request Broker Architecture)分布式应用系统基础上,引入软件代理Agent机制,将系统的功能体模块设计成具有智能感知的代理体,以构建一种基于Agent代