通信协议转换器的性质

给定通信协议［Ａ，Ｂ］，［Ｇ，Ｈ］和重要信息映射集合Ｋ，可以构造Ｂ和Ｇ关于Ｋ的对偶积作为这两个协议关于Ｋ的转换器Ｃ．本文讨论这种协议转换模型［Ａ，Ｃ，Ｈ］的死锁和活锁的性质，并给出这种协议转换模型没有死锁和活锁的充要条件．     

通信协议转换器及其构造

通信协议转换器可以看作是两个协议的信息之间的映射．这个映射可以用一个重要信息对偶集合Ｋ来刻划．本文给出相对于Ｋ的协议转换器的形式定义．然后，我们提出用两个有限状态自动机的对偶积来构造协议转换器的方法，并论证了方法的正确性．     

园区网PKI的设计与实现

大多数的安全应用现在都引入公钥密码算法,而公钥密码算法需要公钥基础设施PKI来支持公钥的分发。该文提出一种适合于园区网的单CA多RA加交叉认证的PKI模型的设计及实现。为了研究公钥证书管理流程,引进了证书生命周期,并讨论了园区网公钥管理中的交叉认证和证书撤销列表问题。     

CROMEMCO磁盘操作系统分析报告

一、引言 微型计算机Cromemco系统的磁盘操作系统分两部分:RDOS(Resident DiskOperating System)和CDOS(CromemcoDisk Operating System)。RDOS的功能比较简单,它引导CDOS,另外还提供十几条监控命令即操作命令。CDOS是用户主要使用的系统,它是单任务的操作系统,它的主要功能是进行软盘的文件管理。各种系统软件,用户程序及数据都作为文件由CDOS统一进行管理。用户只要用简单的命令就可以调用。CDOS管理的外设是软磁盘驱动器A,B,C,D,…,还有控制台显示器,打印机,穿孔机,纸带输入机。     

网络安全与代理技术

Ｉｎｔｅｒｎｅｔ的 ＴＣＰ／ＩＰ协议缺乏有效的安全机制,极易受到各种攻击。中心分别基于公钥基础设施 ＰＫＩ（ＰｕｂｌｉｃＫｅｙ Ｉｎｆｒａｓｔｒｕｃｔｕｒｅ）和Ｋｅｒｂｅｒｏｓ协议为园区网环境设计并开发了两个安全系统平台,该文主要描述这两平台的安全代理,文章将说明使用代理机制可以灵活且透明地实现网络应用的安全化。文章最后还讨论了ＷＷＷ的安全方案。