一种面向对象系统安全模型

摘要

提出了一种面向对象安全模型，这个模型是一种信息流模型，其主要元素是对象，对象之间通过一个特殊对象－－消息，进行信息交流，基地面和向对象和通信顺序乾程（ＣＳＰ）的概念，给出了一个说明和证明系统安全性的方法。