一种面向对象系统安全模型
【摘要】:我们提出了一种面向对象安全模型。这一模型是一个信息流模型,其主要元素是对象。对象之间通过一个特殊对象--消息--进行信息交流。基于面向对象和通信顺序进程(CSP)的概念,本文还给出了一个说明和证明系统安全性的方法。
【相似文献】 | ||
|
|||||||||||||||||||||||||||||||||||||||||
|
|
|||||||||||||||||||||
|
|
|||||||||||||||||||||
|
|
|||||||||||||||||||||
|
|
|||||||||||
|
【相似文献】 | ||
|
|||||||||||||||||||||||||||||||||||||||||
|
|
|||||||||||||||||||||
|
|
|||||||||||||||||||||
|
|
|||||||||||||||||||||
|
|
|||||||||||
|