-
Patent Agency Ranking
公开(公告)号：CN114095206B
公开(公告)日：2024-07-05
申请号：CN202111242873.X
申请日：2021-10-25
Applicant: 南京林业大学
Abstract: 本发明公开了一种基于AADL的攻击防御树的自动生成方法，所述方法包括：采用AADL模型对信息物理融合系统进行建模；确定信息物理融合系统的各部件的漏洞，追踪并确定攻击路径；根据攻击路径选定系统最终的攻击目标；将AADL模型和攻击目标作为输入，通过模板库得到攻击防御树；对攻击防御树进行计算，得到最小的防御措施，并结合贝叶斯网络和CVSS分数值，对攻击概率值及防御代价进行量化评估，计算系统的风险值。解决了复杂系统难建模、系统中风险漏洞难确定、难追踪和难解决的问题，包括网络攻击对物理系统和信息系统的影响。
-
公开(公告)号：CN114257394A
公开(公告)日：2022-03-29
申请号：CN202111242865.5
申请日：2021-10-25
Applicant: 南京林业大学
Abstract: 本发明实施例公开了一种基于模型检测的攻击图生成方法，采用SysML对信息物理融合系统进行建模，然后通过映射规则将SysML模型转换为Lustre模型，以Lustre模型和CTL建模的系统安全属性作为输入，通过模型检测得到所有的反例路径，采用深度优先算法生成攻击图并可视化展示。本发明能够推导出完整的攻击路径并确定最终的攻击威胁，并且支持图形化分析处理，便于使用。
-
公开(公告)号：CN114095206A
公开(公告)日：2022-02-25
申请号：CN202111242873.X
申请日：2021-10-25
Applicant: 南京林业大学
Abstract: 本发明公开了一种基于AADL的攻击防御树的自动生成方法，所述方法包括：采用AADL模型对信息物理融合系统进行建模；确定信息物理融合系统的各部件的漏洞，追踪并确定攻击路径；根据攻击路径选定系统最终的攻击目标；将AADL模型和攻击目标作为输入，通过模板库得到攻击防御树；对攻击防御树进行计算，得到最小的防御措施，并结合贝叶斯网络和CVSS分数值，对攻击概率值及防御代价进行量化评估，计算系统的风险值。解决了复杂系统难建模、系统中风险漏洞难确定、难追踪和难解决的问题，包括网络攻击对物理系统和信息系统的影响。
-
公开(公告)号：CN213634755U
公开(公告)日：2021-07-06
申请号：CN202022982234.4
申请日：2020-12-14
Applicant: 南京林业大学
Abstract: 本实用新型公开了一种信息安全监控设备，涉及监控设备技术领域，本实用新型包括承载装置、散热装置、监控装置、报警装置以及除湿装置，承载装置包括箱体、密封门以及输入块，箱体为中空箱状结构，密封门一表面与箱体一表面连接，输入块一表面与密封门一侧表面连接。本实用新型为一种信息安全监控设备通过散热装置为设备增加了散热能力，在存储一些需要散热的设备时可以有效地提升存放质量，通过监控装置可以为设备提供监控能力，增强了设备的安全性，通过报警装置在断电以及外壳被强行破开时可以启动报警喇叭，增强了防盗能力，信息更加安全，通过除湿装置可以控制设备内的湿度，对于长时间保存与提升保存质量具有显著帮助。
-
公开(公告)号：CN213717214U
公开(公告)日：2021-07-16
申请号：CN202022982223.6
申请日：2020-12-14
Applicant: 南京林业大学
Abstract: 本实用新型公开了一种信息安全化转换接头，涉及转换接头技术领域，本实用新型包括承载装置、保护装置、报警装置、转接装置以及锁定装置，承载装置包括壳体，壳体为中空圆柱体结构，保护装置包括转筒以及保护盖，转筒安装于壳体内部，保护盖下表面与转筒上表面连接。本实用新型为一种信息安全化转换接头通过承载装置可以将转接头安装在信息接口上，不会被轻易取下，减小了信息接口被盗用的风险，通过保护装置将插口母头遮挡在壳体内部，不能在未开锁状态下强行使用，通过报警装置在外力强行取下或者破开壳体使用时可以进行报警，增加了信息安全性，通过锁定装置将转接头保持在受保护状态，只有使用合适的配套钥匙接口才能使用该转接头。
-
-
-
-
Search Results
5
records
(took 0.028 seconds)
