基于串空间模型的认证测试方法

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.     

“编译技术”试题库及试卷自动生成系统的研究

本文阐述了高等工科院校计算机专业“编译技术”课程试题库建立的必要性、试题库设计的理论基础及其软件实现原理．对比了本系统与一般试题库的不同与特点     

基于虚拟仪器的异步串行通信协议的检测方法

在分析基于RS－232C标准的串行异步通信原理的基础上，讨论了利用RVO2100虚拟数字示波器检测串行异步通信协议的方法，并与传统检测方法进行了比较。     

TCP拥塞控制分析模型

介绍了研究传输控制协议 (TCP)拥塞控制问题的各种分析模型 ,指出了研究TCP拥塞控制的主要目标 .对当前国内外的研究动态给予了讨论 ,并对当前现有模型根据其流量范围和使用的分析工具进行了分类概括 .最后概要地阐述了在端到端和在网络中进行拥塞控制的相互关系     

SDP协议的应用分析

SDP协议是在IETF MMUSIC工作组的RFC2327中定义的一个多媒体会话描述协议，本文介绍了SDP协议的功能，分析了SDP协议格式，语法结构及解释，同时给出了一些应用实例。     

基于时间Petri网的密码协议分析

形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入.在文中首先对四类常见的密码协议形式化分析方法作了一些比较,阐述了各自的特点,然后用时间Petri网来表示和分析密码协议.该方法不但能够反映协议的静态和动态的特性,而且能够对密码协议进行时间、空间上的性能评估.作为实例,对Aziz-Diffie无线协议作了详细的形式分析和性能评估,验证了已知的、存在的漏洞,并且给出了该协议的改进方案.     

实现自动化测试系统中串行通信若干问题的研究

本文讨论研究了计算机与智能仪器串行通信的主要问题,首先分析了这种串行通信的特点,阐述了计算机串行通信方式的选择,接口硬件的连接及软件的编程。重点讨论了实现串行通信中的通信协议、流量控制和差错检测,经在PC—386工控机与数种智能仪器的串行通信实验,得到了令人满意的良好效果。文中提出的内容是理论与实践结合的经验总结,它对从事于计算机与智能仪器串行通信工作的人员具有重要的参考价值。     

使用Java Web Start部署自己的Java应用程序

JavaWebStart是部署基于JavaTM技术的应用程序的一种新技术,是SUN公司提供的一个实现JNLP的软件。JNLP解决了很多先前用java开发针对客户端的功能的问题,可以实现将功能由基于浏览器的胖客户端转向瘦客户端。以我院自行开发的宽带网计费与安全管理系统为例,对JavaWebStart作了介绍。     

无线局域网中实现令牌总线协议的研究

为了解决无线网络进行信息传输时存在的问题,借鉴有线网ＩＥＥＥ８０２．４协议,提出了无线网的令牌总线协议Ｗ８０２．４,该文介绍了帧格式,并从令牌传送和逻辑环维护两个方面较为详细地介绍了无线网中令牌的工作模式,该协议较好地解决了实际问题,为制订统一的无线网络协议提供了一种思路。     

TCP／IP体系结构

ＴＣＰ／ＩＰ是Ｉｎｔｅｒｎｅｔ网络进行信息传输和网络互连所使用的协议,随着Ｉｎｔｅｒｎｅｔ的飞速发展,ＴＣＰ／ＩＰ已成为事实上的国际标准和工业标准。本文对ＴＣＰ／ＩＰ的网络体系结构及其协议族作了概述介绍。