主题：开个帖作为学术翻译问题请教专帖 -- 冰与火

全文也可以，不过要等两周左右，等我改好了才成。

先给个两周前写的中文版的摘要吧。英文版还增加了一个实例，是一个基于这一套理论的同时遵循BLP和Biba原则，又在不同级别间存在信息交换通道的动态标识强制访控模型。

下面是摘要

可信系统是行为可预测的信息系统，系统行为的可预测性对系统内部的信息流动起到了限制作用，访问控制矩阵等传统的安全分析方法则不能体现这种作用。本文对可信系统提出了三条假设。由这三条假设，可信系统可以看作从输入端口接收信息，从输出端口输出信息的一个行为确定的信息处理工具。系统的安全问题也则是系统输入端口和输出端口之间信息流状况问题。从这一思路出发，本文基于随机向量函数的存在性提出了系统中信息流和安全属性的形式化表达方法，并基于这一形式化方法对可信系统中信息、操作、信息流及信息安全属性给出了形式化定义，在这一基础上，定义了系统的安全策略、隐通道、正常通信信道、信息清除操作等概念，并给出了与系统信息流和信息安全属性相关的两条定理。