协议形式化开发环境的规范语言

LOTOS（languageoftemporalorderingspecification）是一种基于进程代数CCS的协议规范语言，面向协议验证，但它不能描述协议的某些性质．本文提出了一种LOTOS的扩充语言ELOTOS（extendedLOTOS），它在LOTOS的基础上引入了异步通讯机制、时间描述、事件发生的随机性描述．

基于时序逻辑的面向实现的协议规范语言

在多种形式化描述语言和时序逻辑原理的研究之上 ;针对通讯协议的特点提出一个协议模型思想 ,并设计了实现此模型协议描述语言 .本方法的特点是 :基于时序逻辑 ;引入了面向对象的概念 ,对事件有强的描述能力 ,让描述更接近于现实 ;扩展了对事件的描述 ,能描述事件的随机发生 ,我们已将之成功地应用于对超文本协议的描述 .

网络协议通用型解析引擎描述语言研究

用于网络协议解析的软件很多,但其绝大多数均是针对某些特定的协议进行开发,其扩展性较差。本文设计一种网络协议形式化描述方法,它通过定义一种协议描述语言,并基于该描述语言开发相应的解析引擎,实现通过添加协议语言描述文档,即可完成对新协议扩展解析的目的。通过示例验证了所述方法的可行性。

面向实现的协议形式化描述语言

该文在多种形式化描述语言(FDL)和时序逻辑原理的研究基础上,针对通讯协议的特点提出了一个协议模型思想,并设计了实现此模型的协议描述语言。该语言对事件有强的描述能力,并且引入了面向对象的概念,让描述更接近于现实;它扩展了对事件的描述,能描述事件的随机发生,笔者已将之成功地应用于对HTTP协议和HTTP-NG协议的描述。

农村广播电视台如何架构媒体资产管理网络

为了使城乡统筹发展数字广播电视,必须架构适应农村广播电视台需求的媒体资产管理网络系统,以实现数字节目的制作、存储、资源管理与播出一体化,采用消息+Web Service实现综合信息管理系统,进行无缝连接,可充分利用媒体资产,使节目的生产与资源再利用的效益达到最大化。

光纤通信网络中链路数据篡改攻击与防御方法

针对传统光纤网络防御方法中防御能力较低且不能有效缓解和防御恶意攻击的问题,提出一种光纤通信网络中的链路数据篡改攻击与防御方法。建立链路层中所有数据种类的检测样本集,根据破解繁琐度信号的规划原则,获取有关篡改攻击的函数转换信号,计算每个数据集间信号的关联程度,寻找与篡改攻击信号最为接近的数据,确定链路层是否遭受侵害。根据数据间双重传输规则,计算每个传输节点间欧式距离,根据距离阈值确定相应防御节点。将所有篡改攻击数据的二进制代码进行语言转换协议,并实施封包处理,使用密钥对链路数据层进行加密,完成光纤通信网络中链路数据篡改攻击与防御。实验结果表明,所提方法对光纤通信网络中链路数据篡改攻击与防御精度较高,且攻击防御节点设置误差较低。

Application ontology构建及SPARQL查询研究

针对当前智能手机应用安全知识等信息的共享及复用问题,采用本体技术实现了智能手机应用本体(application ontology,APPO)的建模。利用本体描述语言(Web ontology language,OWL)对APPO中的概念及概念之间的关系进行知识表示,建立了一个语义表达准确的领域本体;利用本体查询语言SPARQL实现基于RDF三元组的各类相关查询;在此基础上,借助本体推理机制进行了推理研究,并结合实例,验证了研究内容的可行性和实用价值。

基于P4的主动网络遥测机制

随着以可编程协议无关报文处理语言(P4,programming protocol-independent packet processors)为主要编程语言的可编程数据平面的兴起,给网络遥测领域带来了新的发展机遇。带内网络遥测(INT, In-band network telemetry)就是其中一种具有代表性的能够探测到设备级遥测数据的被动遥测技术。然而INT的探测范围受到探测点部署位置的限制,难以获取全局网络视图。同时将遥测指令和数据封装到正常数据分组所带来较高的探测开销以及部署和运维的复杂性导致可扩展性不好。为此,提出了一种基于P4的能够覆盖全网且可扩展性强的主动网络遥测平台Net Vision。

基于关系查询的应用系统向语义网移植的研究

针对基于关系数据库的遗留系统能否集成到语义层这一问题,研究关系查询到语义查询转换的完备性.分析一种从关系数据库获取本体的自动学习方法,抽取数据库表、属性同本体类、属性之间映射函数.基于这些函数,得出关系对应的基本简单协议和RDF查询语言(SPARQL)代数表达式.逐一用SPARQL代数来模拟5种基本关系代数运算:选择、投影、并、差和笛卡尔积,并给出其相应的转换算法.结果表明:在这种本体学习的方法下SPARQL代数可以表达5种基本关系代数,以及由它们组合而成的关系表达式,因此,SPARQL是关系完备的,并支持那些基于关系查询的遗留系统向语义层的移植.

基于NetVM架构的网络数据包处理

阐述了基于NetVM(Network Virtual Machine网络虚拟机)的架构,以及其特有的协议描述语言-Net-PDL(Network Protocol Description Language)和组装语言-NetIL(Net Interpreter Language),以进行有效、快速、灵活的网络数据包处理.

采用P4的数据平面NAT-DP技术方案

针对协议转换(network address translation-protocol translation,NAT-PT)技术服务于IPv4和IPv6节点之间的通信,无法实现多协议节点之间的数据包通信,缺乏协议扩展功能的问题,提出一种基于P4的网络地址-可编程数据平面协议转换(network address translation-programmable data plane protocol translation,NAT-DP)技术方案。该方案运用可编程协议无关报文处理语言完成解析器、控制流和匹配动作表的定义,实现多协议数据包在数据平面的解析、协议转换与重组。实验结果表明,该技术方案可以有效解决NAT-PT的协议扩展性问题,并使管理员在数据平面实现协议转换机制的可重配置。

基于SyncML DM的移动终端设备管理协议研究

文中揭开了SyncML DM协议的神秘面纱,详细分析了SyncML DM这一在业界得到广泛支持的高效的设备管理协议,着重讨论了协议中提供的解决方案以及设备管理软件的实现,并介绍了基于SyncML DM协议的移动终端设备管理应用。

美国芝加哥仅15校教中文，市长明言不够

美国第三大城市芝加哥的15所中学开始教授中文。然而，芝加哥市长认为这根本就不足够。