信息系统安全的设计、实现和维护

来源 :西安交通大学 | 被引量 : 0次 | 上传用户:yoyoliuy
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
信息系统的安全性是信息系统设计和开发中的一个重要组成部分.安全性的缺乏将会给用户造成极大的损失,尤其在大型数据库系统中更是如此.在传统的信息系统设计方法中,都没有考虑到安全性的因素,这使得系统的设计可能不符合安全性需求,并加大了安全管理的复杂性.针对这种状况,该文提出了一种新的信息系统设计方法-SOMT方法.这种方法在传统的OMT设计方法中加入基于角色的安全模型,使设计人员能够从安全性的角度进行系统设计,并已应用于黄河上游水电建设局工程信息管理系统和广东省新会市国税局税务征管系统的设计中,取得了良好的效果.以这些信息系统的开发实践为基础,又开发了一套安全控制机制,支持了设计的可靠实现.最后,为满足系统安全管理和维护的需要,该文提出和讨论了使用Petri网信息流模型对程序进行安全性验证.
其他文献
论文首先分析了目前城市化水平计算和预测中存在的问题,并认为区域城市化过程的产生与发展是与区域的经济发展密切相关的.因此,研究小组应该根据区域经济发展来研究区域城镇
该文主要就多媒体信息的实时获取与同步集成中存在的技术问题作了分析,并在此基础上对这些技术问题给出了解决方法.具体来说,在介绍了DMCS的功能目标、总体结构和协作环境的
该论文将经济学非均衡理论应用于交通规划过程中,提出了非均衡交通规划的思想和方法.在交通规划过程当中,存在两个极为重要的复杂的环节—远景交通需求预测和交通分配,该文的
农田水利基本建设水平的评价,面临的是一个复杂的、受诸多因素制约的系统,涉及经济、技术、社会、环境、生态等各个方面,有众多的有利和不利、定量和定性因素.如何权衡各方面
该论文讨论了非线性控制系统的频域理论,重点研究了非线性控制系统的频域分析方法和稳定性问题.论文包括如下内容:综述了非线性控制理论的发展现状,特别是非线性频域控制理论
该文以东风汽车公司为背景,研究了社会主义市场经济环境下,中国汽车工业企业面临的市场营销决策问题.文中利用市场营销和系统科学理论,对东风公司的市场营销环境进行了深入、
该论文主要研究了项目投资智能决策支持系统的原型,包括:知识库、推理机、知识获取、解释机制、人机界面.该系统采用面向对象的方法来统一地表示知识,将规则、框架、过程等知
该文从定性分析和定量评价相结合的角度出发,以层次分析法、描述法为基础,研究建立了高校人力资源经济竞争模型,该模型摆脱以往局部、狭隘的认识观点,以全局观点、开发观点及
建立大工业过程的数学模型和对其实施稳态优化控制越来越受到人们的重视和关注,国内外许多学者已进行多方面的研究与探索.该文首次提出了利用软测技术(即前向神经元网络(BP)
该文旨在探讨如何使用EDA方法对企业技术进步进行评估与测算,以及使用DEA方法对教育系统的办学效益进行相对有效性评价.