基于信息流的多安全策略操作系统架构研究

针对Linux系统所面临的安全风险,给出了一个基于统一信息流模型的多策略访问控制架构,称为FLOW-GFAC.扩展了现有Linux系统上广泛应用的通用访问控制架构,提出将系统信息流模型整合到新的访问控制架构中来.这样,各种访问控制策略可以被统一视为对系统中信息流的约束集,从而使得在Linux平台下多种访问控制策略的共存成为可能.文中给出了该架构的基本设计方案,并给出了包含BLP,DTE等访问控制模型的多策略管理器的实现方法.

一种新的Chaum—Pedersen型电子钱包

本文设计了一种新的Ｃｈａｕｍ－Ｐｅｄｒｓｅｎ型电子钱包。其特点是：该种钱包所装的电子货币的不可追踪由密友技术来保证，利用防窜扰器件来阻止持卡人的多重花费。

安全子网的认证协议的设计

安全子网是对计算机网络安全的一种合理的解决方法。本文给出了基于安全子网的不同要求下的认证协议的设计，并给出了其安全性分析。在文章的最后，我们给出了实现了的有限域上的椭圆曲线密码体制的零知识证明协议。

安全UNIX操作系统中陷蔽信道分析

本文在分析和研究前人隐蔽信道分析成果的基础上，提出了一种简单，有效的隐蔽信道分析思想和方法。