论文部分内容阅读
软件安全性是保障系统安全性的重要条件。该文首先介绍了软件安全性的主要内容,描述了几种常用的软件安全性分析技术,针对航空系统软件所存在的问题,从系统设计到软件编码直至软件测试阶段,对机载软件的安全性分析过程进行了详细描述,最后,文中总结并展望了软件安全性分析的发展方向。
航空系统中的软件安全性研究
【摘 要】
：
软件安全性是保障系统安全性的重要条件。该文首先介绍了软件安全性的主要内容,描述了几种常用的软件安全性分析技术,针对航空系统软件所存在的问题,从系统设计到软件编码直
【机 构】
：
中航工业西安航空计算技术研究所,陕西千山电子有限责任公司
【出 处】
：
电脑知识与技术
【发表日期】
：
2015年4X期
其他文献
摘要：随着计算机、多媒体、网络技术的发展，信息技术在医院病案管理中得到越来越深入而广泛的应用。进入二十世纪九十年代以来，医院信息系统从最初的DOS单机版、NOVELL网网络版、逐步发展到WINDOWS网络版，病案从最初的纸质卡片检索管理、过渡到数据库检索、再到WORD版的电子病案、直至现在具备专用编辑器的多媒体电子病案、将来还会发展到具有第三方认证的电子病案。但是广义的医院信息系统（Hospita
素质教育要求我们:全面贯彻党和国家的教育方针,坚持社会主义办学方向,使中小学生在思想品德、文化、科学、身体、心理、审美、塑美、劳动技能、社会交往素质等方面均得到全
在分析山东高校科技创新的基础优势、存在的问题和制约因素的基础上，提出了促进山东高校科技创新持续发展的对策建议，即实施人才强校、科教互动、制度创新三大战略。
随着2000年的临近,在全世界迎接新世纪的期盼中也伴随着忧虑,那就是计算机系统的“两千年问题”(简称Y2K).什么是“两千年问题”呢?在计算机系统中,日期是非常重要的数据信息
建所三十年来，在全体员工的共同努力下，上海市科学学研究所创造了不凡的科研成就，收获了累累的学术硕果。三十年来，该所共计完成纵向和横向软科学重点课题200佘项，其中获得国家级
房地产业,是为人类的社会生产活动提供入住空间或特制载体的行业.实行改革开放政策以来,我国的房地产业和房地产市场伴随着整个国民经济的发展而得到了长足的发展,尤其是1993
英语辞格metaphor在国内出版的辞典和一些讲修辞的书籍中,几乎无一例外地译成“隐(暗)喻”.例如,《新英汉词典》译为“隐喻”;《远东英汉大词典》译为“隐喻,暗譬”;《英华大
武汉城市圈产业集群目前存在着诸多问题，通过实施产业集群治理，进行合理产业空间布局，建立核心和支柱产业等途径，可以促进产业集群的合理演进，以推动“两型社会”建设战略目标的实