成都鏈安楊霞受邀在中國工業信息安全大會上作報告，呼籲關注區塊鏈安全問題...

6月21日，2019年中國工業信息安全大會在北京國際會議中心舉辦，成都鏈安CEO＆創始人楊霞教授受邀參會並發表特邀報告「區塊鏈安全問題及解決辦法」，呼籲你們關注區塊鏈這一新興行業所面臨的安全問題，一同制定行業的安全規範和標準。html

在報告中，楊教授對公鏈、聯盟鏈、智能合約、DApp應用等安全問題做出分析並提出相應解決方案，重點講解了如何運用形式化驗證方法解決智能合約安全問題。git

她指出，針對區塊鏈安全問題的解決，成都鏈安創建了一整套完善的防禦體系，其中鷹眼態勢感知系統採用機器學習方法對安全威脅進行預警、報警和資產追溯以減小資產損失，同時協助相關部門追查區塊鏈行業的洗錢及其它犯罪行爲。在區塊鏈項目的安全審計領域，成都鏈安科技經過爲全球幾百個公鏈，錢包，DApp及智能合約的安全審計，造成了一套完備的安全規範和標準，將持續爲區塊鏈行業安全發展敬獻力量。github

歡迎你們體驗：瀏覽器

1、智能合約自動形式化驗證平臺VaaS精簡版，準確率達到95%以上安全

Beosin（成都鏈安科技）已向全球發佈VaaS平臺，全球首個同時支持ETH、EOS、Fabric、ONT、TRON等多個區塊鏈平臺的智能合約形式化驗證平臺，準確率達到95%以上。架構

VaaS（精簡版）系統爲全部區塊鏈從業者提供方便而免費的智能合約安全審計服務，對智能合約安全漏洞進行形式化驗證，從容應對常規合約安全問題。歡迎你們登錄官方網址體驗：併發

官方網址：機器學習

https://beosin.com/vaas/index.html#/audit/ptsj分佈式

▲VaaS 精簡版平臺學習

2、在線 Beosin-IDE 免費版本

Beosin-IDE 是一款免費的面向BOS、EOS區塊鏈平臺的智能合約在線集成開發環境，可同時支持合約開發、部署、測試和源碼調試等功能的在線區塊鏈應用開發集成環境。

歡迎你們免費體驗：經過瀏覽器訪問

https://beosin.com/BEOSIN-IDE/index.html#/

（以下圖，推薦Chrome瀏覽器）。

▲Beosin EOS-IDE

Beosin官方發表正式聲明：

爲了全球化市場戰略須要，公司發佈全新英文品牌 「Beosin」。做爲深耕區塊鏈安全領域的公司，「Beosin」力求爲行業保駕護航，以打造區塊鏈全生態安全爲宗旨，竭誠爲客戶提供包括智能合約安全審計、智能合約開發審計一條龍、錢包安全審計、DApp安全加固與審計、區塊鏈平臺安全審計、交易所安全檢測、安全產品定製化服務、企業級安全服務等。但公司英文名稱改名並不涉及業務架構或公司全部權變化。新品牌的Logo以下圖：

近期，有XX鏈安科技與成都鏈安科技重名，且Logo及宣傳語類似。成都鏈安科技是一家由分佈式資本、界石資本、盤古創富投資的專門從事區塊鏈安全的公司，與其餘XX鏈安科技無任何關聯。請你們認準成都鏈安科技惟一指定商標品牌，謹防上當受騙，一切消息以官網及官方公衆號爲準。

成都鏈安科技官方公衆號名稱：Beosin成都鏈安

成都鏈安科技官方網址：

www.lianantech.com

——Beosin

關於Beosin：

Beosin（成都鏈安）成立於2018年，公司位於四川省成都市，專一於區塊鏈生態安全。公司由楊霞和郭文生兩位教授共同建立，團隊核心成員由來自海內外知名高校和實驗室留學經歷的教授、博士後、博士及阿里、華爲等知名企業精英組成。已得到分佈式資本、界石資本、盤古創富等著名投資機構的兩輪股權投資。其核心技術爲形式化驗證，是全球最先一批將此技術應用到區塊鏈安全領域的公司。

公司首批入選Etherscan智能合約審計推薦名單及普華永道創新加速器，榮獲全國首屆中小微企業SaaS應用創新創業大賽冠軍，得到OKEx最佳安全審計合做夥伴獎等榮譽，參加工信部多項區塊鏈安全標準的撰寫，入選工信部「2018區塊鏈白皮書」，做爲惟一安全公司入選「2018中國區塊鏈企業百強榜」，榮膺金色財經「2018年度最專業安全服務機構」、「2019中國區塊鏈安全領軍企業」稱號，榮獲火星財經「最佳區塊鏈數據安全團隊」獎項，成爲2019年區塊鏈技術與數據安全工業和信息化部重點實驗室成員單位。已與Huobi、OKEx、KuCoin、CoinBene、CoinTiger、ONT、Qtum、比原鏈、Wanchain、BOS、Scry、布比區塊鏈、雲象區塊鏈、QuarkChain、麥子錢包、EOSPark等共計超過50家區塊鏈公司創建戰略合做關係，審計報告被國內外各大知名交易所承認，爲助力本體智能合約安全發佈形式化驗證平臺VaaS-ONT。公司審計智能合約超500份，獨立發現區塊鏈安全漏洞幾十種，得到行業及客戶的一致好評和承認。讓區塊鏈生態更安全，是咱們的美好願景！

「Beosin」

做爲Huobi、OKEx、KuCoin

CoinBene、CoinTiger等

著名交易所指定的合約審計公司。 

入選Etherscan智能合約安全審計名單。

歡迎聯繫Beosin，瞭解智能合約安全審計

智能合約開發審計一條龍

錢包安全審計

DApp安全加固與審計

區塊鏈平臺安全審計

交易所安全檢測

安全產品定製化服務

企業級安全服務

 ·

電話：028-83262585

網站：www.lianantech.com

郵箱：vaas@lianantech.com

地址：成都市世紀城南路599號

天府軟件園D7座504室

官網：

https://www.lianantech.com

GitHub網址：

https://github.com/Lianantech/VCA

Facebook網址：

https://www.facebook.com/BeosinChengdu/

twitter網址：

https://twitter.com/Beosin_com

Telegram中文羣：

https://t.me/LiananTech_cn

Telegram英文羣：

https://t.me/LiananTech_en

微博：

https://weibo.com/u/6566884467

CSDN博客：

https://blog.csdn.net/CDLianan

知乎專欄：