基于STRIDE威胁模型的安全级DCS信息安全风险评估

随着计算机技术在核电厂安全级数字化系统(DCS)的发展与应用,信息安全威胁和信息安全事件也日益增多,提前发现系统的潜在风险,采取针对性措施显得至关重要.STRIDE威胁模型是一种风险分析和评估工具,其风险分析和评估几乎可以涵盖所有的安全问题.根据STRIDE威胁模型对安全级DCS开展风险评估,可对其资产进行识别并建立架构;按照安全级DCS组件的接口和应用过程将系统分解,对每个组件进行威胁识别并分类,根据安全级DCS的特点提出风险评估计算公式以量化各种风险;同时,针对识别的6类威胁提出相应的风险消除或减轻方法,为风险处理的优先级和处理措施提供依据.

基于STRIDE和民航威胁知识库的软件威胁建模

为提高民航旅客服务系统的安全性,在软件安全开发生命周期(SDL)中进行威胁建模,建立并丰富适用于民航业务系统的威胁知识库,同时针对各类威胁提出有效措施,建立一种基于STRIDE模型和民航威胁知识库的新型威胁模型。该威胁建模方法对识别系统建设过程中所面临的安全风险具有重要意义,不仅适用于已建系统,也适用于新系统设计开发阶段的风险分析,解决了安全人员不了解业务、开发人员不了解安全的矛盾,可有效降低威胁分析门槛,降低软件安全风险和开发运维成本。

基于STRIDE威胁模型的潜在威胁分析及对策探究——以网站群管理平台为例

为解决系统潜在的风险和漏洞,提出了一种基于STRIDE威胁模型建立的安全威胁模型对网站群管理平台面临的威胁进行分析的方法。运用此威胁模型对网站群管理平台的数据流进行威胁分析,同时有针对性地提出各种类型威胁的解决方法,该威胁分析方法不但可以用于现有各种系统,也可以用于新系统开发阶段。

基于STRIDE工业控制系统威胁建模的自动化通信健壮性测试设计

随着信息化和工业化的深度融合,IT技术引入到传统工业控制系统(ICS)当中,在为工业控制系统提供工业生产管理便利的同时也引入了网络威胁的安全风险。开展工业控制系统威胁建模分析并针对性的开展系统健壮性测试是实现工业控制系统信息安全的重要措施之一。本文基于微软发布的STRIDE威胁建模分析方法进行威胁分析,并设计自动化通信健壮性测试平台开展网络通信健壮性测试。为各类工业控制系统的威胁建模分析,以及系统通信健壮性测试策略提供思路。

基于改进Transformer的三维人体姿态估计

本文设计一种用于三维(3D)人体姿态(pose)估计的改进Transformer的多级特征编码网络。采用空间池化(pooling)算子结构来替换注意力(Attention)模块,缩减了模型参数量和运行复杂度,串联该结构得到初始特征表示,然后使用交叉注意力(CA)机制进行特征信息交互学习,并应用跨步卷积降低时间维度并合并相近的Pose到Pose序列的单个表示。在Human3.6M数据集上进行验证实验。结果表明:该方法针对3D人体Pose估计,混合使用Pooling结构和Attention机制能达到有效的估计效果,与原始Transformer的方法进行对比,模型参数量降低了30%,位置精度提升了8.6%。

He-Ne激光作用油松种子生物效应的物理模型及其意义

He- Ne激光辐照油松种子可产生有益的生物效应。研究从植物细胞双分子层膜理论出发 ,建立相应的物理模型 ,讨论了激光辐照引起生物细胞膜跨膜电势的变化及其产生生物效应的机理。跨膜电势的变化引起膜两侧离子浓度差发生变化 ,有利于提高细胞膜的渗透性 。

西部经济跨越式发展的模式选择——生态学的视角

西部经济发展对于协调区域经济,挖掘西部潜力,加快经济发展具有十分重要的意义。但是面对世界经济的"绿化"与"软化"趋势、中国加入WTO的世界范围内竞争等四大背景,必须立足于生态学视野,实现以生态经济为支柱、以知识经济为核心、以制度创新为突破口、以观念转变为动力,即要有创新意识,竞争意识和合作意识,探索形成西部经济发展的新模式。

世界男子400米栏比赛节奏的模式研究

运用SPSS软件对悉尼奥运会男子 4 0 0米栏前 8名运动员预赛、半决赛、决赛三个赛次的分段用时进行相关分析和回归建模 ;同时 ,对其栏间步节奏及过第 5栏、第 8栏的名次与最终名次进行相关分析。结果表明 :预赛、半决赛第 1、2段落的分段成绩与赛次成绩呈负相关 ,其余各段落除半决赛中第 5段成绩外 ,均与各赛次成绩呈显著正相关 ;各赛次过第 8栏时的名次与最终名次呈显著相关性 ;根据各赛次体力分配 ,各栏间步数随赛次的延伸有减少的趋势。最终建立的预测模型经方差检验效果高度显著。

基于SVM的步态信号模式分类研究

为了有效识别健康人和帕金森患者的步态信号,从步态压力信号入手,提出了一种有效提取特征参数的方法。建立了具有自动识别步态压力特征的SVM模型,设计出了支持向量机(SVM)的分类器。实验结果表明,该算法的识别率达到了90%以上,对帕金森患者的发现和诊断等具有一定的意义。

一种具有爬坡越障能力的移动机器人

针对目前移动机器人爬坡﹑越障能力不强的问题,设计了一种新型的移动机器人。该机器人采用轮腿式的移动结构,兼顾了腿式移动机器人和轮式移动机器人的优点。位于机器人两侧的机械腿,承担主要的行走功能,通过机械腿的旋转与伸缩,可以增加机器人跨越障碍的能力;机器人的前后端增加了辅助机械腿,在机器人爬坡的时候,后机械腿可以主动为机器人提供推力,增大了机器人的爬坡能力。通过机械腿之间的协调运动,机器人可以跨越深沟路段。针对各种路况对移动机器人进行了运动规划,并建立了机器人爬坡时的动力学模型。

基于P2PSIP的移动实时流媒体系统的安全架构

在分析移动实时流媒体应用对P2P环境提出的安全性方面挑战的基础上,提出了基于P2PSIP的移动实时流媒体系统MPSLSS的安全架构。针对MPSLSS系统的可管控性设计了一种分层混合式P2P网络架构,并采用STRIDE模型举例分析了MPSLSS系统面临的安全威胁,在此基础上提出了一种适用于移动实时流媒体应用的系统安全架构,并对其进行了分析。

“入世”挑战与江西高等教育跨越式发展

江西高等教育作为在全国和世界上处于中下游和落后地位的地方高等教育系统,受到"入世"的影响和冲击更甚,因而,研究"入世"对江西高等教育的深刻影响,探讨江西高等教育对"入世"的应对策略和发展战略显得尤为必要和紧迫。江西高等教育应抓住"入世"的历史契机,扬长避短,实现跨越式发展,赶超全国乃至世界高等教育先进水平。

调度主站AGC中水电机组振动区的动态建模与跨越方法

针对区域电网自动发电控制(AGC)软件中水电机组振动区建模方式不清晰,无法满足实际振动区跨越需求的问题,提出一种全厂控制方式下基于遥测信息的调度主站端动态振动区建模方法。基于该动态振动区模型,进一步探讨了调度主站AGC系统中水电机组振动区的躲避和跨越方法。针对不同的基点功率控制模式,论述了机组出力波动进入振动区后拉回及主动跨越振动区的控制逻辑,在保证水电机组安全性的前提下,充分利用水电机组的调节优势,实现水电机组调节范围内的连续调节。实际系统的运行效果表明,该方法有效改善了水电机组自动控制的安全性能,显著提升了AGC的区域调节效果。

一种面向云计算环境下虚拟机的威胁建模方法

针对云计算环境中虚拟机平台存在的弱点和漏洞,分析研究了虚拟机可能面临的威胁和攻击,基于STRIDE建模技术构建了云计算环境下虚拟机平台的安全威胁模型。并对威胁发生的可能性和严重程度进行量化,从而进一步评估整个云计算系统面临的安全威胁。

对实现全省电大现代远程开放教育跨越式发展的思考

教育部对我省电大“人才培养模式改革和开放教育试点”项目中期评估在即。我们应以评估为契机 ,以解放思想为先导 ,以教学模式改革为核心 ,确保全省电大试点工作全面达标 ,做到“以评促改 ,以评促建 ,以评促上”。

基于Microsoft威胁建模工具的医疗健康场景下医疗器械网络安全问题分析方法

目的 模拟构建医疗健康场景,针对医疗器械设备及整个场景存在的威胁制定检测方法和评分标准,为医疗健康场景下医疗器械网络安全问题提供解决思路。方法 根据医疗健康场景的特殊性,对模拟的医疗健康场景进行分析并构建出数据流图,运用Microsoft威胁建模工具根据STRIDE模型生成漏洞列表,对其中的漏洞和风险进行分析,制定针对医疗器械场景特殊性的评分标准和渗透测试方法,提出解决办法并进行风险降级。结果 根据场景的数据流图生成漏洞列表,共66个威胁,包含15个S(假冒)、3个T(篡改)、10个R(否认)、4个I(信息泄露)、14个D(拒绝服务)和20个E(权限提升)。对以上威胁进行分类并分析原因,提出解决办法缓解威胁并进行风险降级。结论 通过Microsoft威胁建模工具对医疗健康场景下医疗器械网络安全进行分析,可以科学有效地分析出场景下可能遇到的网络安全问题,在一定程度上避免或预防由网络安全问题带来的后果及影响。

基于攻击树的LoRaWAN安全威胁建模

针对目前LoRaWAN的安全性能研究没有全面、系统的研究模型这一问题,提出一种基于攻击树的LoRaWAN安全威胁研究方法。根据信息安全威胁研究方法和物联网安全性特点,针对LoRaWAN系统进行威胁建模,然后根据概率风险评估方法对攻击序列进行风险值量化,结合攻击目标实现后的影响,即可得到最终风险值。该方法基于成熟的信息系统安全威胁分析框架,使得分析工作更加系统全面,同时树型结构的优势使得攻击方法的分类更具层次性,易于从深度、广度扩展研究成果,便于后续研究工作的跟进。量化风险系数为LoRaWAN协议的改进和信息系统的安全建设提供了有力参考。

100米短跑奥运冠军步幅的数学建模分析及启示

步幅和步频是决定短跑速度的重要因素,是衡量优秀运动员短跑技术是否合理的重要指标,二者相辅相成又互相制约。世界优秀短跑运动员之所以取得优异成绩与他们具有合理的步幅、步频组合有着密切的关系。通过对近30年100m短跑奥运会冠军的步幅和步频做一些数学建模分析并与我国优秀短跑运动员的成绩进行比较分析,从而为我国短跑运动员制定科学训练计划提供理论基础。

基于运动姿态识别的行人惯性导航算法

针对室内定位惯性导航算法存在累积误差的问题,提出了一种基于运动姿态识别的行人惯性导航算法。在捷联惯性导航算法的基础上,引入了行人脚部姿态识别方法,将行人的位移以单步长为单位进行惯性导航解算。使用姿态识别与零速修正相结合确定每一步的静止时刻,改进步数检测结果,并对行人静止时刻的速度和位置信息进行校正,以降低累积误差;统计前期误差较小的行人惯性导航数据,并建立步频—步长模型,根据行人实时的步频和方向变化对当前步长进行校准,在行人以惯常运动姿态或运动姿态变化时分别采取对应的步长估计算法,以保证导航算法的准确性。实验结果表明:与传统捷联惯性导航算法相比,提出的算法提高了长距离导航的精度。

AHP法短跑数学模型分析

利用数学模型中的AHP法分析了100m短跑中反应时间、加速度、步频、步长各因素对短跑成绩的影响权重,从而将以往的定性分析转化为定量分析。同时用近30年多届男、女100m短跑奥运冠军的比赛成绩数据对得到的数学模型加以验证,结果得到很好的契合。从而帮助教练员和运动员根据奥运冠军的短跑模式,结合自身的特点合理协调步长和步频的关系,以取得更优异的成绩。