微商机
猎豹区块链研究中心专家:智能合约自动化审计存在三大问题
回复:0  浏览:2
  • 楼主yaoyao 圈主
  • 2018-09-10 23:55
猎豹区块链研究中心专家:智能合约自动化审计存在三大问题
 
据36kr报道,近日猎豹区块链研究中心安全专家杨文玉在关于如何有效保障海量智能合约的安全的问题时表示,最好的方法是降低人工审计复杂度,采用智能合约自动化审计。即主要通过特征代码匹配、基于形式化验证的自动化审计方法、基于符号执行和符号抽象自动化审计这三类方法。
 
此外,她也指出,现在自动化审计方法处于一个很不成熟的阶段,主要面临三大问题:误报率高,自动化程度低、依赖人工二次审计,审计时间比较长。
更多»您可能感兴趣的话题:
更多»有关 的产品:
环保低温焊锡丝

环保低温焊锡丝

价格:到店咨询

无铅低温焊锡丝

无铅低温焊锡丝

价格:到店咨询

环保低温锡线

环保低温锡线

价格:到店咨询

低温无铅锡线 锡铋合金 实芯 熔点138度

低温无铅锡线 锡铋合金 实芯 熔点138度

价格:到店咨询

无铅低温锡线

无铅低温锡线

价格:到店咨询

低温焊锡线生产厂家 熔点138度环保无铅认证

低温焊锡线生产厂家 熔点138度环保无铅认证

价格:到店咨询

环保低温焊锡丝

环保低温焊锡丝

价格:到店咨询

无铅低温焊锡丝

无铅低温焊锡丝

价格:到店咨询

环保低温锡线

环保低温锡线

价格:到店咨询

低温无铅锡线 锡铋合金 实芯 熔点138度

低温无铅锡线 锡铋合金 实芯 熔点138度

价格:到店咨询

无铅低温锡线

无铅低温锡线

价格:到店咨询

低温焊锡线生产厂家 熔点138度环保无铅认证

低温焊锡线生产厂家 熔点138度环保无铅认证

价格:到店咨询

移动社区 卫浴之都 建材头条 家具头条 家居之家 装饰之家 新基建头条 门窗之家 区块联盟 博一建材网 新基建之家 老姚之家 灯饰之家 电气之家 全景头条 陶瓷之家 照明之家 防水之家 防盗之家 博一建材 卫浴之家 区快洞察 建材 锦州建材 丹东建材 本溪建材 抚顺建材 鞍山建材 西安建材 商洛建材 安康建材 榆林建材 汉中建材 延安建材 渭南建材 咸阳建材 宝鸡建材 铜川建材 兰州建材 甘南建材 临夏建材