检索结果-内蒙古大学图书馆

传统的安全性分析方法,受到分析人员自身技能和经验等因素的影响,容易疏漏系统的失效状态或误判失效的影响。模型检验使用严格的数学方法推理,能够验证产品的规范或设计是否符合要求。将模型检验引入飞机系统安全性分析中,基于模型检验工具NuSMV建立安全分析平台,并以+5V电源监控系统为例,对其安全性进行了分析。

关键词：系统安全性分析模型检验可靠性工程

来源：评论

学校读者我要写书评

暂无评论

eVision2．0 CMS系统安全性分析

引用

黑客防线 2008年第12期 33-34页

作者：泉哥

e-Vision CMS是一款PHP语言编写的Web内容管理系统，以MYSQL作为后台数据库，可运行于Linux与Windows（基于Apache服务器）系统。对于想设计网站，而又没有技术背景的朋友，确实是不错的选择。但功能越强大，出现安全漏洞的可能性就越... 详细信息

e-Vision CMS是一款PHP语言编写的Web内容管理系统，以MYSQL作为后台数据库，可运行于Linux与Windows（基于Apache服务器）系统。对于想设计网站，而又没有技术背景的朋友，确实是不错的选择。但功能越强大，出现安全漏洞的可能性就越大。这套系统最近就爆出了SQL注入、文件上传与phpinfo信息泄漏等多个漏洞。

关键词：脚本 eVision2.0 CMS 系统安全性分析

来源：评论

学校读者我要写书评

暂无评论

DPS6 GOOS6 MOD 400操作系统安全性分析和改进设想

DPS6 GOOS6 MOD 400操作系统安全性分析和改进设想

引用

第二次计算机安全技术交流会

作者：房其敏金茂顺 706所

一九八七年四月十三日一、引言随着计算机技术的应用,计算机社会化的程度正在迅速提高,大量与国计民生、国家安全有关的重要信息迅速地向计算机系统集中,被广泛地用于各个领域。信息是一种宝贵的资源,如何对这种资源加以有效的安全保护... 详细信息

一九八七年四月十三日一、引言随着计算机技术的应用,计算机社会化的程度正在迅速提高,大量与国计民生、国家安全有关的重要信息迅速地向计算机系统集中,被广泛地用于各个领域。信息是一种宝贵的资源,如何对这种资源加以有效的安全保护是当今社会的重要问题,也是计算机的突出问题。

关键词：存取控制表操作系统内存池 DPS6 GOOS6 MOD 400 系统安全性分析 MOD 改进设想

来源：评论

学校读者我要写书评

暂无评论

数字广播电视系统安全性分析

数字广播电视系统安全性分析

引用

2002国际有线电视技术研讨会

作者：戴征宇国家广电总局广播影视信息网络中心

本文按照网络层次概念,结合工程和运维实践,从骨干传输网、卫星覆盖网、用户网这三个网络层面以及骨干网控制、版权控制与内容安全层面分析数字广播电视系统安全性,并初步得出一些结论:骨干网具有较高安全性;用户网数字系统安全性有赖... 详细信息

本文按照网络层次概念,结合工程和运维实践,从骨干传输网、卫星覆盖网、用户网这三个网络层面以及骨干网控制、版权控制与内容安全层面分析数字广播电视系统安全性,并初步得出一些结论:骨干网具有较高安全性;用户网数字系统安全性有赖于基础模拟设施安全性;目前CA系统在有线网上运用存在重大改进的可能和必要;有必要对电缆频谱进行严格规划和监测。

关键词：数字广播电视内容安全网络层次用户网卫星覆盖骨干传输网有线网系统安全性分析

来源：评论

学校读者我要写书评

暂无评论

基于四变量模型的系统安全性建模与分析方法

基于四变量模型的系统安全性建模与分析方法

引用

作者：石娇洁南京航空航天大学

学位级别：硕士

近年来,随着嵌入式系统复杂度迅速增加以及系统软件规模的逐渐增大,确保嵌入式系统及软件的安全可靠性成为安全关键系统工程领域(如核电站、航空航天、交通等)中的一个重要挑战。由此,对系统进行安全性分析及验证在安全关键系统工程领... 详细信息

近年来,随着嵌入式系统复杂度迅速增加以及系统软件规模的逐渐增大,确保嵌入式系统及软件的安全可靠性成为安全关键系统工程领域(如核电站、航空航天、交通等)中的一个重要挑战。由此,对系统进行安全性分析及验证在安全关键系统工程领域中也显得极为重要;与此同时,基于模型的系统安全性分析与验证方法成为嵌入式安全关键系统工程领域中的一个主流方法。在基于模型的系统安全性分析验证的过程中,如何对系统进行有效的需求分析并根据需求结果进行模型设计成为当前对嵌入式安全关键系统进行分析研究的一个重要问题。本文的主要工作是分别在系统需求层面以及设计层面上对基于模型的系统安全性分析进行研究,提出了一种基于四变量模型的系统安全性建模与分析方法,在利用四变量模型对系统进行需求分析的基础上,采用AltaRica建模语言进行模型设计,并对如何从四变量需求模型到AltaRica设计模型进行转换这一问题展开了研究,具体工作如下所示:(1)针对系统需求分析层次以及系统设计层次的安全性建模问题,对四变量模型与AltaRica建模语言进行了分析研究。在系统需求分析层,我们分析了四变量模型中所包含的四类变量以及四类关系的结构,并结合SCR需求分析方法研究了四变量模型方法的形式化语义。在系统设计层,我们对AltaRica建模语言也进行了分析,包括AltaRica基本语法结构、语义特征以及用卫士转换系统定义的形式化语义。(2)针对系统需求与设计模型之间的转换问题,本文研究了四变量模型与AltaRica模型之间的语义映射规则。基于四变量模型与AltaRica模型的形式化语义构建了二者之间的语义映射,包括四类变量与AltaRica中的流变量和状态变量等之间的映射以及四类关系与AltaRica中的断言等结构之间的映射。基于该映射规则,可实现从四变量需求模型到AltaRica设计模型之间的转换。(3)设计了一种从系统需求分析到模型设计的安全性分析验证框架。首先,利用四变量模型从需求层面上对系统进行需求分析。然后,结合四变量模型与AltaRica模型之间的语义映射规则,利用AltaRica建模语言对系统进行模型设计,并基于AltaRica规则构建系统安全性属性,最后对设计出的模型展开安全性分析和验证。(4)给出了基于上述方法的民用飞机中机轮刹车系统的安全性实例分析。包括对其构建四变量模型、基于四变量模型与AltaRica模型间的语义映射规则进行AltaRica模型设计、基于AltaRica模型构建故障树、利用相关工具对系统安全性进行分析并对安全性属性进行验证等。

关键词：嵌入式系统设计系统安全性分析四变量模型 AltaRica SCR方法故障树

来源：评论

学校读者我要写书评

暂无评论

民用飞机飞行非正常操作程序条目建立方法

引用

航空工程进展 2025年第2期16卷 175-180,195页

作者：张丛远杨延延上海飞机客户服务有限公司技术出版物部上海200241 上海飞机客户服务有限公司飞行专业管理办公室上海200241

非正常程序是飞行员处置各类应急情况的重要依据,由于缺少相应的程序条目建立方法,使程序条目易产生冗余或缺漏。将非正常程序分为4类,适航规章类、功能失效类、航线运行因素类和机型特点类,提出对应的程序条目建立方法;运用规章查询、... 详细信息

非正常程序是飞行员处置各类应急情况的重要依据,由于缺少相应的程序条目建立方法,使程序条目易产生冗余或缺漏。将非正常程序分为4类,适航规章类、功能失效类、航线运行因素类和机型特点类,提出对应的程序条目建立方法;运用规章查询、系统安全性分析——“失效模式和影响分析”(FMEA)和“功能危险性分析”(FHA),借鉴相似机型等方法,根据“操作需求”建立非正常操作程序条目,获得更准确的结果,且将设计结果迭代优化CAS信息。应用上述方法开发的某国产民用飞机燃油系统非正常操作程序能够有效建立功能条目,使程序设计结果更符合飞行员的预期。

关键词：系统安全性分析非正常操作程序故障分析飞行程序 FMEA FHA

来源：评论

学校读者我要写书评

暂无评论

飞机整机级系统安全性评估方法探讨

引用

中国安全科学学报 2011年第10期21卷 125-130页

作者：宗蜀宁端木京顺汪建华赵瑞贤空军工程大学工程学院陕西西安710038 北京航空工程技术研究中心飞行事故与失效分析研究室

为提高飞机整机级系统安全性评估效果,在明确整机级系统安全性评估思想的情况下,详细描述了整机级系统安全性分析和整机级系统安全性验证的流程;运用故障树分析法和故障模式与影响分析法研究了能够满足整机级系统安全性要求的评估方法... 详细信息

为提高飞机整机级系统安全性评估效果,在明确整机级系统安全性评估思想的情况下,详细描述了整机级系统安全性分析和整机级系统安全性验证的流程;运用故障树分析法和故障模式与影响分析法研究了能够满足整机级系统安全性要求的评估方法和关键技术。实例表明:整机级严酷等级评估方法能够定性地防止颠覆性的逻辑错误;功能故障树可以对安全性指标进行精确的分配和计算;结合故障树和故障模式与影响分析法而形成的两阶段指标分配法提高了个别安全性指标数值,但仍符合安全性要求。

关键词：系统安全性评估整机级两阶段指标分配法系统安全性分析系统安全性验证

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：