Kailar逻辑缺陷的进一步讨论

来源 :计算机工程与应用 | 被引量 : 0次 | 上传用户:baidiantong
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
  摘 要 责任性是电子商务安全性的基本要求之一,它要求交易各方对自己的行为负责。Kailar逻辑是专门针对电子商务责任性进行分析的逻辑。然而Ksilar逻辑也存在不足。该文讨论了KaUar逻辑的一种缺陷——发生重放攻击时,Kailar逻辑不能正确分析各方的责任性,并分析了出现这种缺陷的原因,提出了改进方案。
  关键词 责任性 电子商务 协议 协议分析
  文章编号1002—8331—(2003)17—0077—03 文献标识码A 中图分类号TP301
其他文献
摘 要 提出了一个基于多Agent的智能化的作业系统设计模型,它改进了目前普遍使用的作业系统,通过建立自适应的用户模型和领域模型来跟踪用户的学习,记录用户学习信息,实现个性化的用户学习处理策略和智能化的指导用户学习过程。  关键词 多AgenI 作业服务系统 远程教育 知识点  文章编号1002—8331—(2003)21—0221—04 文献标识码A 中图分类号TP18
期刊
摘 要 介绍了多代理的概念,提出将多代理系统的目标及推理、决策、协作、规则及控制等能力运用于CRM系统,使得整个CRM系统具有自治性,自动反映性,交互性及自适应性,在此基础上给出系统模型并讨论了各模型代理间的协作问题。  关键词 CRM 多代理系统 数据挖掘 CORBA  文章编号1002—8331—(2003)21—0225—05 文献标识码A 中图分类号TP315
期刊
摘 要 针对IIE环境下产品信息共享与集成的特点,提出了一种基于STEP的产品信息组织方法。通过基于STEP的产品结构信息建模,以产品结构树为骨架,实现了面向产品全生命周期的产品信息管理模式,为研制基于Web的CAx系统、PDM系统及实施协同设计、敏捷制造等先进生产模式提供了理论和技术基础。  关键词 STEP IIE 产品结构树  文章编号1002—8331—(2003)17—0011
期刊
摘 要 该文从优化计算方法的角度,利用贪心算法对最优解进行分级处理,算法复杂度小等特点,将贪心算法应用于CDMA通信的多用户检测,并结合CDMA通信的实际特点,提出一种基于贪心算法的CDMA多用户检测方法,仿真实验的结果表明,该方法运算复杂度低,可获得接近最优检测的性能。  关键词 多用户检测 贪心算法 CDMA通信  文章编号1002—8331—(2003)17—0017—03 文献
期刊
摘 要 该文设计并实现了一个基于LINUX平台的通用广域网模拟器WEMU。它可以逼真地在局域网环境中仿真出广域网的延迟、丢包、断路等多种特性,为各种基于广域网的试验提供一个成本低廉、仿真效果好的仿真平台。同时具有良好的灵活性和可扩展性。丈章讨论了WEMU的总体设计和实现的技术要点,并给出了具体的测试结果。  关键词 广域网 模拟器 hnux netfilter  文章编号1002—83
期刊
摘 要 商空间理论是研究不同粒度世界的一种新的数学工具。它用三元组(X,f,T)描述一个问题,其中X表示问题的论域,f(·)是论域属性,T是论域的结构。通过分析求解问题(X,f,T),对论域X及其有关的结构、属性进行深入分析和研究,从而完成不同粒度世界的描述,并有着完整的理论基础。该文首次将商空间粒度理论应用于对数据仓库中数据进行了粒度分析,取得了很好的确定结果。  关键词 粒度 商空间
期刊
摘 要 该文提出了一种基于XYZ空间的区域生长法分割图象。图象简化阶段,采用连接算子中的区域开启闭合算子来简化图象;图象标识提取阶段利用XYZ空间的信息得到准确的视频对象轮廓,并且根据对比度消除区域中噪声小梯度,并在此基础上提取标识;在分割阶段,采用区域生长法来分割图象。实验证明该文的结果是准确可靠的。  关键词 视频对象 图象分割 彩色空间 形态学  文章编号1002—8331—(2
期刊
摘 要 提出了一种在产品设计状态下的成本核算模型及相关算法。该算法采用零部件模块化设计,可快速联动响应产品或设计变动所引起的成本变化。该算法用于解决产品数据管理(PDM)中成本核算和成本控制的关键问题,其应用已经取得显著成效。  关键词 深度递归算法 PDM BOM  文章编号1002—8331—(2003)17—0063—03 文献标识码A 中图分类号TP315
期刊
摘 要 电子商务标准是电子商务发展的基础,XML技术的出现为解决标准问题提供了有效的方法,、该文首先介绍了cnXML技术,指出了消息服务是cnXMI标准的基础,提出了基于SOAP的cnXML消息格式。在此基础上,深入研究了cnXML消息的头元素和体元素的基于SOAP的扩展。  关键词 cnXML 消息格式 SOAP SOAP信封 信封元素 头元素 体元素  文章编号1002—83
期刊
摘 要 论文分析了光盘镜像和MPEC压缩分别占用系统IO和CPU的特点,将二者有机地结合,充分利用了系统的资源,提出了多个光驱同时镜像Audio光盘且并行压缩算法,并详细讨论了这个算法的设计与实现。  关键词 光盘镜像 压缩 缓冲区 同步互斥 并行 临界资源 临界区  文章编号1002—8331—(2003)17—0074—03 文献标识码A 中图分类号TP303
期刊