公开(公告)号：CN115442160A

公开(公告)日：2022-12-06

申请号：CN202211388174.0

申请日：2022-11-08

Applicant: 山东省计算中心(国家超级计算济南中心)

Inventor： 杨明 ,  吴法宗 ,  吴晓明 ,  王鑫 ,  穆超 ,  陈振娅 ,  王艳寒

IPC: H04L9/40 ,  H04L41/14 ,  G06F21/62 ,  G06F21/55

Abstract: 一种差分隐私保护下的网络化系统数据隐蔽攻击检测方法，属于信息安全的技术领域，所述检测方法，首先，对网络化系统进行建模并设计基于系统噪声参数的攻击检测机制；然后，根据已知系统信息，为攻击者设计最优数据隐蔽攻击策略；接着，在保障网络化系统敏感数据隐私的情形下，通过隐私噪声调度机制确定隐私噪声添加的时刻，并实现最优系统控制性能。基于以上设计，可在保护系统数据隐私性以及保障系统达到最优运行性能的基础上，对可能发生的数据隐蔽攻击进行有效检测。

公开(公告)号：CN112989395A

公开(公告)日：2021-06-18

申请号：CN202110465793.4

申请日：2021-04-28

Applicant: 山东省计算中心(国家超级计算济南中心)

Inventor： 陈振娅 ,  杨明 ,  吴晓明 ,  杨美红 ,  丁青艳 ,  穆超 ,  王鑫 ,  王彪 ,  王继志

IPC: G06F21/60 ,  G06F21/46

Abstract: 本申请公开了一种SM4密码算法的形式化验证方法，所述方法包括：将SM4密码算法的算法参数定义为安全整数类型；其中，所述算法参数包括明文输入、加密结果、密文输入、解密结果、主密钥、密钥常数、轮密钥和s盒参数；确定基于F*框架的算法模块的初始堆，并在所述初始堆的目标缓冲区中添加所述算法参数；利用所述算法参数对所述SM4密码算法的轮密钥生成模块、加密模块和解密模块进行形式化验证，得到所述SM4密码算法的形式化验证结果。本申请能够在SM4密码算法实现过程中保证内存安全、避免受到时间侧信道攻击。本申请还公开了一种SM4密码算法的形式化验证系统，具有以上有益效果。

公开(公告)号：CN215376311U

公开(公告)日：2021-12-31

申请号：CN202123033494.8

申请日：2021-12-06

Applicant: 北京六方云信息技术有限公司 ,  山东省计算中心(国家超级计算济南中心)

Inventor： 杨明 ,  汪付强 ,  王智民 ,  穆超 ,  王鑫 ,  陈振娅

IPC: G06F21/57 ,  H05K5/02 ,  H02J7/00

Abstract: 本实用新型公开了一种物联网终端固件安全漏洞便携式检测装置，包括：固件提取模块，其包括IC转换座、夹具及导线、IC锁紧座；x86架构嵌入式处理平台；显示与触控模块，其包括显示驱动器、触控驱动器和触控液晶屏；以及电源模块。本实用新型体积小、便携度高，可在工作现场对物联网终端固件进行在线提取及安全检测。

公开(公告)号：CN215300666U

公开(公告)日：2021-12-24

申请号：CN202122959907.9

申请日：2021-11-30

Applicant: 北京六方云信息技术有限公司 ,  山东省计算中心(国家超级计算济南中心)

Inventor： 汪付强 ,  杨明 ,  王智民 ,  王鑫 ,  张建强 ,  张鹏 ,  刘祥志

IPC: H04L29/06 ,  H04L12/40

Abstract: 本实用新型公开了工业互联网安全传输装置，包括：控制单元、协议转换单元、加密单元、解密单元、通信单元和设备指纹管理单元，其中，所述控制单元分别与所述加密单元、解密单元、通信单元和设备指纹管理单元连接；所述协议转换单元与所述设备指纹管理单元连接；所述加密单元分别与所述设备指纹管理单元和通信单元连接；所述解密单元分别与所述通信单元和设备指纹管理单元连接。本实用新型的工业互联网安全传输装置具有能够对待传输工业信息数据进行设备指纹生成、加密和设备指纹认证，实现数据的安全传输等优点。