分享到:

基于Gnutella协议的Peer-to-Peer网络研究及其协议验证

由于P2P系统在资源共享方面有着巨大的应用前景,对他的研究已成为学术界的重点问题之一。在P2P系统中,每个节点即是客户机,又是服务器,所有的数据交换都是在节点间完成。P2P引导网络计算模式从集中式向分布式偏移,也就是说网络应用的核心从中央服务器向网络边缘的终端设备扩散。Gnutella是一种完全的分布式、无等级结构的P2P网络模型,能够适应P2P网络中节点频繁加入和离开的自然特性,它具有健壮性、实时性、可靠性、负载平衡等优势。基于Gnutella协议开发的软件越来越多,有大量的用户使用这类软件在Internet上搜索查询信息、下载文件和共享数据。然而,在Gnutella网络中还存在以下问题:1.冗余消息多,吞噬带宽。Onutella网络协议采用泛洪式(flooding)消息传播机制,这种消息传播机制产生了呈指数级增长的冗余消息。据统计,P2P软件白天占Internet上运行带宽的40%—70%,晚上有时能达到80%。2.搜索效率  (本文共119页) 本文目录 | 阅读全文>>

南京航空航天大学
南京航空航天大学

逻辑程序及其在安全协议验证中的应用

非单调推理是人工智能领域中一类重要的常识推理,其中包含缺省逻辑、自认知逻辑等内容。自认知逻辑的稳定集和扩充可用于刻划主体(agent)的推理能力以及认知状态,是自认知逻辑重要的研究内容。本文给出了稳定集的一种等价表示方法,该方法可以比较简洁、统一地描述多自认知逻辑中的相关概念。在多自认知逻辑中,本文基于对主体之间认知能力的不同假设,提出了四种稳定集,讨论了它们之间的关系,并以一种稳定集为例,给出了其语义表示,并引入了相应的扩充概念。另外,文中也讨论了一种可以描述环境的扩充。自认知逻辑程序可以看成是自认知逻辑的一种简化,可以比较方便地用于推理。本文分别讨论了单主体和多主体的自认知逻辑程序。对于单主体的情形,给出了一种不动点语义,证明了它和完全Bonatti稳定集等价,并可以转化为扩展逻辑程序的回答集语义。对于多主体的情形,根据对主体认知情况的不同处理,提出了两类稳定集:P稳定集和广义稳定集。在给出了多自认知逻辑程序的三值语义模型后...  (本文共105页) 本文目录 | 阅读全文>>

《计算机研究与发展》1988年01期
计算机研究与发展

协议验证技术的基本理论和方法

本文从现有的协议验证技术的种类出发,论述了主要的验...  (本文共9页) 阅读全文>>

《计算机工程》1989年03期
计算机工程

Kermit协议验证

本文首先对Kermit协议作了简单介绍,包括Kermit协议...  (本文共5页) 阅读全文>>

《计算机工程与科学》2005年03期
计算机工程与科学

基于类型理论的安全协议验证技术

基于类型理论的安全协议验证技术是近年来新出现的技术途径之一。本文在对基于类型理论的安全协议验证技术及其研究现状进行简要介绍后,主要分析了由A....  (本文共4页) 阅读全文>>

《计算机科学》2010年09期
计算机科学

一种基于攻击序列求解的安全协议验证新算法

基于完美加密机制前提及D-Y攻击者模型,指出注入攻击是协议攻击者实现攻击目标的必要手段。分析了注入攻击及其形成的攻击序列的性质,并基于此提出了搜索攻击序列的算法,基于该算法...  (本文共5页) 阅读全文>>