-
公开(公告)号:CN118631517A
公开(公告)日:2024-09-10
申请号:CN202410736917.1
申请日:2024-06-07
Applicant: 中国科学院信息工程研究所
Abstract: 本发明公开一种加密流量的侧信道特征补全方法和检测方法,属于加密流量检测技术领域。所述加密流量的侧信道特征补全方法包括:构建包含N个完整会话流量包的训练数据集;提取完整会话流量包的侧信道特征Sc1,并将所述侧信道特征Sc1平移和编码,以构造预训练训练集X1;在预训练训练集X1上进行掩码模型的训练,得到特征补全模型;基于特征补全模型,获取残缺会话流量包的侧信道特征补全结果。本发明旨在通过增强加密流量的表征能力,提高检测的准确率。
-
公开(公告)号:CN116781341A
公开(公告)日:2023-09-19
申请号:CN202310696234.3
申请日:2023-06-13
Applicant: 中国科学院信息工程研究所
IPC: H04L9/40 , G06N3/0442 , G06F18/241 , G06F18/214 , G06F18/213 , G06N3/08
Abstract: 本发明公开了一种基于大语言模型的去中心化网络DDoS攻击识别方法。本方法为:1)采集网络流量数据,包括无标签的网络流量和去中心化网络DDoS攻击流量;2)将所采集的网络流量转化为词向量序列;3)利用无标签的网络流量转化所得词向量序列对大语言模型进行预训练;4)将去中心化网络DDoS攻击流量转化所得词向量序列输入到预训练后的大语言模型中,学习去中心化网络DDoS攻击流量的特征;5)将特征输入微调模型执行预测任务,将所得预测结果与对应的标注结果进行对比,然后根据对比结果优化所述微调模型的参数;6)对于一待识别的去中心化网络流量,将其转化为词向量序列后输入优化后的所述微调模型,识别是否为攻击流量。
-
公开(公告)号:CN116361806A
公开(公告)日:2023-06-30
申请号:CN202310167280.4
申请日:2023-02-27
Applicant: 中国科学院信息工程研究所
IPC: G06F21/57 , G06N3/08 , G06F18/24 , G06N3/0442
Abstract: 本发明公开了一种基于多示例和注意力机制的智能合约分析方法及装置。所述方法包括:获取智能合约的操作码;基于所述操作码,构建所述智能合约的程序控制流图;对所述程序控制流图执行深度优先遍历,以得到由T个操作码组成的实例;对所述实例进行编码,并基于注意力机制的双向长短期循环神经网络对编码结果进行分类,以得到该实例的安全结论以及权重;基于各实例的安全结论以及权重,得到所述智能合约的分析结果。本发明可以有效地保护区块链上运行的智能合约安全以及用户的隐私及财产安全。
-
公开(公告)号:CN111639361A
公开(公告)日:2020-09-08
申请号:CN202010411623.3
申请日:2020-05-15
Applicant: 中国科学院信息工程研究所
Abstract: 本发明提供一种区块链密钥管理方法、多人共同签名方法及电子装置,由链上和链下两部分组成,链上完成合约的执行和货币结算,链下完成密钥生成、数据加密和解密操作;对用户密钥和文件进行链上链下协同存储;对链上用户密钥和文件的检索和存储;对用户私钥进行存储和恢复;针对区块链中多方签名场景,利用多方安全计算完成协同私钥存储和签名;对用户的文件和密钥进行验证;对用户的密钥进行撤销和更新。本发明显著提高了区块链密钥的安全性,时间开销会非常低,空间开销也极为优秀,从而能为用户提供更加优质的服务。
-
公开(公告)号:CN115037512B
公开(公告)日:2023-06-20
申请号:CN202210457028.2
申请日:2022-04-27
Applicant: 中国科学院信息工程研究所
Abstract: 本发明公开了一种面向以太坊公有链智能合约的形式化静态分析方法及装置。所述方法包括:获取以太坊公有链智能合约的源码,并提取所述源码的代码语句,生成所述源码的Solidity表达式和特征图谱;基于所述代码语句、Solidity表达式与所述特征图谱,将所述源码描述为XML形式中间表示、IR形式中间表示和IR‑SSA形式中间表示;根据所述XML形式中间表示、IR形式中间表示和IR‑SSA形式中间表示进行漏洞模式检测与优化模式检测,得到以太坊公有链智能合约的分析结果。本发明可在内存资源有限的环境中快速完成合约的全流程自动化分析,检测结果准确且鲁棒,能够发现以太坊上现有方法漏报的安全问题,可更好地助力智能合约的安全监管。
-
公开(公告)号:CN111639361B
公开(公告)日:2023-06-20
申请号:CN202010411623.3
申请日:2020-05-15
Applicant: 中国科学院信息工程研究所
Abstract: 本发明提供一种区块链密钥管理方法、多人共同签名方法及电子装置,由链上和链下两部分组成,链上完成合约的执行和货币结算,链下完成密钥生成、数据加密和解密操作;对用户密钥和文件进行链上链下协同存储;对链上用户密钥和文件的检索和存储;对用户私钥进行存储和恢复;针对区块链中多方签名场景,利用多方安全计算完成协同私钥存储和签名;对用户的文件和密钥进行验证;对用户的密钥进行撤销和更新。本发明显著提高了区块链密钥的安全性,时间开销会非常低,空间开销也极为优秀,从而能为用户提供更加优质的服务。
-
公开(公告)号:CN115037512A
公开(公告)日:2022-09-09
申请号:CN202210457028.2
申请日:2022-04-27
Applicant: 中国科学院信息工程研究所
Abstract: 本发明公开了一种面向以太坊公有链智能合约的形式化静态分析方法及装置。所述方法包括:获取以太坊公有链智能合约的源码,并提取所述源码的代码语句,生成所述源码的Solidity表达式和特征图谱;基于所述代码语句、Solidity表达式与所述特征图谱,将所述源码描述为XML形式中间表示、IR形式中间表示和IR‑SSA形式中间表示;根据所述XML形式中间表示、IR形式中间表示和IR‑SSA形式中间表示进行漏洞模式检测与优化模式检测,得到以太坊公有链智能合约的分析结果。本发明可在内存资源有限的环境中快速完成合约的全流程自动化分析,检测结果准确且鲁棒,能够发现以太坊上现有方法漏报的安全问题,可更好地助力智能合约的安全监管。
-
公开(公告)号:CN118199923A
公开(公告)日:2024-06-14
申请号:CN202410172771.2
申请日:2024-02-07
Applicant: 中国科学院信息工程研究所
IPC: H04L9/40 , H04L43/18 , H04L67/104 , H04L41/16
Abstract: 本发明公开一种基于动态策略的区块链共识协议形式化分析方法及装置,所述方法包括:基于多重集写规则形式化描述区块链共识协议的实体交互逻辑,形成实体状态转移规则;基于多重集写规则形式化刻画敌手模型,得到验证约束规则;基于多重集写规则形式化描述区块链共识协议的安全属性,得到待验证目标引理;根据所述实体状态转移规则和所述验证约束规则对所述待验证目标引理进行验证,得到区块链共识协议形式化分析结果。本发明可以通过人工智能的手段引导共识协议分析过程中的状态空间转移,从而缓解状态爆炸空间问题。
-
公开(公告)号:CN116260736A
公开(公告)日:2023-06-13
申请号:CN202310140377.6
申请日:2023-02-08
Applicant: 中国科学院信息工程研究所
IPC: H04L43/028 , H04L9/40 , H04L67/10 , H04L41/16 , G06N3/0464
Abstract: 本发明涉及一种基于深度学习的去中心化应用流量识别方法和系统。该方法包括:采集去中心化应用使用过程中的网络流量数据;对采集的网络流量数据进行预处理,所述预处理包括流量过滤,并将过滤后的网络流量数据转化为图片形式;利用图片形式的网络流量数据训练神经网络模型;利用训练完成的神经网络模型对去中心化应用的实际网络流量进行分类识别。本发明将网络流量分类问题转化为图像分类问题,利用卷积神经网络在图像识别领域强大的学习能力训练出图流量分类器,能够显著提高分类器的测试准确率,有助于网络服务提供商与网络的管理者优化网络环境。
-
-
-
-
-
-
-
-