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

不知道文章内容，大概写一下

In this paper, we propose a new approach for describing trusted systems. Different from traditional system protection models, such as the access control matrix model, our model closely resembles Shannon style information flow model. We describe a trusted system as an information processing system. The behaviors of such a system can be precisely described by three attributes: inputs, outputs, and current system security policy. We will demonstrate that with this model, the security policy of a trusted system can be analyzed by tracing the operation sequences of the system.....