BIOS安全检查系统设计与实现

为了解决计算机BIOS存在的安全隐患问题,文中在研究BIOS技术原理与理论基础之上,对BIOS的安全性进行深入的研究。基于BIOS安全隐患和代码完整性度量的BIOS安全检查模型,通过建立BIOS安全隐患库和BIOS标准代码样本库设计实现BIOS安全检查系统。针对BIOS自身或外界物理木马、病毒攻击情况,采用不同硬件和软件保护措施,最终实现对BIOS进行安全检查。仿真实验结果表明该方法具有一定的理论和应用意义,可以给用户提供实时的安全检测和提供安全补丁模块。

多线程Java程序安全行为模型的静态检查方法

多线程作为支持程序结构化和并行化的重要机制,其应用越来越广泛,多线程应用程序的安全性也成为新的研究热点之一.针对Java多线程程序,文中采用参数化扩展上下文无关文法作为其安全相关行为模型的抽象表示,给出了从多线程Java程序自动生成安全相关行为模型的方法,形式地描述了静态检查该模型是否满足安全策略的实现,并应用到携带模型代码方法的实现框架中.该方法为安全执行非信任多线程Java移动代码提供了有效支持.

模糊综合评判模型在尾矿库安全检查评价中的应用

近年来尾矿库安全检查失效是尾矿库事故频发的原因之一,因此有必要对尾矿库安全检查状况进行评价。通过建立多层次模糊综合评判模型,确定了用于安全检查评价的4个一级指标和12个二级指标,随后,采用层次分析法来确定评价指标的权重,应用加权平均原则进行结果分析。研究表明,这种方法具有很好的系统性和逻辑性,其评价过程有助于尾矿库的分级监督检查管理,达到预防尾矿库事故发生的目的。因此尾矿库安全检查评价工作具有非常重要的现实意义。

船舶安全检查的质量船体系和模型设计

介绍了船舶安全检查的质量船体系和模型设计的基本思路、理论基础、体系结构和实施步骤,旨在建立一套科学系统、双向互动、高效的新型海事监督管理机制。

安全协议分析的界——综合模型检查与Strand Spaces(英文)

Strand Spaces是一种用于分析安全协议的机器证明方法.简要介绍了 Strand Spaces的基本特点,分析了其优劣,提出了构造协议的理想子环的算法,并以此来约束协议入侵者的能力和协议并行运行的次数.将模型检查与 Strand Spaces结合在一起,提出了一种综合分析方法来验证协议的安全特性,该方法可充分发挥模型检查与 Strand Spaces二者的优势.

数据库授权系统中安全检查模型的研究

传统的授权检查,都是通过对用户身份的识别,以确定其访问数据库权限的大小和范围,其目的是防止用户对数据库的非法使用。而本文提出的授权安全检查,则主要是针对那些具有授权特权的高级用户,其目的是防止他们对一般用户的非法授权,即保证授权本身的合法性。

基于云模型的工地安全检查评价体系研究

建筑的安全管理是工程项目管理的重中之重。考虑到安全评价的随机性和模糊性特点,引入云模型构建工地安全检查评价体系。以建筑施工安全检查标准中的各检查项目为评价指标,利用MATLAB软件生成相对应的综合云模型。同时以各检查项目的满分值为权重,以最大隶属度所在的级别确定为安全性等级。通过对福建省某工地的检查评价,验证了该评价体系的合理性。

基于多线程Java程序安全行为模型的静态检查对策探析

本文通过参数化扩展上下文无关文法作为其安全相关行为模型的抽象表示,针对Java多线程序研究,总结出了从多线程Java程序自动生成安全相关行为模型的方法,该方法应用到携带模型代码方法的实现框架中,形象的描述了静态检查该模型是否满足安全策略的实现,同时为安全执行非信任多线程Java移动代码提供了有效支持。本文合理的使用静态分析多线程Java程序的措施,来进行相关安全性的检查,从中来考察出多线程Java程序的相关安全行为。

考虑运行故障的工程安全设施使用检查可用度模型

使用检查是发现工程安全设施系统隐蔽功能故障的有效措施。在考虑检查期间可能发生运行故障的前提下，建立了基于使用检查策略的系统可用度模型。应用该模型对应急柴油发电机的使用检查过程进行可用度分析，确定了其最优检查问隔期和给定可用度条件下的检查间隔期区间；探讨了检查时间和维修时间对可用度的影响。研究表明，该模型对于工程安全设施系统的可用度分析是有效可行的，其结果能够为维修决策提供依据。

民航法定自查人员安全检查能力模型

为探究民航法定自查人员的安全检查能力,提高法定自查人员队伍的能力建设,采用文献查阅、相关规章梳理以及对法定自查人员工作分析等方式,筛选出18个民航法定自查人员安全检查能力指标;通过分析相关数据因子,建立民航法定自查人员安全检查能力模型,该模型包括工作核心能力、业务基础知识、个人品质观念3个一级指标以及18个二级指标;运用结构方程模型(SEM)验证其安全检查能力模型的有效性,并确定各指标对模型的影响程度;采用模糊综合评价法实证分析该模型。结果表明:所构建的模型能够客观准确反映法定自查人员的安全检查能力,与其实际工作绩效相符;经过验证,该模型具备一定的有效性和一致性。

基于模型检查的民用飞机飞控系统安全性评估

在以大型民机为代表的安全关键系统研制中,系统复杂度的提升极大地降低了依赖设计人员经验的传统安全性评估手段的效率与有效性,并带来了反复迭代困难等问题,基于模型的安全性评估方法(MBSA)能够显著降低研制过程的分析复杂度,提高安全性评估的工作效率。民机系统安全性评估指南ARP 4761A中也增加了MBSA相关的安全性评估工作。阐述了利用有限状态机与时态逻辑构建形式化安全性模型,开展安全性评估的基本原理,详细的分析过程及定义安全属性的方法,并以某民用飞机为对象,建立飞控系统副翼控制功能的SMV形式化模型,定义了副翼控制功能的形式化安全性需求,给出了基于形式模型的安全性属性验证评估案例,证明了基于形式化方法的安全性评估在民机系统安全性工作中的可行性。

The MathWorks为安全关键系统提供自动化模型检查支持

近日，The Math Works宣布，其Simulink Verification and Validation软件能够自动评估和验证系统模型与DO-178B和IEC-61508标准及MAAB建模准则的合格性，这些建模准则已被国际航天、汽车和工业设备市场广泛采用。用于这些安全关键标准的最新模型检查功能使Simulink Verification and Validation所提供的现有支持扩展到客户开发的建模准则。

THE MATHWORKS为安全关键系统提供自动化模型检查支持——航天和汽车工程师们现在可以在Simulink内验证与DO-178B、IEC-61508和MAAB建模标准的合格性

The MathWorks于今日宣布，其Simulink Verification and Validation软件能够自动评估和验证系统模型与DO-178B和IEC-61508标准及MAAB建模准则的合格性，这些建模准则已经被国际航天、汽车和工业设备市场广泛采用。用于这些安全关键标准的最新模型检查功能使Simulink Verification and Validation所提供的现有支持扩展到客户开发的建模准则。

BIOS木马机理分析与防护

针对嵌入在计算机底层固件的基本输入输出系统(BIOS)中,木马对计算机系统安全危害巨大、不易删除和不易发现的问题,分析BIOS木马封装结构、植入方法和激活机制,建立BIOS木马特征库和标准BIOS样本库,设计并实现一个BIOS安全检测系统。通过检测系统对计算机BIOS进行安全扫描,能有效防护BIOS木马和未知恶意代码,加强计算机底层固件的安全。

密码协议的一种安全模型(英文)

将密码协议与密码算法视为一个系统,建立了密码协议系统的一种安全模型.基于假设/保证的组合推理技术提出了新的假设/保证推理规则和假设/保证推理算法,证明了该规则的完备性,实现了密码协议系统的模型检查,并重点解决了系统分解问题、假设函数的设定问题、进程+逻辑的系统特性描述问题等难题.以kerberos密码协议系统为例,利用该安全模型和假设/保证推理技术对密码协议系统进行了安全验证.

铁路系统的模型检查和参数分析

研究铁路系统的自动验证技术。建立火车和控制器的混合自动机模型，用时态逻辑ＩＣＴＬ描述铁路系统的性质规范，使用模型检查技术自动验证铁路系统，并且对铁路系统的一些参数进行分析。

面向模型检查的NuSMV统一建模方法

以形式化建模和利用模型检查进行自动化分析验证为核心的基于模型的安全性分析(model based safety analysis,MBSA)技术能够提高工作效率和分析结果的客观性,已在复杂大型装备系统的安全性工作中得到广泛重视与应用。现有的MBSA框架下的建模过程较为复杂,且通常需要模型转换,易造成模型信息的损失,影响安全性分析结果的准确性和全面性。面向模型检查,提出了基于符号语言构建统一系统模型的方法 ,研究了形式化语言元素与系统功能、结构和故障模式之间的分配与映射关系,利用时态逻辑公式规范了系统安全性要求的定义。最后,以飞控系统的前主桨舵机为例进行了案例应用,验证建模方法的有效性和适用性。

双视角X射线液体安全检查中的容器材质识别算法

由于双视角X射线安检设备液体探测模式中对不同材质容器的探测方式的不同,因此被检查容器的材质识别至关重要。正确判断容器材质,将不同材质的容器分配给不同的探测算法是液体探测精度的关键环节。为此,研究了一种基于颜色分量密度模型和容器结构投影几何特征来区分不同材质容器的方法。首先,利用Canny边缘检测方法分割出每个视角中的待检液体区域;然后,利用一种材质拉伸变换处理去掉容器的外包装;进而,根据计算容器外壁邻域的颜色分量和投影几何特征,对容器材质进行分类。试验结果表明,该套方法高效并正确地给出了被测容器的材质,满足了后续液体探测算法的需求。

基于突变理论的建筑工程安全事故过程模型研究

目前施工现场隐患排查主要以安全检查人员依据法律、法规、规范及标准进行排查,缺少能够量化预测安全事故的方法。本文基于突变理论,分析并建立了建筑工程安全事故模型,用实际案例测试其效果,并与安全专家意见相对比。为建筑工程安全管理提供了新的方法和管理手段。

“互联网+公路工程”施工安全管理及检查评价系统研究与应用

本文针对公路工程施工阶段安全管理现状,结合先进的互联网信息系统和安全管理技术发展趋势及公路工程安全管理规程的规定,提出了"互联网+公路工程"施工安全管理及检查评价系统开发的目标。通过可行性分析和需求分析,研究搭建了系统模型,并设计了系统功能模块,最终,利用JAVA Struts技术和SQL Server数据库技术,设计开发了基于B/S模式的安全管理及检查评价系统。通过对隐患的录入、整改、复查和查询的全过程管理,使公路工程施工阶段存在的安全隐患能被及时、有效的反应,并被迅速处理,在一定程度上避免了重大安全事故的发生,具有较好的经济与社会效益。公路工程施工安全是世界各国一个普遍重视而又严重的社会问题,同时也是一个复杂的社会和技术问题。