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

6月21日，2019年中國工業信息安全大會在北京國際會議中心舉辦，成都鏈安CEO＆創始人楊霞教授受邀參會並發表特邀報告「區塊鏈安全問題及解決辦法」，呼籲你們關注區塊鏈這一新興行業所面臨的安全問題，一同制定行業的安全規範和標準。html 在報告中，楊教授對公鏈、聯盟鏈、智能合約、DApp應用等安全問題做出分析並提出相應解決方案，重點講解了如何運用形式化驗證方法解決智能合約安全問題。git 她指出，針

>>阅读原文<<