论文部分内容阅读
形式化方法由于其简练、无二义性,在协议工程中有着重要的地位。首先对下一代超文本传输协议(HTTP NG)作了简单介绍,并利用基于时序逻辑MTLP的形式化方法对简化了的HTTP NG模型进行协议描述和分析,其中多种数据结构的引入,使分析更为方便。
基于时序逻辑的HTTP-NG协议分析
【摘 要】
：
形式化方法由于其简练、无二义性,在协议工程中有着重要的地位。首先对下一代超文本传输协议(HTTP NG)作了简单介绍,并利用基于时序逻辑MTLP的形式化方法对简化了的HTTP NG模型进行协议描述和分析,其中多种数据结构的引入,使分析更为方便。
【机 构】
：
华南农业大学
【出 处】
：
计算机应用研究
【发表日期】
：
2004年11期
其他文献
介绍了Web服务的体系结构和相关主要技术,分析了当前流行的分布式组件技术及其互操作的缺陷后,给出了应用Web服务技术实现互操作的模型,并结合一个基于J2EE实例系统介绍了具体实现细节。
利用OpenGL的选择机制、投影及坐标变换实现了数字地形图上漫游路径在三维空间的选取,结合图形显示系统对空间四边形的处理策略,提出了一种针对规则格网(Grid)地形图的漫游路径插值算法。
传感器网络作为连接真实的物理世界和虚拟的计算世界的桥梁,将引起人们越来越多的重视。首先介绍了传感器网络的概念及其应用,总结了其新的特征,分析了它对计算技术的挑战。在对传感器网络进行分类的基础上,探讨了非结构化传感器网络的设计方法;最后对目前传感器网络的研究热点进行了简要介绍。
针对目前入侵检测遇到的一些新问题提出了一些改进方案 ,主要包括对整个系统的体系结构设计 ,蜜罐与陷阱子系统设计 ,入侵检测系统与动态防火墙相协同的框架模型设计 ,利用双网卡技术和备份监控代理方式提供对入侵检测系统自身的有效安全防护等
在基于角色的访问控制RBAC模型中,通过角色将用户和权限相联系,极大降低了授权管理的复杂性,不失为一种灵活有效的安全措施。作为PKI技术新发展的X.509属性证书,提供了一种较好的机制来支持这一模型。首先对RBAC模型和属性证书的有关特性分别进行了介绍,而后就属性证书在RBAC中的应用进行了分析研究。
实时测量系统具有很高的实时性要求 ,多线程技术以其能同时执行多项任务、最大程度利用多处理器性能的独特优点很好地满足了这一要求。在角变形实时测量系统中采用了多线程的编程方法进行程序设计来提高系统的实时性 ,取得了很好的设计效果
数据库中的BLOB(BinaryLargeObject,二进制大对象)字段可以存放如图形、声音文件或带格式的大文本文件等大对象。阐明其基本工作原理和工作过程,为多媒体信息管理系统的开发提供了有效的解决方案。
提出了一种基于最小内角动态判定的简单多边形三角剖分算法,首先计算简单多边形内角的大小,然后按内角最小优先法并实时更新将多边形三角剖分,算法思想简单,效率高。