-
公开(公告)号:CN114095206A
公开(公告)日:2022-02-25
申请号:CN202111242873.X
申请日:2021-10-25
Applicant: 南京林业大学
Abstract: 本发明公开了一种基于AADL的攻击防御树的自动生成方法,所述方法包括:采用AADL模型对信息物理融合系统进行建模;确定信息物理融合系统的各部件的漏洞,追踪并确定攻击路径;根据攻击路径选定系统最终的攻击目标;将AADL模型和攻击目标作为输入,通过模板库得到攻击防御树;对攻击防御树进行计算,得到最小的防御措施,并结合贝叶斯网络和CVSS分数值,对攻击概率值及防御代价进行量化评估,计算系统的风险值。解决了复杂系统难建模、系统中风险漏洞难确定、难追踪和难解决的问题,包括网络攻击对物理系统和信息系统的影响。
-
公开(公告)号: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建模的系统安全属性作为输入,通过模型检测得到所有的反例路径,采用深度优先算法生成攻击图并可视化展示。本发明能够推导出完整的攻击路径并确定最终的攻击威胁,并且支持图形化分析处理,便于使用。
-
公开(公告)号:CN214288692U
公开(公告)日:2021-09-28
申请号:CN202022982551.6
申请日:2020-12-14
Applicant: 南京林业大学
Abstract: 本实用新型公开了一种电子信息粉碎设备,涉及信息安全技术领域,本实用新型包括进料装置、破碎装置、研磨装置、承载装置以及传输装置,进料装置包括顶盖以及工作桶,顶盖为圆盘结构,工作桶上表面与顶盖下表面连接。本实用新型为一种电子信息粉碎设备通过破碎装置可以将电子设备与信息储存设备进行初步的破碎,可以有效的防止信息泄露,通过研磨装置对初步破碎的存储设备进行研磨,不仅可以彻底粉碎信息被恢复的可能,而且通过研磨还可以得到较为细碎的产物,方便回收设备内的贵重金属等材料,通过承载装置为设备提供支撑,通过传输装置将处理后的产物直接运出,无需人工额外取出,更加安全,对工作人员的危害较小。
-
公开(公告)号:CN213856285U
公开(公告)日:2021-08-03
申请号:CN202022982459.X
申请日:2020-12-14
Applicant: 南京林业大学
Abstract: 本实用新型公开了一种信息安全粉碎装置,涉及信息安全技术领域,本实用新型包括承载装置、回收装置、破碎装置、消磁装置以及除尘装置,承载装置包括粉碎箱以及工作箱,粉碎箱为中空箱体结构,工作箱下表面与粉碎箱上表面连接。本实用新型为一种信息安全粉碎装置通过回收装置将粉碎后的信息载体导入回收盒中,其中回收盒可以通过滑动取出或者放入,通过破碎装置可以粉碎纸张、磁盘以及光盘等材料,破碎效率高,不可恢复,通过消磁装置可以将大多数不能直接粉碎的硬盘等大件或太过坚硬的存储设备进行消磁以抹除存储信息,通过除尘装置将破碎过程中产生的一些细小灰尘进行收纳,因为在破碎电子产品时产生的许多灰尘在被人体吸入会造成不适。
-
-
-
-