摘要：分布式操作系统形式化系统模型ＤＯＳＦＳ主要由文法ＤＯＳＦＳＧ和语义ＤＯＳＦＳＳ两部分组成。其中文法部分采用了上下文无关文法，语义部分则是一个带操作集的语义系统。ＤＯＳＦＳ按照抽象、描述、细化三个过程自动模拟生成分布式操作系统。本文主要介绍了文法ＤＯＳＦＳＧ的定义、性质，语义系统ＤＯＳＦＳＳ的设计思想、相关的数据结构、操作及其定义等。

摘要：提出了一个用户隐私保护的安全协议.该协议由服务发现者对用户进行认证和盲签名,随后用户以匿名的方式访问服务提供者提供的资源.根据匿名与不可关联性具有紧密的关系,设计了普适计算的匿名攻击模型,通过匿名攻击模型分析可以看出:隐私保护安全协议不仅允许服务提供者对用户的认证,同时也可以保护用户隐私,并且能够防止重放攻击以及设备间的恶意串通.

摘要：本文详细地描述了计算机病毒判定专家系统的原理与具体设计方法,一定程度上解决了流行病毒的判定问题。该系统主要利用专家们研究计算机病毒所得的知识和经验构造而成的规则库以及已知病毒的档案库,运用正向不精确的推理机制,来鉴别某一程序是否染毒。该系统不仅克服了传统的检测技术误检测率高的缺点,而且适合于鉴别病毒变种,对判定将来出现的病毒也有一定作用。

摘要：本文介绍了面向对象地理信息系统Ｓａｍ中用于数据输入、空间数据显示输出的子系统ＳａｍＥｄｉｔ和ＳａｍＶｉｅｗ。

摘要：本文给出一种适用于SIMD并行算法的共享存储器设计方案,它允许多个处理机按相应的同步并行算法并行无存取冲突地存取各自的数据,以满足算法执行的需要,该方案包含两部分,即数据在共享存储器内的存放方法和互联网络的结构及其功能,文章最后说明了该方案的若干性能、实现方法和优点。

摘要：近年来，网络技术发展迅速，网络之间互连的要求也越来越多，网络路由成为影响网络总体性能的一个重要因素。本文简单介绍了网络路由器的优缺点和发展前景，着重介绍了网络路由发展方向，并将其分为三个主要类型，即分层路由、动态路由、和综合网络上的健壮路由，并提出了一个健壮性网络的设计模型。

摘要：本文讨论MDS/DOS中通信机制的设计思想与实现方法,内容包括通信系统模型、通信协议、信箱通信方式、消息缓冲栈通信方式、报文分组以及报文的发送与接收等。

摘要：本文介绍了多层分布并行处理系统ＷＵＤＰ９１的硬件系统的组成及功能，详细说明了ＷＵＤＰ９１第两级动态拓扑分布并行处理环境ＤＴＰＤ的实现方法。

摘要：作为一种完全映射,正形置换是对称密码体制中一类重要的基础置换.正形置换已经被证明拥有完全平衡性.自1995年以来,国内外学者对于正形置换的研究主要集中在构造与计数方面,但是对于正形置换的密码学性质,比如差分均匀度和非线性度等则相对关注得较少,而具有良好密码学性质的正形置换可以直接用来设计对称密码算法中的密码学部件.修正了一个关于复合函数密码学性质的结论中关于非线性度所存在的问题;接着分析了一般BDLL正形置换发生器的抗差分分析和抗线性分析的密码学性质;然后基于复合函数提出了一种改进的正形置换发生器,并结合修正后的复合函数结论证明了该正形置换发生器相比于一般BDLL正形置换发生器,能够生成数量更多、拥有更高非线性度和代数次数的非线性正形置换.

摘要：本文简要介绍了多层分布并行操作系统ＷＵＤＰ９１－ＯＳ的特征及实现方法，着重描述ＷＵＤＰ９１－ＯＳ的进程管理与调度策略、存储管理策略、动态重构策略及进程之间的通讯机制。