VoD广播协议分析和建模

以准视频点播技术为背景,通过对该技术的核心要素-VoD广播协议族进行归纳、分析,并从宝塔广播协议出发,设计了一个新的数学模型--宝塔模型,并由该模型出发分析了N-VoD系统的性能与特点.该模型在一个8 MHz模拟频道上传输两套数字节目,其点播最大延迟为8 s,大大缩短了用户等待时间.     

VOD广播协议族

真视频点播(T—VOD)技术支持双向点播，点播延迟短，因而成为技术热点。但该技术带来的双向网络改造费用大，一般多用在局域网中。而准视频点播技术(N—VOD)无需改造网络即可实现视频点播，在有线电视等宽带网中应用广泛。以准视频点播技术为背景，通过对VOD广播协议族进行归纳和分析，从而加深人们对N—VOD技术的理解。     

VOD广播协议分析和建模

真视频点播(T-VOD)技术支持双向点播、延迟时间短,是当今的应用热点。但该技术带来网络双向改造费用巨大的问题。准视频点播技术(N-VOD)以无需改造网络即可实现视频点播功能,使其在有线电视网等宽带网中应用前景远大。本文以准视频点播技术为背景,通过对该技术的核心要素—VOD广播协议族进行归纳、分析,并从宝塔广播协议出发,设计了一个新的数学模型——宝塔模型,并由该模型出发分析了N-VOD系统的性能与特点。该模型在一个8MHz模拟频道上传输两套数字节目,其点播最大延迟为8秒,大大缩短了用户等待时间。     

IP多播和广播技术在PPPoE协议上的扩展

探讨了IP多播和广播技术在PPPoE协议上的应用，并就其性能不足之处提出了一种改进方法。     

数据广播协议及业务

数字技术为广播电视带来了一场革命。这场革命的意义不仅仅是电视业本身,而是为任何数字信息的广播开启了大门。通过这扇大门,数字广播技术将在未来的信息社会中扮演重要角色。 除了数字电视广播外,数字广播技术还包括数据广播和交互业务两大方面,其典型应用包括软件下载、宽带Internet服务以及交互电视等。本文主要介绍基于DVB标准的数据广播技术基本协议,对交互数据广播业务使用的数据轮播和对象轮播协议做了详细说明。     

数据广播中协议的研究与数据广播的实现

提出了数据广播中数据转盘协议，以文件系统为例介绍如何利用数据转盘协议实现数据广播。完成Internet网和CATV网的无缝连接。     

IP多播和广播技术在PPPoE协议上的扩展

本文探讨了IP多播和广播技术在PPPoE协议的应用，并就其性能不足之处提出了一种改进方法。     

传感器编码网络广播认证协议研究

广播认证技术能抵御污染攻击,保障传感器编码网络广播通信安全。但由于网络资源受限,广播认证技术所引入的计算量使得网络又易遭受拒绝服务攻击。为了有效抵御污染攻击与拒绝服务攻击,并兼顾网络安全性与时间延迟,本文以节点遭受污染攻击概率为决策因子,采用博弈论的思想研究广播认证协议。首先考察安全传感器编码网络中中间节点的策略行为,归纳与总结典型的广播认证协议模式;针对广播认证协议模式选择中存在的两次博弈过程,研究先转发策略、先认证策略与先聚合策略,对各策略的博弈成本/收益进行量化;构造广播认证协议二阶段博弈模型,博弈的纳什均衡即为节点应选择的广播认证协议模式。实例分析验证了各策略成本/收益量化及博弈模型的有效性。      

论数据轮播协议和对象轮播协议在当前数据广播应用中的优劣

1引言数字技术为广播技术带来了一场深刻的革命。在数字电视技术取得成功之后,人们发现,这种革命的意义可能不仅仅是数字电视本身,而且它为任何数字信息广播开启了大门。通过这扇大门,数字广播技术     

服务于数据广播的Data Carousel协议的研究及实现

以DVB数据广播协议中的数据转盘协议的实现为目的。在讨论数据广播的基础上,结合作者所做的工作,将数据转盘分为三层，系统讨论了其基本工作机制和框架结构，以及具体的类实现结构。     

ISI支付协议的Strand Space模型及其公平性分析

文章利用StrandSpace模型对ISI支付协议进行了分析,得出了与卿_周逻辑分析方法相同的结论,并将StrandSpace模型对认证协议协定性的分析方法应用到了电子商务协议公平性的分析。     

WAPI协议及其安全性分析

介绍了无线局域网及其两种安全协议--WEP协议和IEEE 802.11i标准,并对这两种协议的安全性进行了分析,指出了不足.介绍了WAPI协议产生的背景与算法原理,分析了其安全性,并将其安全性与WEP和IEEE802.11i进行了对比,对其未来的发展作了展望.     

Symbolic Model Checking and Analysis for E-Commerce Protocol

The widely use of networks and e-commerce has brought great convenience to our daily life. The basis of normal e-commerce transaction between the seller and customers is the secure e-commerce protocols which must also include the two important properties, namely, non-repudiation and fairness, in addition to those basic properties such as secrecy, security, authentication and integrity[1]. So there are special and higher demands of the performance and function of the e-commerce protocol. To att…     

Dining Cryptographer安全协议及工程分析

网络信息安全包括信息内容的加密及通讯的匿名性质.Dining Cryptographer (DC-net)协议 就是一个基于数学不可解特性的基础安全匿名通信协议,其主要特点是通过提供匿名信息服务来避免恶意攻击.本文在介绍DC-net协议工作原理的基础上,从工程应用角度给出了如何构建基于DC-net协议的分布式安全信息服务,并对运行时的有关问题进行了研究.     

APON接人系统协议参考模型及流量管理

在ＡＴＭ标准协议参考模型的基础上,提出了ＡＰＯＮ系统的协议参考模型,对各子层的功能进行了详细的讨论,并对流量的管理进行了研究。     

ISI协议的符号模型检验分析

电子商务协议的非否认性与公平性问题已成为电子商务和信息安全领域研究的热点。本文建立了网络支付协议ISI的有限状态机模型,并用SMV检验工具对其两个重要特性———非否认性与公平性进行了分析检验,发现了ISI协议不满足公平性。结果表明利用符号模型检验方法分析检验电子商务协议的新特性是行之有效的。     

连续重传协议和选择重传协议的性能分析

连续重传(gobackn)协议和选择重传(selectiverepeat)协议都属于滑动窗口协议范畴。数据链路层的许多协议(如HDLC,PPP)都是在此基础上发展起来的。本文利用Linux系统下的管道概念模拟实际通信中的物理媒质,对连续重传协议和选择重传协议进行了仿真,并将两者的性能进行对比分析。     

基于串空间模型的改进型 Otway-Rees 协议分析

串空间模型是一种新兴的密码协议形式化分析工具,其理论中理想和诚实概念的提出大大减少了协议的证明步骤.本文在 Otway-Rees 协议缺陷的基础上对它进行改进,并利用串空间模型的理论对改进后的 Otway-Rees 协议进行了形式化的分析.新的 Otway-Rees 协议满足其安全目标,是安全可行的     

计算机网络协议测试及其发展

协议测试已经成为计算机网络和分布系统协议中最的领域之一。近年来，协议一致性测试技术得到了很好的发展和完善，与此同时，互操作测试和性能测试逐渐成为新的研究热点。本文在分析协议一致性测试的基础上，对协议测试的发展进行讨论。