-
公开(公告)号:CN115277260A
公开(公告)日:2022-11-01
申请号:CN202211186099.X
申请日:2022-09-28
Applicant: 北京中超伟业信息安全技术股份有限公司
Abstract: 本发明涉及一种物联网云平台脆弱性检测方法及系统,属于信息安全领域,该方法包括:根据获取的MQTT数据报文各部分构建MQTT协议报文空间,获得MQTT协议报文空间中所有部分取值的可能排列情况,构建输入空间集合并构建MQTT报文进行发送,获得元素e对应的返回报文r,将返回报文r相同的e和r组成有序对放入集合Ser并将集合Ser放入集合Spdr,将MQTT协议报文空间中各元素与对应集合Spdr加入输出集合,从而确定攻击类型和攻击位置,实现了从云平台角度切入的通信脆弱性检测。
-
公开(公告)号:CN113360937B
公开(公告)日:2021-11-05
申请号:CN202110910805.X
申请日:2021-08-10
Applicant: 北京中超伟业信息安全技术股份有限公司
Abstract: 本发明涉及一种基于智能合约的云平台密钥分发方法及系统,包括:通过用户终端向区块链系统发送密钥申请;通过区块链系统中区块链节点接收密钥申请;通过与区块链节点绑定的智能合约从云计算系统中随机选择一个密钥管理模块,获得被选择的密钥管理模块;基于被选择的密钥管理模块,生成密钥和签名,并将生成的密钥和签名加密后发送到智能合约;通过智能合约接收并解密加密后的密钥和签名,将解密数据加密后发送到用户终端。本发明提高了密钥分发的安全性。
-
公开(公告)号:CN113515745A
公开(公告)日:2021-10-19
申请号:CN202110700781.5
申请日:2021-06-24
Applicant: 北京中超伟业信息安全技术股份有限公司
Abstract: 本发明涉及一种用于木马检测的方法及系统,该方法将待判断代码解析为抽象语法树,并将抽象语法树构建控制流图,通过遍历控制流图,根据控制流图中各基本块中指令特点将指令中信息组成常量集合、外部世界数据集合、外部世界函数集合、清洗函数集合或函数集合,根据清洗函数集合基本块获得状态单元集合,并将状态单元集合转换为kripke结构状态迁移系统,进而将kripke结构状态迁移系统生成SMV代码,并通过模型检测器对SMV代码进行检测,使待判断代码对于是否为木马是可判定的,提高了木马检测效率。
-
-