成都链安的文章 - 登链社区

TA的文章 TA购买的 TA喜欢的 TA收藏的

成都链安：疫情期间远程办公信息安全提示

成都链安：疫情期间远程办公信息安全提示

发布于 2020-02-04 10:57 阅读(2179) 点赞(0) ( 10 )

一个案例说明高层属性形式化验证

Beosin-VaaS的业务逻辑验证软件，是一款用来检测智能合约上层业务逻辑漏洞的软件。

区块链安全形式化验证

发布于 2020-01-10 10:19 阅读(3512) 点赞(2) ( 16 )

成都链安推出全球首个Fabric链码自动形式化验证工具--Beosin-VaaS for Fabric

近日，成都链安推出全球首个Fabric链码自动形式化验证工具--Beosin-VaaS for Fabric，为链码提供“军事级”的安全验证。

区块链安全形式化验证

发布于 2019-12-26 10:16 阅读(3418) 点赞(0) ( 2 )

2019年区块链安全事件总结，全球损失超60亿美元

随着现代化信息技术和应用的快速发展，数字资产这种以计算机信息技术为基础的货币形式应运而生。其可追溯、防伪造、防篡改的特性，提升了交易安全性，2019年已成为业界关注的热点，发展十分迅速。

区块链安全

发布于 2019-12-19 11:14 阅读(9645) 点赞(0) ( 20 )

Upbit交易所大额ETH被盗事件详细分析

今日(2019-11-27) 12:06分，成都链安态势感知系统Beosin-Eagle eye检测到以太坊Upbit交易所热钱包地址向未知地址通过一笔交易转移超过34万ETH。

漏洞分析

发布于 2019-11-28 10:18 阅读(11801) 点赞(0) ( 20 )

基于VS-Code插件的智能合约自动形式化验证工具Beosin-Vaas离线免费版

11月4日，成都链安重磅推出离线免费版智能合约自动形式化验证工具Beosin—VaaS，该版本基于流行的开发工具VS Code插件，供广大开发者免费使用。获得方式如下，欢迎体验使用： https://beosin.com//

形式化验证

发布于 2019-11-05 11:48 阅读(10221) 点赞(0) ( 20 )

关于形式化验证两大工具(Vass & Mythril) 测试对比

随着以智能合约（Smart Contract）及区块链应用（DApp）为核心的区块链2.0时代逐渐成为主流，智能合约及区块链应用的安全性也越发成为业界备受关注的焦点。尤其是，在经历过诸如THE DAO、币安被盗等事件，智能合约及区块链应用的安全性究竟应该如何得到验证和保障，业已成为当前区块链业界亟待解决的痛点。

形式化验证

发布于 2019-10-15 09:44 阅读(12741) 点赞(0) ( 20 )

Poker EOS被盗 2万多EOS事件启示 - 谈私钥安全

私钥被盗，满盘皆输——Poker EOS被盗 2万多EOS事件启示。 A secret between more than two is no secret. 两人以上知道的秘密就不算秘密。

私钥

发布于 2019-06-14 15:45 阅读(7759) 点赞(0) ( 20 )

币安交易所比特币被窃漏洞分析

知名加密货币交易所币安受到黑客攻击，目前已经有7074.18个比特币被窃。

漏洞分析

发布于 2019-05-08 15:45 阅读(11524) 点赞(0) ( 20 )