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

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

分布式系统中异型微机间的通讯

主要介绍了一个由异型微机组成的分布式监控系统中的通讯问题。对系统中通讯的硬件设计、软件设计及系统的分析、异型微机之间的通讯规程等诸方面进行了论述，重点在通讯，该系统已投入现场运行４年之久，实践证明该系统的通讯是可靠、稳定的。     

BAN逻辑与串空间的比较

研究了2种安全协议的分析方法,即BAN逻辑和串空间.利用这2种方法分别分析了Needham-Schroeder公钥协议,指出了这2种方法各自的优点和缺点.在对这2种方法进行了比较后,指出了这2种方法有2种结合方式.1种是利用串空间给出BAN逻辑的语义,另外1种结合方式是串行,即对于需要分析的协议,先利用BAN逻辑进行分析,然后再利用串空间进行分析,使分析出的结果更加可靠.     

OSPF路由协议的安全性分析

介绍了OSPF动态路由协议及OSPF的安全特性,分析了OSPF当前版本可能遭受的攻击,指出了OSPF存在的漏洞。     

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

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

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

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

计算机网络技术的近期发展

目的 论述和分析计算机网络技术的近期发展。方法 通过分析交换技术,路由技术,第３层交换技术,实时信息传输技术和异步传输模式（ＡＴＭ）技术的特点,揭示各项网络技术适用面。结果 指出交换技术解决带宽问题,第３层交换技术解决路由瓶颈问题,ＡＴＭ等技术解雇实时信息传送问题。结论各项网技术都是针对某些实际需要提出的,都有其适用范围,用户选择时要从需求出发才能充分发挥网络的作用。     

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

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

TCP／IP体系结构

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

综合智能网络管理系统模型的设计

在对传统的网络管理系统方案（基于ＳＮＭＰｖ１或ＳＮＭＰｖ２,ＲＭＯＮ网络管理技术）进行分析的基础上,详细说明了传统网络管理系统存在的缺点,提出一种新型实用的综合智能网络管理模型,将传统的基于ＳＮＭＰ,ＲＭＯＮ网络管理技术,基于Ｊａｖａ的网络代理技术和专家系统的基本规则（ＲｕｌｅＢａｓｅｄＲｅａｓｏｎｉｎｇ,ＲＢＲ）或基于事例（ＣａｓｅＢａｓｅｄＲｅａｓｏｎｉｎｇ,ＣＢＲ）技术相结合,对网络系统实施