软件安全性相关论文
RTCA DO-178C作为民用飞机机载软件适航符合性方法，提出了一套以过程控制来满足软件安全性要求的方法，但在软件研制过程中却未提及任......
随着信息技术的不断发展,软件数量及种类不断增长.软件安全性成为用户应用软件、验收软件及申报软件产品的一项重要内容.如何对软......
随着软件系统复杂度的不断增长,特别是软件在航天等尖端领域的应用,使得软件的安全性保障成为迫切需要解决的问题.传统的软件工程......
软件可靠性和软件安全性是软件系统的重要质量指标,也是人们在软件的开发中努力追求的目标.如何进行软件可靠性的测试,特别是如何......
本文应用模型检验方法对软件进行验证要解决软件的无穷状态空间问题，提出的谓词抽象方法将软件无穷的状态空间抽象为基于一组谓词表......
针对安全关键软件提出了一种基于安全性要求的软件安全性测试需求获取方法,包括安全性需求的分类、安全性测试需求的分解和采集,目......
软件安全性是适航性要求中的重要环节,而软件安全性需求的获取是保障软件安全性工作开展的基础。基于模式对软件安全性需求进行有......
软件安全性分析是保证型号系统安全性的重要手段。本文简述了软件安全性分析的目的、特点和分析程序,并以载人运载火箭故障检测处......
本文介绍的是新一代DG型分布式大坝安全监测自动化系统中的专用数据采集软件,其主要用于控制数据采集网络对所有接入系统的各类监......
目前网络技术的发展使得以Web2.0为核心的应用越来越广泛,B/S架构软件的安全缺陷和漏洞不断增多,B/S架构的特殊性使得对B/S架......
"故障树"是用以表明产品中某些组成部分的故障模式或外界事件或它们的组合将导致产品发生给定的故障模式的逻辑图.该文介绍使用故......
随着计算机和互联网的普及,对软件的安全性和可靠性要求越来越高。安全软件工程通过在软件开发生命周期的各个阶段增加一系列的针......
软件安全事件的频繁发生引起人们极大关注，对软件的安全性进行准确客观地分析与评估，是软件安全保障的前提和必要条件，本文正是基于此......
随着对网络安全要求的不断提高,软件的安全性成为了人们关注的焦点,如何在开发过程中即关注安全问题,开发出安全的软件已成为软件......
随着计算机硬件平台运算能力的不断提升，计算机软件的规模及复杂度日益增长，同时软件安全性问题也日益突出。如何解决软件安全性，已然......
随着软件在安全性关键系统中的应用规模越来越大、承担的安全性关键指挥控制功能越来越多,安全性关键的软件密集型系统(SCSIS)已初......
随着计算机系统和计算机软件发展的日新月异，计算机软件已经应用到很多安全关键系统中。一旦这些系统失效将会导致生命财产的重大损......
中国现场统计研究会将于2011年6月12～16日在贵州省贵阳市召开“第九届国际可靠性、维修性、安全性会议”。征文内容：可靠性、安全性......
计算机系统的安全问题目前日益引起人们的关注。本文以软件生存周期为线索,论述了计算机软件的安全性问题,就如何从行政法律、组织......
除非各电子商务公司能够意识到并下大力气与电子欺骗作斗争,否则在线交易很可能会遭到无法补救的破坏。真是难以置信。根据一家名......
本文介绍了虚拟仪器技术在引信软件安全性测试系统中的应用。针对引信软件安全性测试的特点,采用PCI-6040E数据采集卡和虚拟仪器开......
信息化是当今社会发展的趋势，开发和利用信息技术和网络管理手段，实现信息管理网络化，已经成为我国努力倡导发展的重点。作为国民经济......
·土木工程·方钢管混凝土柱与钢梁连接的设计方法吕西林 ,李学平 ,余 勇 1(1)…………………………………………………………卸......
吴芳美 ,女 ,1 93 8年生 ,辽宁人。 1 96 2年毕业于北京铁道学院 (现北方交通大学 )。1 983— 1 985年赴法国国家应用科学学院 (ＩＮＳＡ)......
现在有越来越多人去申请使用 ＡＤＳＬ或Ｃａｂｌｅ Ｍｏ－ ｄｅｍ之类的宽频网络，来享受高速的网络连线速度，但是同时要付出比较高的费用，不过等到慢慢的普及以后，连......
提高软件安全性,减少软件的安全缺陷和漏洞,最根本的途径是要在软件生产和运维的各个环节,引入安全的开发方法。本文介绍了一......
软件安全性分析是保证软件质量的有效方法之一。本文主要对需求、设计和代码3个层次软件安全性分析的分析项目、分析内容、分析目......
介绍了软件安全性的概念和可能导致软件安全性问题的原因,阐述了软件安全性需求分析的目的、对象与特点,总结了软件安全性需求分析......
在对软件安全性测试技术研究紧迫性介绍的基础上,分析了现有软件安全性测试技术中存在的三个亟待解决的实际问题,分别涉及到现行测......
说道国内的即时通信软件.QQ当之无愧坐的是头把交椅,所以针对QQ账号窃取的木马也是非常的多.后来随着QQ对自身软件安全性的加强,一......
本文针对安全性关键软件的特点，提出了一种在全面测试的基础上、基于软件安全性分析的软件可靠性测试与评估方法.全文分三个部分:第......
针对引信软件设计和应用过程中存在的问题,指出了开展引信软件安全性研究的重要性.通过与引信硬件进行比较,讨论了引信软件故障树......
本文首先给出了软件安全性的概念和意义,然后介绍了几个重要的软件安全性相关标准.最后分析了标准发展中的趋势和对我国软件安全性......
对既有硬设备,通过控制软件的安全性设计,能提高系统的可靠性。本文提出化工生产过程计算机控制系统软件的安全性设计问题、设计准......
现在针对短波通信控制开发的软件很多,但大多数控制软件安全性、可靠性和运行速度达不到系统要求。本文探讨了如何利用嵌入式实时......
针对现有方法难以对含多个子系统的并发武器装备软件进行安全性分析的难题,提出了基于多维的时间Petri网软件安全性建模分析方法(k......
受美国政府削减财政费用的影响，1995年美国矿业局已被重组到能源部之下。在机构重组之前，采矿健康与安全的研究在矿业局所属的匹兹堡......
随着手机银行用户飞速增长，移动互联网的支付安全问题日益突出。欺诈分子通过病毒、钓鱼网站和木马远程控制等方式窃取客户银行卡信......
随着数字化技术全面应用于核电厂仪控系统中，与过去的模拟技术相比，其控制更集中，信息处理更复杂，信息关联性更强。但是庞大且集中......
从上个世纪80年代以来，随着软件开发和软件工程的不断发展，越来越复杂的软件被引用到越来越多的领域。这使人们不得不开始考虑这些不......
