论文部分内容阅读
作者提出了一种面向对象安全模型。这一模型是一个信息流模型，其主要元素是对象。对象之间通过一个特殊对象－－消息－－进行信息交流。基于面向对象和通信顺序进程（ＣＳＰ）〔２〕的概念，该文还给出了一个说明和证明系统安全性的方法
一种面向对象系统安全模型
【摘 要】
：
作者提出了一种面向对象安全模型。这一模型是一个信息流模型，其主要元素是对象。对象之间通过一个特殊对象－－消息－－进行信息交流。基于面向对象和通信顺序进程（ＣＳＰ）〔２〕的概念，该文还给
【机 构】
：
华中理工大学
【出 处】
：
第九次全国计算机安全学术交流会
【发表日期】
：
1994年期
其他文献
该文针对信息系统雷电防护领域中的一些用“路”的方法不能准确解决的问题，引用导行电磁波理论，分析了雷电波在导线中的传播特性及在各保护器之间、保护器与被保护设备之间的折
富兰克林防雷思维有局限性，不能适应信息时代防雷的需求，中国对它已有不少突破，其中最有实际应用价值的是电感型限流接闪体，大大削弱了富氏避雷针的二次雷击灾祸，对信息系统防雷很
该文简要叙述了信息系统开发的现状及其发展，讨论了基于客户/服务器体系结构的信息系统生成所涉及的有关问题，提出了针对“问题领域”的开发平台结构框架，并以软件重用技术和生
将信息系统开发方法（ＩＳＤＡ）划分为五大类：生命周期法（ＬＣＡ）、结构化方法（ＳＡ）、原型法（ＰＡ）、面向对象方法（ＯＯＡ）与软系统方法（ＳＳＭ）。在探析ＩＳＤＡ含义的基础上，文章对上述五类ＩＳＤＡ进行了比较分析，并深入研究了ＩＳＤＡ在中国的研究与