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

    公开(公告)号:CN112989395B

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

    申请号:CN202110465793.4

    申请日:2021-04-28

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

    一种基于进程行为分析的恶意加密信道检测方法

    公开(公告)号:CN114143037A

    公开(公告)日:2022-03-04

    申请号:CN202111303061.1

    申请日:2021-11-05

    Abstract: 本发明涉及一种基于进程行为分析的恶意加密信道检测方法,包括:步骤1:加密会话流量数据采集与进程归类;包括:加密流量数据采集、预处理、进程归类;步骤2:进程文件加密通讯行为特征树建构;建构加密会话的元特征即IP层、TCP段负载长度序列特征即TCP层以及SSL消息状态转换特征即SSL记录层的三层次特征树;步骤3:基于特征树的异常检测;包括:采集正常加密通讯行为数据;正常加密通讯行为基准建构;目标PEF加密通讯行为模型建构;特征树间相异度计算;基于阈值的异常检测。本发明借助异常检测的方法,打破单纯从会话层次检测恶意加密信道的局限,实现对恶意进程文件的有效检测。

    一种图上最短路径安全查询方法、装置、系统及存储介质

    公开(公告)号:CN112836078B

    公开(公告)日:2021-10-22

    申请号:CN202110192739.7

    申请日:2021-02-20

    Abstract: 本发明公开了一种图上最短路径安全查询方法、装置、系统及计算机可读存储介质,该方法包括接收客户端发送的查询口令信息,查询口令信息为客户端采用预设加密方法对用户输入的目标图信息、起始顶点信息、终止顶点信息和受限边标签集合进行加密后得到的;依据查询口令信息从预先存储的各个加密图中找到对应的目标加密图,获取目标加密图中加密后的各个顶点、与每个顶点分别对应的各个邻接点;依据加密后的起始顶点信息、终止顶点信息及受限边标签集合,从目标加密图的各个邻接点中确定出满足受限边标签集合的起始顶点至终止顶点的最短路径及最小距离;本发明能够找到满足受限边标签集合的最短路径及最小距离,更能够满足实际需求。

    一种图上最短路径安全查询方法、装置、系统及存储介质

    公开(公告)号:CN112836078A

    公开(公告)日:2021-05-25

    申请号:CN202110192739.7

    申请日:2021-02-20

    Abstract: 本发明公开了一种图上最短路径安全查询方法、装置、系统及计算机可读存储介质,该方法包括接收客户端发送的查询口令信息,查询口令信息为客户端采用预设加密方法对用户输入的目标图像信息、起始顶点信息、终止顶点信息和受限边标签集合进行加密后得到的;依据查询口令信息从预先存储的各个加密图像中找到对应的目标加密图像,获取目标加密图像中加密后的各个顶点、与每个顶点分别对应的各个邻接点;依据加密后的起始顶点信息、终止顶点信息及受限边标签集合,从目标加密图像的各个邻接点中确定出满足受限边标签集合的起始顶点至终止顶点的最短路径及最小距离;本发明能够找到满足受限边标签集合的最短路径及最小距离,更能够满足实际需求。

    基于反生产行为特征的内部威胁检测方法和系统

    公开(公告)号:CN111783086A

    公开(公告)日:2020-10-16

    申请号:CN202010639640.2

    申请日:2020-07-06

    Abstract: 本发明提出了基于反生产行为特征的内部威胁检测方法和系统,该方法包括采集与反生产行为特征相关的数据样本;根据采集的数据样本构建表征用户攻击动机心理特征的数值化特征向量,确定在职用户特征集合和离职用户特征集合;根据构建的数值化特征向量,基于聚类分析发现相似的样本群簇,进而采用比较群簇中心点特征几何平均值大小的方式,筛选出整体CPB评分低于均值的群簇用户样本作为训练集。对于训练集采用训练单类分类器,结合离职用户特征集合判定离职用户是否为高危离职用户,并对离职用户中的高危离职用户进行异常行为检测,综合分析确定内部攻击行为。基于该方法,还提出了检测系统。本发明有效地提高攻击动机检测的可应用性与准确度。

    一种识别网站登录口令数据传输安全性的方法

    公开(公告)号:CN111431935A

    公开(公告)日:2020-07-17

    申请号:CN202010300138.9

    申请日:2020-04-16

    Abstract: 本发明的识别网站登录口令数据传输安全性的方法,通过以下步骤来实现:a).获取包含用户名和口令的Request请求;b).分析口令生成类型;c).分析登录网站属于HTTP还是HTTPS协议。本发明的识别网站登录口令数据传输安全性的方法,通过判断登录网站的口令是采用明文传输、某编码或加密传输还是基于某变量的口令生成算法传输方式,并结合网站的传输协议来综合判定用户输入的口令在数据传输时的安全性,可以帮助用户获得非常直观易懂的获知网站口令在数据传输层面的安全性能,对网站可能存在的安全隐患了解更深入,提醒用户在登录时存在哪些安全等级非常差的网站,提高用户账号的安全性。

Patent Agency Ranking