基于AADL模型的软件安全性评估

<正>AADL建模语言可以支持架构层面的软件安全性分析,引入AADL错误附件,将其进行扩展,构建了基于AADL的安全模型,根据转换规则将安全模型转换为Markov链模型,并对其转换后的Markov链模型进行安全性分析。以飞机机翼系统为应用场景进行实验,通过计算系统的MTBUF(Mean Time Between Unfailures,非安全失效平均间隔时间)和系统失效率,并将结果与经验数据进行对比,实现对软件系统的安全性评估。软件安全性问题在航空、航天、武器装备等各个领域     

软件动态分析与信息系统安全

信息系统的应用越来越广泛,软件被视为信息系统的灵魂,已经在金融、军事、交通、基础设施等领域扮演越来越重要的角色,软件安全性已经成为关系到国民经济平稳发展、社会稳定和国家安全的重要因素。本文分析了国内外软件安全性研究的现状,并对软件安全性分析的主要科学问题和当前我国的重要需求进行了剖析,提出在信息系统安全保障能力建设中,应以加强软件安全性分析能力为导向,以提高软件的安全性分析水平为目标,以软件动态分析为关键技术手段,加强软件安全性分析基础方法研究,加强信息系统安全性分析和保障的专业人才队伍建设,为保障我国信息系统安全和网络空间主权提供技术支撑。     

基于质量属性的系统构架分析与实践

本文概要地介绍了软件构架的有关理论和概念，阐述了软件构架技术的设计思想和过程。探讨了系统开发过程中，如何根据系统的需求和质量属性来构建软件系统。考虑到项目的行业特殊性，利用软件构架理论对电子商务系统进行了分析和论述，从而在实践中论证了软件构架在提高系统的性能、安全性、可扩光性和易用性方面的现实意义。     

数字图书馆系统的安全性策略

针对影响数字图书馆系统安全的因素,对数字图书馆系统应用的安全性提出了一系列策略,以求达到对数字图书馆系统的应用提供更安全的保障。从六个方面对数字图书馆系统提供安全性策略,即网络安全、信息安全、软件安全、管理安全、安全备份、用户个人数据安全。     

影响公路收费管理系统安全性因素分析

公路电脑收费管理系统现阶段普遍运用在各道路收费管理部门,其日常运行、维护过程中显现的系统安全性问题正受到各方面的重视,本文着重从系统的硬件、软件信息两个方面对影响系统可靠性及安全性方面的问题做初步的论述。     

基于组件模型的网上订购系统的研究与开发

软件复用和基于组件的软件开发是软件工程化开发和工业化生产的必然趋势。本文根据IFM软件模型所提供的规范和框架工具,实现了对网上订购系统的开发,增强了网上订购系统的安全性和工作效率。该系统还具有高可靠性、灵活性、易移植性等优点。     

基于POAD的软件安全设计过程

提出了一种基于设计模式理论的软件安全设计方法,该方法使用POAD技术（面向模式的分析与设计）来实现软件的安全设计过程,能在设计阶段保证软件功能上的安全性。通过加入安全设计模式重构系统的整体架构,并通过模式的实例化提升软件设计环节的安全性。     

飞机机载软件符合性方法DO-178B的应用研究

现今机载软件在飞机上得以大量应用,软件的可靠性、安全性日益重要。RTCA DO-178B作为民用飞机机载软件适航符合性方法,已广泛应用于欧美航空领域,但我国航空领域在DO-178B的应用方面仍存在诸多问题。本文针对DO-178B中软件与系统的关系、软件生命周期及软件审查方法进行研究和总结,对我国民用飞机机载软硬件的研制和适航具有重要意义。     

软件可靠性和安全性技术研究

软件可靠性和安全性工程是一种使系统的嵌入式软件能满足软件可靠性和安全性要求的一项技术管理活动,本文详细说明了软件可靠性和安全性工程的基本概念,对可靠性分析、设计、测评和管理等相关的活动和技术,由于可靠性是面向用户的质量特性,该特性决定了其特殊地位,要开发高可靠的软件,必须重视其可靠性,通过某机载软件详细讲解软件可靠性和安全性的应用实践,说明软件可靠性和安全性的重要性。     

如何构建安全的运营商DNS系统

文章从拓扑、系统平台、解析软件、维护手段等方面阐述了如何不断加强域名系统的整体安全性。     

技术科学的学科体系、学术体系与话语体系

1957年,钱学森在《科学通报》发表了《论技术科学》一文,从此奠定了中国技术科学研究的基点。但此后的60余年中,技术科学思想几番浮沉,未能得到稳定的重视和支持。及至2021年,习近平总书记在中国科学院第二十次院士大会、中国工程院第十五次院士大会、中国科协第十次全国代表大会上对技术科学做出了重要论述,技术科学迎来了新的历史机遇期。在习近平总书记重要论述的指导下,文章从学科体系、学术体系和话语体系3个维度对技术科学进行学术化阐释,为我国科技创新事业的发展提供决策参考和知识体系支撑。     

DIALOG检索辅助系统

DIALOG是国内常用的国际联机检索系统，该系统规定了大量的指令和字段限制符与逻辑算符和位置算符配，灵活运用这些运算符可以确保查到非常切题的信息。如何正确使用指令、字段限制符、逻辑算符和位置算符配以及数据库的选择，都是DIALOG检索中必须考虑的同题。为了帮助检索人员快速编写DIALOG检索指令，提高检索效率，作者开发了“DIALOG检索辅助系统”。本文介绍该辅助系统的功能。     

基于System View的通信系统仿真

介绍了美国Elanix公司系统仿真软件System View的主要功能，讨论了System View在通信系统仿真中的应用，最后给出了用System View仿真和分析的具体实例。     

基于Android系统的无线监控系统

把研究的重点放在了无线监控,完成了Android系统下的无线监控系统的设计。Google的Android操作系统被各大手机厂商广泛采用,基于此系统的应用程序在不断丰富,但在无线监控方面还没有相应的开发。     

大连物流的系统动力学分析

引入系统动力学概念,简述对大连物流进行系统动力学分析的必要性,应用系统动力学理论说明物流及相关因素之间的制约关系,并结合大连现状进行系统动力学分析。     

信息系统事前评估指标体系研究

信息系统评价贯穿于信息系统的整个生命周期,对信息系统评价指标体系的研究是该领域的主要内容。结合信息系统生命周期,描述了一个IS评价过程模型,将事前评估进一步分为战略性和战术性两种类型,分别设计了各自的评估指标体系,讨论了战略性事前评估的计算问题。     

浅谈计算机入侵检测系统的建构

随着网络技术日益发展,传统防火墙技术所表现出来的不足引起了人们对入侵检测系统（IDS）技术的研究和开发。文章就入侵检测系统定义、入侵检测系统分类、入侵检测系统功能模块进行初探,并对入侵检测系统面临的问题作了简单的前景预测。     

科技期刊的目标系统、定位系统与支撑系统

在科技期刊出版系统中,目标系统对期刊出版活动具有导向与统摄作用。定位系统既是对期刊内在生命力的结构规范,同时也划定期刊效益的出发点。支撑系统包括的机制与管理、政治气候、信息源支撑、经济支撑、编审支撑、发行支撑、信息反馈等7个子系统,则是科技期刊出版系统运作的结构展开。