-
公开(公告)号：CN112614023A
公开(公告)日：2021-04-06
申请号：CN202011564813.5
申请日：2020-12-25
Applicant: 东北大学
Abstract: 本发明公开一种电子合同的形式化安全验证方法，包括步骤1：找出合同中所有的承诺，按五元组写出承诺；步骤2：给每条承诺设定状态规则，以及状态间的逻辑关系；步骤3：将合同转化为承诺模型，并进一步采用CTL或LTL逻辑进行展开，设定好安全属性所期待的验证路径；步骤4：依据遍历算法，结合以概率为基础的权重进行判断；步骤5：得到各路径与其权重，以权重选取的标准得出承诺模型的利好或最优路径，并验证步骤3设定的验证路径为该最优路径，完成对承诺模型的验证。本发明根据智能合约的特点对承诺进行了重新定义，并在此基础上完成了智能合约的形式化定义，将以往繁杂的文本转变为计算机能理解的模型进行安全验证。
Search Results
1
records
(took 0.011 seconds)
筛选
AND
AND
过滤
NOT
NOT
Scan to Join
