论文部分内容阅读
本文指出了现有时限责任分析技术中存在的缺陷,提出了一种基于Kailar逻辑的安全协议时限责任分析框架.通过该分析框架对一个具有时限性要求的安全电子投递协议进行分析,发现了协议存在的时限问题,修改了协议并给出了修改后的协议满足时限性要求的证明.
具有时限约束的安全协议分析技术研究
【摘 要】
：
本文指出了现有时限责任分析技术中存在的缺陷,提出了一种基于Kailar逻辑的安全协议时限责任分析框架.通过该分析框架对一个具有时限性要求的安全电子投递协议进行分析,发现
【机 构】
：
桂林电子工业学院计算机系
【出 处】
：
计算机科学
【发表日期】
：
2005年1期
其他文献
实时多处理器系统中，为了更好地利用资源，常常采用资源回收算法。在分析了已有资源回收算法的优缺点的基础上，提出了一种高效的实时多处理器的资源回收算法——可倒置法。可倒置
隐通道能在安全机制的监控之下将保密信息外泄,因而对系统安全的威胁极大.通过研究隐通道的工作原理,形式化地证明了隐通道存在的最小条件.在此基础上,对现有的隐通道搜索与
本文提出了银行业务系统通信的通用解决方案，该方案通过在通信模块中引入中间件技术，提高通信模块的通用性、移植性，屏蔽复杂的网络编程细节，为编程人员提供简单的编程接口，从而降
经典粗集理论给出了不可识别、上近似、下近似、简式和核等概念，其核心思想是运用条件属性集导致的知识粒子来近似决策属性集导致的知识粒子，进而推导出规则。这些知识粒子的实
本文提出了一种基于UML状态图的测试用例生成方法，生成较少但有效的测试用例，便于实现自动化测试。测试用例从状态图中的转换（转换路径）中产生，一个用例代表了一条转换路径。对深
根据蚁群算法信息素更新的特性，提出了求解旅行商问题的多样信息素的蚁群算法。把蚁群的三种不同的信息素更新方式混合在一起，既利用了局部信息，又考虑了整体信息，将局部搜索和全
传统的基于谓词模式推理算法，需要把自然语言表示的知识，人工转换为机器可以理解的谓词，这就需要耗费大量的人力物力。本文提出一种基于自然语言的模式推理算法，可以基于自然语言
变精度粗糙集模型是对传统的（Pawlak）粗糙集模型的一个重要拓展，但变精度模型中需要设定人为参数不利于信息的客观体现。Eayesian粗糙集模型是基于变精度和概率论的思想最新提出
针对目前ERP-电子商务集成系统使用日趋广泛、但缺乏有效度量方法的问题，本文利用软件测试与能力成熟度模型等技术，设计了一种层次度量模型HMM，先分别对ERP核心层、中间传接层、
情感在生物体的交流和适应性方面起到了关键作用。同样，交互虚拟人也需要有恰如其分的表达情感的能力。由于具有情感交互能力的虚拟人在虚拟现实、电子教育、娱乐等领域均有着