论文研究 从SysML模型自动推导故障树模型以进行安全性分析
用户评论
推荐下载
-
AUV水下对接安全性分析
AUV水下对接安全性分析,杜晓旭,崔航,随着AUV水下对接技术的不断发展,对于AUV进出对接管的安全性的研究就显得尤为重要,本文主要针对AUV进出管的安全性进行研究。基于第
7 2020-08-06 -
论文研究一个多级安全通道建立协议及安全性分析.pdf
在研究等级化信息系统特点的基础之上,给出了一个等级化网络环境下安全通道建立协议LTEP,该协议通过联合机制确立了不同等级、不同敏感级的信息系统间通信关系,依据虚拟主体转换以及安全标记映射规则,实现了不
8 2020-07-16 -
论文研究结构可靠性的故障树模糊分析法研究.pdf
论文研究-结构可靠性的故障树模糊分析法研究.pdf, 探讨了主观不定性与客观不定性因素对事件的影响,并用模糊数学的理论和方法将两种不定性因素相融合讨论了可靠性理论中的故障树分析,最后给出了一个故障树模
35 2019-10-03 -
论文研究安全性苛求系统中基于贯序测试的软件安全性评价.pdf
安全性苛求系统中基于贯序测试的软件安全性评价,郦萌,,很多安全相关的计算机控制系统或防护设备都是安全性苛求系统。需要有一个量化的安全性特征来反映系统中嵌入软件的安全性品质。软
15 2020-08-29 -
基于扩展SysML活动图的嵌入式系统设计安全性验证方法研究
能源、交通等领域中复杂嵌入式系统设计的安全性分析与验证工作已经成为当前的重要研究热点之一;本文提出一种结合MARTE语义信息的扩展Sys ML活动图模型,用于描述安全关键应用中的嵌入式系统动态行为的设
10 2021-05-10 -
基于PAT的使用控制模型的形式化规约与安全性分析
使用控制模型UCON是高度分布式、网络化的异构开放式计算环境下实现数字资源保护的新型访问控制模型。首先,利用态式时间进程代数 TCSP#建立了每个 UCON 核模型的形式化规约,以及针对一般化UCON
10 2021-04-24 -
安全分析模型HEAVENS
安全分析模型 HEAVENS。 This deliverable (D2 Security models, Release 2, Version 2.0) presents the results a
7 2020-11-26 -
对无线局域网进行故障诊断提高有效性和安全性
随着无线网技术的发展和普遍使用,无线网的使用者会越来越多地报告使用中出现的问题或故障。幸运地是,网管员不用再带很多不同的工具进行故障诊断,集成了有线和无线功能的手持式仪表可以帮助他们快速方便地定位故障
7 2020-08-15 -
论文研究仅就FMP模型进行讨论.pdf
在视景仿真系统中,利用三次样条曲线实现固定路径浏览中速度实时控制。通过Simpson法计算两点之间曲线弧长,二分法迭代得到观察者每一帧时所处的视点和视角。为达到虚拟环境中的实时性要求,提出了保存观察者
9 2020-07-19 -
论文研究Aydos无线认证协议的安全性分析及改进.pdf
Aydos等人提出了一种基于椭圆曲线密码(ECC)机制的无线安全协议,然而从文献[1]及所进行的安全分析看,该算法并不能真正实现交易双方的身份认证,同时还易遭受中间人攻击。提出了一种改进的算法,较好地
40 2019-09-24
暂无评论