一种基于量化语义规约的区块链攻击的检测方法和装置

本发明公开了一种基于量化语义规约的区块链攻击的检测方法和装置，该方法包括：定义以太坊攻击建模的形式化规约的MFTOL语言的子集，定义了规约中包含的逻辑运算符和最小原子公式；为最小原子公式中的基本事件、高级事件以及参数比较运算符附加自适应的权重，从而量化每个最小原子公式对推断检测结果的重要性程度；为提出的MFOTL语言子集中的逻辑运算符定义量化公式，形成完整的攻击规约的量化计算方法；根据量化的攻击规约计算以太坊交易语义日志中量化结果最大值，确定是否存在目标交易被用于预定义的攻击的风险。与定性的规约检测结果相比，本发明提出的定量的以太坊攻击规约能覆盖更多的攻击交易，并具备检测到未遂攻击的能力。