智能合约的形式化验证方法

胡凯 白晓敏 高灵超 董爱强 

《信息安全研究》  2016.

未来区块链应用更多向智能合约发展

张立钧 

《金卡工程》  2016.

众筹区块链上的智能合约设计

黄洁华 高灵超 许玉壮 白晓敏 胡凯 

《信息安全研究》  2017.

智能合约如何可信地与外部世界交互

李赫 孙继飞 杨泳 汪松 

《中国金融电脑》  2017.

应用智能合约的简易承兑汇票实践

黄涵禧 

《金融科技时代》  2017.

基于智能合约的公钥证书发放方案

张成成 

《电子技术与软件工程》  2017.

区块链智能合约技术应用

夏沅 

《中国金融》  2018.

基于智能合约的配电网去中心化交易机制

平健 陈思捷 张宁 严正 姚良忠 

《中国电机工程学报》  2017.

智能合约的特点及其在债券市场的应用

李爽 曹楠 

《债券》  2016.

魅族与中国联通战略合作发布MX2合约智能机

《数字时代》  2013.

基于智能体的电力合约市场协商模拟系统

袁家海 胡兆光 

《电网技术》  2005.

魅族与中国联通推出MX2合约智能机

《数字通信世界》  2013.

以法律视角探究区块链下智能合约的发展前景与局限

周晓靖 

《法制博览》  2018.

基于区块链技术的智能合约网络证券交易模型研究

王晓峰 

《对外经贸》  2017.