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

来源 :华中理工大学学报 | 被引量 : 0次 | 上传用户:longeLRTT
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
提出了一种面向对象安全模型,这个模型是一种信息流模型,其主要元素是对象,对象之间通过一个特殊对象--消息,进行信息交流,基地面和向对象和通信顺序乾程(CSP)的概念,给出了一个说明和证明系统安全性的方法。
其他文献
基于热力学第一及第二定律分析了传热过程的热平衡和熵平衡,导出了传热过程在三种不同给定条件下的Yong损失率方程式。将任一Yong损失率方程视为目标函数就能够导出使Yong损失率为最小情况
对流体绕流带有使分离旋涡驻留且沿流动方向固定的驻涡板的圆柱的流动和换热性能进行了研究。实验在一个小型风洞中进行。在一定的雷诺数范围内通过对加热圆环的局部热平衡求
通过光学和电子微镜观察以及X射线分析,对含氮树脂砂铸钢件气孔形貌特征进行了研究。结果表明,气孔并不完全是圆整的,呈多边形;所有气孔内表面是凹凸不平的;在气孔周围首次观察到了
讨论了当从方目标函数中含有主方未知参数时的诱导策略的灵敏度,提出了不变区间和满足区间的概念,研究了此类不完全信息主从对策的激励相容机制和强激励相容机制,并探讨了多步主
论述了集成化CAPP系统回转类零件信息模型的构造过程,以轴类零件为例详细介绍了信息获取方法和具体结构,最后对回转类零件信息模型的主要特点进行了讨论。
以光的衍射理论为基础,描述了透镜对光波的变换作用,分析了透镜的成像特性,并对结果进行了讨论.结果表明,具有抛物型位相分布的理论透镜能够对点物成点像,而不存在单色像差,其物像关
提出了一种新的调度策略D(0.2,S,d)。其基本思想是根据请求访问磁盘的申请在磁盘瞬时不均匀分布情况下而进行有选择优先服务的策略。核心是增加磁头向磁盘上申请访问密集处移动倾向的一
提出了在仿真计算中判断暂态电压稳定性的原理和方法,同时给出了保持暂态电压稳定的故障极限切除时间的仿真计算方法,对暂态电压失稳的形式进行了分类。
提出了一个自由曲面三轴数控粗加工的方法。其中粗加工毛坯体的几何模型由零件曲面线性过渡构造。具体内容包括:加工层的确定,等参数刀具轨迹生成以及圆柱端铣刀的干涉检测等。
在分析机器人传感器模型结构的基础上,提出了用最小二配置法对传感器的观测参数与描述参数进行估计,从而实现对传感系统信息的融合与在线校正,并通过模拟计算,证明了该算法的有效