公开(公告)号：CN116055087A

公开(公告)日：2023-05-02

申请号：CN202211332994.8

申请日：2022-10-28

Applicant: 南京林业大学

Inventor： 徐丙凤 ,  葛要港 ,  陈鑫恺 ,  王博

IPC: H04L9/40

Abstract: 本发明公开了一种基于模型检测的混成攻击图分析方法包括如下步骤：(1)定义混成攻击图(HAG，hybrid attack graph)模型；(2)提出混成攻击图到时间自动机的转换规则；(3)采用度量区时态逻辑(MITL，Metric Interval Temporal Logic)定义系统安全属性；(4)使用模型检测器对转换后的时间自动机和安全属性进行模型检测；(5)对模型检测的结果进行分析。本发明提供了一种基于模型检测的混成攻击图分析方法，解决了复杂工业物联网系统难以建模，网络攻击难以确定，混成攻击图难以进行模型检测的问题。拓展了工业物联网系统受到网络攻击后的应对策略。综合考虑了网络攻击对工业物联网系统状态影响以及不同状态之间的联系，能够及时有效发现网络攻击行为，避免网络攻击的发生。

公开(公告)号：CN117596008A

公开(公告)日：2024-02-23

申请号：CN202311283097.7

申请日：2023-10-07

Applicant: 南京林业大学

Inventor： 徐丙凤 ,  王博 ,  赵金城

IPC: H04L9/40 ,  G01P15/02 ,  G01C21/16 ,  G01S19/42 ,  G01C25/00

Abstract: 本发明公开了一种基于动态信任博弈的车联网节点联盟划分方法，涉及车联网安全建模分析技术领域，包括以下步骤：S1、收集车联网环境安全信息参数；S2、计算不确定因子；S3、进行车辆节点的信任值计算；S4、给出车辆联盟的划分方法，由此建立车辆联盟的划分规则，完成车辆联盟的划分；S5、对车辆联盟的划分质量进行评估。该方法通过采用容忍置信区间的概念来降低数据不准确性对检测结果的影响，提高了不确定性因子的计算准确性。从而保证联盟划分结果的准确性。通过对车辆的相互协作做出了严格的安全性限制，基于通讯范围特征和节点信任值的动态信任博弈，以实现良性车辆节点与恶意车辆节点的有效分离，从而保持车联网的安全通讯。

公开(公告)号：CN207263348U

公开(公告)日：2018-04-20

申请号：CN201720588351.8

申请日：2017-05-22

Applicant: 南京林业大学

Inventor： 王瑞 ,  顾盛 ,  蔡宝国 ,  王博 ,  田航 ,  张鑫焱 ,  周玉柱 ,  王立杰

IPC: G01L3/00 ,  G01P3/00

Abstract: 一种直驱式电液伺服控制旋转接头扭矩转速测试装置，属于工程机械试验设备。其主要包括伺服电机、双向液压泵、蓄能器、第一溢流阀、第二溢流阀、第一单向阀、第二单向阀、双向液压马达，当伺服电机正反转时，带动双向液压泵正反转，改变输出油液的流动方向，带动双向液压马达实现旋转接头的正转或反转；扭矩与转速传感器实时检测旋转接头的扭矩及转速信号，信号经过采集控制系统处理传递到上位机，通过上位机界面显示扭矩与转速数据，及扭矩和转速变化曲线，当在上位机界面输入转速数据，可控制伺服电机的转速与转向，实现对旋转接头的转速与转向调节，转速调节范围在15～20r/min。本实用新型可靠性高、小型集成化，同时节能环保。