公开(公告)号：CN119513853A

公开(公告)日：2025-02-25

申请号：CN202411687520.4

申请日：2024-11-25

Applicant: 中北大学

Inventor： 李小燕 ,  李剑 ,  潘毅华 ,  李传坤 ,  崔敏 ,  刘瑞

IPC: G06F21/44

Abstract: 本申请提供一种系统安全验证方法、验证系统和终端设备，通过对一个信息物理系统进行动态逻辑层面的抽象化处理，构建出离散事件系统模型；在这种模型中，系统状态的变化是由离散事件的异步触发而驱动的，在本申请中，状态攻击指的是外部入侵者能够对系统发起状态攻击，并能够根据攻击后获取的信息，精确判断系统当前状态是否受到了攻击的影响；当不存在状态攻击时，通过分析系统生成的事件序列，对系统的当前状态进行合理的估计，从而验证系统的安全性。由此，本申请能够利用系统发生的事件序列以及外部入侵者可能获取到的攻击序列，对系统的当前状态进行合理的推断，从而有效地验证系统在遭受状态攻击时的安全性。

公开(公告)号：CN119254405A

公开(公告)日：2025-01-03

申请号：CN202411366906.5

申请日：2024-09-29

Applicant: 中北大学

Inventor： 李剑 ,  吴世雯 ,  李传坤 ,  崔敏 ,  李小燕 ,  张庆 ,  杨桐

IPC: H04L9/00 ,  H04L1/00

Abstract: 本发明公开一种基于混沌序列的地声信号远距离通信方法，包括：进行混沌序列编码从而获得循环移位编码信号；对循环移位编码信号进行解码后从而获得原始的信息序列；基于确定获得所有原始的信息序列，完成地声信号远距离通信。还公开了对应的系统、电子设备以及计算机可读存储介质，采用混沌实值序列作为扩频码，抗干扰特性和优异的自相关性，有效减少了多用户环境中的多址干扰和误码率；利用混沌序列的自相关特性进行相关检测确保信号的精确解码，即使在恶劣的通信环境中也能保证信息的完整性和准确性；使用循环移位扩频编码技术，在不增加额外带宽的情况下，增加每个序列携带的信息量，在相同的频带宽度内可以传输更多的信息，提高传输效率。