一种固件漏洞检测及数据安全治理方法和系统

    公开(公告)号:CN116032654B

    公开(公告)日:2023-06-30

    申请号:CN202310101003.3

    申请日:2023-02-13

    Abstract: 一种固件漏洞检测及数据安全治理方法和系统,属于数据安全的技术领域。包括:将待检测的物联网设备固件进行:固件解压、提取可执行文件以及提取可执行文件的相关数据;将可执行文件通过函数漏洞库、Hash计算、反汇编机制以获取可疑漏洞函数;通过检测固件中的可疑漏洞函数是否为已知漏洞函数的同源函数,以此判断,该检测固件中是否包含相应的漏洞。发明使用自然语言处理模型提取二进制函数的语义信息,不依赖专家知识;能够进行跨架构物联网固件漏洞检测;基于已知CVE漏洞,并对CVE漏洞数据库进行管理,定时更新;对于已经检测过的固件,随着CVE漏洞数据的变化,也会再次进行检测,保证固件漏洞检测的实时性。

    一种SM4密码算法的形式化验证方法及系统

    公开(公告)号:CN112989395B

    公开(公告)日:2022-05-17

    申请号:CN202110465793.4

    申请日:2021-04-28

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

Patent Agency Ranking