动态系统的一致同余安全

来源 :小型微型计算机系统 | 被引量 : 0次 | 上传用户：suli115296303

【摘要】

：

研究动态系统的安全问题.针对动态系统运行时间配置的可变特性,引入了动态系统的进程代数模型和复杂动态系统概念,定义了动态系统的一致安全性质和一致同余安全性质.基于观察

【作者】

：

周伟尹青郭金庚

【机构】

：

信息工程大学

【出处】

：

小型微型计算机系统

【发表日期】

：

2005年9期

【关键词】

：

动态系统安全一致安全同余安全 dynamic system security uniform security congruent security

【基金项目】

：

国家高技术研究发展计划(863计划)

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

研究动态系统的安全问题.针对动态系统运行时间配置的可变特性,引入了动态系统的进程代数模型和复杂动态系统概念,定义了动态系统的一致安全性质和一致同余安全性质.基于观察同余等价,构造了一类一致同余安全模型.本文证明,动态系统的安全性质是一致安全性质,而对于复杂动态系统,其安全性质是一致同余安全性质.

其他文献

某核电厂经验反馈电子平台的研制与开发

核电厂经验反馈管理的目的是从厂内、厂外事件中吸取经验教训,持续改进电厂管理的各个方面,以提高电厂的安全性和可靠性。某核电厂参考运行核电厂的成熟经验,开发出一套符合

期刊

工程建设阶段经验反馈行动跟踪

煤矿开采条件下地下水资源破坏及其控制的几点思考

煤矿在我国的能源结构中占据了十分重要的地位，作为我国经济快速发展的重要前提之一，煤矿开采带来的巨大经济利益的背后是对环境的破坏．其中对地下水资源的破坏尤为严重，不仅影响

期刊

煤矿开采地下水资源破坏有效策略

腹主动脉瘤腔内隔绝术5例围手术期护理

腹主动脉瘤（abdominal aortic aneurysms,AAA）是一种发生在腹主动脉局限性或弥漫性的病理性扩张膨大,当局部的腹主动脉直径超过3 cm或与邻近腹主动脉管径比较超过其1/3者即为动

期刊

主动脉瘤腔内隔绝术围手术期护理动脉搏动

试论广西构建和谐劳动关系企业的问题和对策

企业人力资本的管理很大程度就是和谐劳动关系企业建设。广西作为后发展地区，各类企业暴露出很多情况和问题。文章分析问题存在的根源和危害，阐述创建和谐劳动关系企业的主要对

期刊

广西和谐劳动关系企业对策

5个楸树无性系抗旱性的综合评价

利用盆栽方法进行干旱胁迫,对于5个楸树无性系的抗旱性进行综合评价。通过测定叶片解剖结构(叶片厚、角质层厚、上表皮、下表皮、栅栏组织、海绵组织及气孔特征)、生理和生物

期刊

楸树无性系盆栽干旱胁迫抗旱性评价

实施动态保护复兴历史街区——关于保护和利用瑞安历史街区的研究

历史街区是城市记忆保持最完整、最原始的地区，她不仅是一个地区或民族悠久历史和灿烂文化的最好见证，也是人们的精神家园。如何处理好城市发展与历史街区保护的关系，成了社会各

期刊

动态保护历史街区

Globus支持下基于网格的开放式决策支持系统设计与实现

网格技术的出现和成熟将给决策支持系统(DSS)带来一场新的变革.提出了一种新型的DSS--基于网格的开放式决策支持系统(GBODSS),它充分地利用了网格技术的优势,将网格技术和DSS

期刊

决策支持系统网格技术互联网决策服务Globus工具decision support systems grid technology internet

基于SCEC的信息特征压缩算法

对交互熵理论进行了研究,提出了对称交互熵的概念,并论证了它是一种距离测度,可以用以度量两个随机变量的差异程度,我们把它作为信息特征压缩的类别可分性判据,称之为对称交

期刊

交互熵SCEC信息特征压缩模式识别SCE SCEC information feature compression pattern recognitio

专利许可搭售行为的反垄断法规制研究

回回产卜爹仇贱回——回日E回。”。回祖一回“。回干肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》砧叫]们羽制作:陈恬’＃陈川个美食 Back to yield

学位

专利许可搭售反垄断法

探索机电一体化的创新及发展方向

机电一体化技术属于一项新型的科学技术,该技术是对计算机技术、电子技术以及机械技术的相互渗透及融合,其将传统机械技术与现代科学技术进行结合,不仅可以促进生产效率的提

期刊

机电一体化技术创新发展方向

动态系统的一致同余安全

与本文相关的学术论文