自动检测 - 第 2 | CN-SEC 中文网

安全新闻

以太坊合并后时代，「形式化验证技术」如何检测智能合约安全？

所谓的形式化验证，简单而言就是用数学工具进行验证的方法，把代码编成数学模型，从设计到实现整个流程，通过证明手段来证明代码是完备安全的。形式化验证作为成都链安的核心技术之一，已经帮助上千份智能合约解决安...

10月01日45 views评论

安全闲碎

链必验专题文章系列，更多阅读：1链必验V3.1版本上线 | 找100人，试试冰山力量2智能合约自动检测工具『链必验』，如何带你解锁Web3.0世界　3科普 | 如何为你的智能合约“上保险”，形式化验证...

05月24日13 views评论

安全开发

来自公众号：快学Python人生苦短，快学Python！在之前的文章里，我们多次尝试用Python实现文本OCR识别！点击蓝字查看历史文章👉OCR识别的花样使用、5行Python实现验证码识别、3行P...

02月17日66 views评论

安全文章

、简介：作者：掌控安全学员——beize xss攻击是网页中嵌入客户端恶意脚本，而我们要进行xss攻击时可以选择使用的语言有javascript，actionscript，vbs...

01月28日371 views评论