基于状态标注的协议状态机逆向方法

协议状态机可以描述一个协议的行为,帮助理解协议的行为逻辑。面向文本类协议,首先利用统计学方法提取表示报文类型的语义关键字;然后利用邻接矩阵描述报文类型之间的时序关系,基于时序关系进行协议状态标注,构建出协议的状态转换图。实验表明,该方法可以正确地描述出报文类型的时序关系,抽象出准确的状态机模型。

ASP.NET中会话状态实现研究

会话是服务端环境提供的一个抽象层。通过使用会话,应用程序可以将数据存储在服务器上,以供多个请求使用。首先介绍了会话状态的基本概念,然后详细讨论了ASP.NET1.1中会话状态功能的实现,包括会话的底层结构、会话状态的访问和序列化/反序列化,研究了如何在进程内、在Windows服务内或者使用数据库表存储会话数据,最后讨论了无cookie会话。

从ASP到ASP.NET的会话状态管理

介绍了ASP及ASP.NET中会话状态管理方式,给出了ASP应用程序迁移到ASP.NET时共享会话状态的一种解决方案。

一种基于身份的密钥协商协议的分析与改进

安全认证密钥协商协议的设计一直是著名难题,很多认证密钥协商协议在设计完成后都被发现存在一定的安全缺陷。文章首先对Lim等在2008年给出的一个基于身份的密钥协商协议进行了安全性分析,对该协议给出了会话状态暴露攻击和临时密钥泄露攻击。最后对Lim协议给出了可以抵抗这两种攻击的改进。

关于网络语文课堂教学的若干思考

随着网络技术的发展和中小学“校校通”工程的推进,网络语文教学悄然兴起。网络语文教学是依托网络资源优势开展语文教学活动的教学样式。网络语文教学必须遵循语文学科的特点,以构建异于传统的资源平台和学习平台为目标,且网络语文教学健康发展有赖于教师大胆有效的教学管理。

分布式网络行为监控系统的研究与实现

随着计算机网络的发展与普及,网络内部的安全性越来越受到人们的关注,如何对局域网内部主机的行为进行监视与控制是解决问题的基础和关键所在。本文提出了一种基于C/S模型的分布式网络行为监控系统的设计框架及主要功能,并对实现过程中的软件体系结构、报文解析引擎和网络行为分析引擎等关键技术进行了讨论;最后给出了本系统的应用方向及系统测试结果。

Web Services的状态管理机制研究

一般情况下Web Services被认为是无状态的,但是在单个服务请求者或者在特定的业务上下文中需要维护状态或资源来实现相互交互,所以有状态Web Services的研究具有重要意义。通过对Web Services状态含义的探讨,分析了现有状态管理方法的利弊,从而提出新的管理机制,并提供了一个实现原型。

网络入侵行为模式研究

针对网络入侵行为模式进行分析,给出由图像函数定义的系统状态,包括主体和客体、主体和客体关系、保护设置和合法流矩阵,利用系统状态的所有直接和间接关系确定系统转换过程中行为模式的变化及其规则,在此基础上简单分析了"特洛伊木马"的检测方法.

会话类E-Service的接口兼容和服务组合分析

针对会话类E-Service的会话完整性对环境提出的更多限制以及由此导致的行为差异,给出了对接口环境的严格定义和接口兼容检查的精确算法．在应用上,由于接口兼容的组合算法COMP可以得到组合接口自动机,通过计算COMP(COMP(A1,…,COMP(AN-1,AN)))可以保证最终的组合结果是协议兼容的．

一种可伸缩、高可用的会话状态存储组件

针对用户交互式应用系统设计上应提高系统的可伸缩性和可用性问题，设计了一种分布式会话状态存储组件SessionStore，用于提供统一的用户会话状态存储。SessionStore采用一致性哈希算法并引入Dynamo中虚拟节点的机制，进行用户会话根据节点权重的均衡分布，并维护会话的多个副本，部分节点的崩溃不会导致会话丢失。实验结果表明SessionStore具有较好的可伸缩性和高可用性。在会话生命周期的管理中，SessionStore采用延迟更新机制，避免每次会话访问同步更新所有副本的生命周期，减少了系统的响应延迟．

3G-H.324M终端间的快速会话建立方法

为了提高3G-H.324M终端间的会话建立速度,开发了一种高效地移动多媒体传输协议栈。其中,每个信令实体属于一个类,每个类维护两个独立的状态机。不同的信息驱动不同的状态转换,不同信令实体的不同的类可以独立运行。这样一个3G-H.324M终端能够同时处理两个或者更多的信息,使得多个3G-H.324M终端间能够加速会话建立、进行多媒体通信。同时将该会话建立方法与3G-H.324M中推荐的方法进行了比较,结果显示,新方法更加快速和有效。

基于有限自动机的SIP仿真测试器设计

把有限自动机的思想和SIP(Session Initiation Protocol)协议仿真测试器的设计相结合,给出了SIP测试方案的有限自动机描述,并设计了一种基于有限自动机的SIP仿真测试器。该测试器使用户摆脱了专门高级编程语言的学习,便于用户掌握使用,测试器支持IPv4/IPv6,适应IP技术的发展,为测试平台的设计提供了一种新方法。

基于SIP的容错系统中状态共享机制的改进与实现

在研究了以往的IMS（IP multimedia subsystem）容错系统的基础上,改进了容错系统中的状态共享机制.通过对该机制的重新设计,改进了其功能结构,定义了服务器间传递的消息包格式,给出了保留事务状态代理情况下状态的添加和删除原则,提出了保留呼叫状态代理和保留事务状态代理情况下的每条SIP消息的状态添加和删除方法.实验表明,改进后的状态共享机制在保留呼叫状态代理和保留事务状态代理中均能实现系统的高可靠性.

如何在ASP和ASP．NET中共享会话状态

ASP．NET的出现大大提高了编写的站点的性能,但传统的ASP技术也需要同时应用,两种技术间会话状态的共事是必须解决的问题。文章即对实际编程时如何在ASP和ASP．NET中共享会话状态,介绍了实现原理,给出了具体的操作步骤。

会话类E-Service的接口兼容分析

为保证最终获得的组合服务能够正确运行,首先对涉及会话类E-Service服务组合过程中的E-Service动态行为接口进行了形式化描述.然后采用“乐观”方式进行接口兼容检查;同时针对会话类E-Service的完整性要求,提出了验证会话类E-Service接口兼容的算法,以此对业务组合过程进行设计时的检查,确保组合的正确性.

网络安全传输系统中会话重用技术的实现

文章讨论了采用对称密钥与非对称密钥相结合方案的网络安全传输系统中的会话重用技术,并给出了实现该技术的数据结构及算法。

会话状态重用在铁路电子商务中的应用

对目前铁路电子商务网站客票发售系统所使用的安全协议SSL(SecureSocketsLayer,安全套接层 )进行了详细分析 ,指出了协议各部分的开销降低发售系统客户响应速率的弊端 ,并提出了减少协议开销、提高发售系统客户响应速率的一种方法 :会话状态重用 (sessionstatereuse) 。

MPLS的LDP会话技术

本文较为详细地介绍了LDP会话的基本原理及采用的技术方法。

CloudSIP:基于云平台的可动态伸缩SIP系统

针对运营商级系统的可动态伸缩性和高可用性需求,本文提出一种基于云平台的SIP系统CloudSIP.为最大化系统的可伸缩性,CloudSIP采用分层设计,层内和层间组件之间无需同步、功能独立;为提高系统可用性和动态伸缩的实时性,针对实时业务面向会话的特性,Cloud引入注册迁移和会话迁移,在SIP服务器之间透明地迁移用户注册信息和正在进行中的会话信息.最后,本文利用Amazon公共云平台对CloudSIP进行了仿真和测试.

SIP保留事务状态代理中基于UDP协议的状态共享机制

已有的IM S(IP multim edia subsystem)容错系统仅仅实现了保留呼叫状态代理下的状态共享机制.提出并实现了保留事务状态代理中基于UDP(U serDatagram Protocol)协议的状态共享机制.在大话务量测试的基础上,给出了可靠性的测量值曲线图.通过数学分析和理论推导,提出并证明了超时参数Tout与可靠性R之间的关系公式.实验表明,理论分析的结果能够反映出系统的真实性能,推导出的Tout断裂点值与实际值是一致的.