MLD协议与PIM-SM协议实现IPv6组播

文章主要介绍IPv6组播的原理机制，当前用于实现IPv6组播的两个基本协议MLD协议与PIM—SM协议，以及MLD协议与PIM-SM协议之间的互操作。同时还详细描述了组播共享树和最短路径树的建立过程。     

密码协议的形式化分析与设计原则

介绍了密码协议的形式化分析方法和设计原则，着重介绍了BAN逻辑及其发展以及一些重要的协议设计原则，并提出了作的一些观点。     

基于无线通信的ASK协议的建模分析

安全协议的建模分析与设计一般采用形式化的方法进行,这是许多经典安全协议存在的缺陷。因此,文章提出采用形式化验证的方法对一种复杂的无线移动安全协议-ASK协议进行建模和验证,针对ASK协议所存在的缺陷,我们提出了改进之后的协议,并对改进后的协议进行了验证,结果表明,新的协议是安全的,是能够抵御重放攻击的。     

一种改进的Woo-Lam协议

串空间是一种基于定理证明的,新兴的安全协议形式化分析模型.认证协议使用密码技术实现网络环境下的身份认证和信息保密.本文针对Woo-Lam协议的不足,对其进行改进,提出了一种新的Woo-Lam协议,使其成为双向认证协议,并基于串空间模型,然后对改进的Woo-Lam协议进行分析证明,结果证明了改进的Woo-Lam协议为双向认证协议.最后通过比较了改进前后的Woo-Lam协议,得出了结论.     

通信顺序进程的扩充及其在协议形式化技术中的应用

讨论了为进行协议形式化描述而进行的CSP扩充问题。向CSP中引入了可终止进程的概念，并给出了可终止进程的判定方法：针对CSP只能进行同步通信描述的缺陷，提出了用CSP来描述异步通信的手段：最后给出了AB协议的CSP描述，并在此基础上初步讨论了协议规范的正确性及测试用例的生成。     

通用安全协议分析语言CPAL的研究

本文先从软件理论的角度对安全协议分析语言CPAL的语法和语义进行分析，指出这种语言控制流的缺陷，在语法和语义方面给出CPAL语言的完善方案，并从信息安全中的协议的广泛性方面说明其必要性。     

基于形式化方法的安全协议安全性分析

协议安全是确保网络数据安全的基础。传统的基于观察的人工分析协议安全性分析已不能满足安全需求。如何研究安全协议及安全属性的性质,使两者在统一框架下实现可分析和验证是亟待解决的问题,形式化分析为解决这一问题提供了精确的数学手段和强大的分析工具。对已有的安全协议形式化分析方法进行了归纳和总结,并从等价验证、协议优化和增强分析准确度三方面提出了未来的研究设想。     

电子支付协议的博弈逻辑模型与形式化分析

提出用一种新的基于博弈逻辑ATL（Ahernating-time Temporal Logic）的电子支付协议建模与分析方法。新方法克服了传统时序逻辑把协议看成封闭系统进行分析的缺点．可以成功地对电子商务中的对抗与合作行为进行描述．利用新方法对Bolignano协议进行了严格的形式化分析．发现该协议不能满足公平性要求．     

认证协议研究概览

认证协议是以密码学为基础的协议,它的最终目标是在分布式系统中提供各种各样的安全服务,是保证网络安全的基础。文中阐述了网络安全需要通过认证协议来进行主体之间的相互认证,而认证协议的正确性需要借助形式化的分析工具来进行验证。认证协议是非常精细和微妙的,认证也不是静止不变的。设计与分析认证协议是十分困难的,它是严格分析技术的最佳选择,是分布式安全结构的重要组成部分,而各种类型的形式化分析工具各有优劣。     

安全协议机密性论证

机密性是无线传感器网络众多安全需求中最为核心的一项,网络安全的重点通常首先就是要解决数据机密性问题,安全协议的机密性直接决定了网络中传输数据消息的安全性。文中基于Applied pi演算构建SNEP协议机密性论证模型,将协议分成协议进程和用户进程两部分来分析,将协议的机密性转换为协议的执行过程是否具备不可区分性,进而用等价理论证明了协议的机密性情况。     

基于IPV6的组播路由协议PIM-SM的研究及实现

文章首先分析了研究IPv6组播技术的重要意义.然后详细分析了组播路由协议PIM-SM,并且在实验室生成IPv6环境下,对PIM-SM协议中的BSR选举、RP竞争、HelIo消息发布和数据流树切换等进行了测试,测试结果表明该协议工作正常,以其为基础实现的组播系统是正确的,符合RFC相关文档说明.     

针对PIM-SM拒绝服务攻击的简单解决方案

PIM-SM协议本身存在着许多安全漏洞,恶意主机通过伪造大量数据包就可以达到拒绝服务攻击的目的。提出了一个方案,通过在DR路由器添加一些简单的限制规则就可以解决该问题,并通过测试证明了该方案的可靠性和高效性     

实验比较Auto-RP、BSR在PIM-SM协议中的实现方式

概述组播路由协议PIM-SM的工作过程以及Auto-RP、BSR指定RP的实现方法,通过实验环境进行验证对比,并分析其特点。     

Rendezvous Point Relocation in Protocol Independent Multicast-Sparse Mode

Protocol Independent Multicast-Sparse Mode is the most widely used multicast routing architecture. It builds a shared distribution tree centered at a rendezvous point and then builds source-specific trees for those sources whose data rate warrants it. Current implementations of the protocol decide on the rendezvous point administratively, which leads to congestion and delays. An attractive solution would be dynamic relocation of the rendezvous point depending on the members of the multicast group. In this paper we present a rendezvous point calculation and relocation mechanism for Protocol Independent Multicast-Sparse Mode. Simulation of the proposed mechanisms is used to demonstrate the effectiveness of the proposals.     

实验比较Auto-RP、BSR在PIM-SM协议中的实现方式

概述组播路由协议PIM-SM的工作过程以及Auto-RP、BSR指定RP的实现方法,通过实验环境进行验证对比,并分析其特点。     

基于IPv6的MLD协议的研究与实现

IP组播是一种优化使用带宽的路由技术,它允许IP数据流从一个源或者多个源发送到多个目的地,使用组播技术可以有效地减少网络流量.它可以利用最少的网络带宽将组播源的数据报传送给多个接收者,并且不会给接收者和发送者带来任何额外的负担.随着多媒体业务的日益增长,对带宽的需求越来越大,IP组播技术有了广阔的应用空间,在多媒体服务、软件分发、网络游戏、流媒体等诸多领域都有着广阔的前景.良好的组播业务的实施需要有完善的管理机制,MLD协议就是保障IPv6下组播技术有效进行的管理控制协议.本文介绍了给出了Linux操作系统下组播组管理协议的具体实现,为实现IP组播提供了有利的支持.     

依赖源汇聚点的组播协议

域间组播一直是大范围内部署组播时需要考虑的主要因素。依赖源汇聚点组播是一种基于Chord查找协议的简单有效的域间组播方案，方案中接收者的指定路由器（DR）使用Chord协议获得源RP地址，并加入源RP树。依赖源汇聚点的组播方案是一种域同ASM解决方案；能提供很好的容错性和可扩展性；支持主机移动组播，但不会造成三角路由问题。     

IPTV用户行为分析

本文针对IPTV业务。模拟用户观看IPTV的行为。通过仿真得到了频道的切换频度变化曲线以及在线频道数目变化曲线。分析了用户数目对组网的影响。指出了实际组网应该采用的转发方式。     

IP多播技术及其应用

本简单地阐述了IP网络上多播（Multicast)技术的概念、特点与原理，介绍了在公用IP网络中部署PIM-SM组播业务的实现方法、其结构体系和路由组织，分析所涉及的相关协议，并介绍了基于IP组播技术的应用解决方案和近年来组播技术的发展。