科技部国家重点研发计划：

基于区块链技术的智能合约服务

任务要求：

1) 提出面向服务可信交易的新型智能合约语言，在支持多方计算节点（不少于7个节点，含合约方与监管方同步执行）的智能合约运行环境中，2 种场景（智能合约和运行程序共4 个案例）下实验验证；

2) 提出面向服务驱动的智能合约即服务的模型，可实验验证；

3) 智能合约代码的描述、验证和代码自动生成软件工具；可结合场景运行验证；

4) 发表SCI 和EI 检索论文25 篇以上，专著1 本、专利/软著12 项、标准2 项。

	北科大	北航	德法智诚	总计
论文	15	10	0	25
专著	0	0	1	1
专利/软著	6	5	1	12
标准	1	1	0	2

论文

北科大

朱岩,尹昊,王秋燕
群组密码的对等VPN系统及多播密钥分发协议 软件学报
JS Pages 2815-2829, Published 2019
E Chen, Yan Zhu, Changlu Lin, Kewei Lv
Zero-Pole Cancellation for Identity-Based Aggregators: A Constant-Size Designated Verifier-Set Signature Frontiers of Computer Science
FCS Pages 2020,14(4):1-14, Published 2020
Yan Zhu, Ruyun Yu, Di Ma, William Cheng-Chung Chu
Cryptographic Attribute-based Access Control (ABAC) for Secure Decision-Making of Dynamic Policy with Multi-Authority Attribute Tokens TRANSACTIONS ON RELIABILITY
IEEE Pages 2019,68(4):1330-1346, Published 2019
朱岩,王巧石,秦博涵,王中豪
区块链技术及其研究进展综述 工程科学学报
CJE Pages 2019, Published 2019
Yan Zhu , Yi Zhang , Jing Wang , Weijing Song , Cheng-Chung Chu , Guowei Liu
From Data-Driven to Intelligent-Driven: Technology Evolution of Network Security in Big Data Era 2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC)
IEEE Pages 2019, Published 2019
Yan Zhu , Shuai Yang , Cheng-Chung Chu , Rongquan Feng
FlashGhost: Data Sanitization with Privacy Protection Based on Frequent Colliding Hash Table 2019 IEEE International Conference on Services Computing (SCC)
IEEE Pages 2019, Published 2019
朱岩, 张艺, 冯容权, 赵章界
网络安全等级保护下的区块链评估方法研究 工程科学学报
CJE Pages 2020,42(10):1267-1285, Published 2020
Guohua Gan, E. Chen, Zhiyuan Zhou, Yan Zhu
Token-Based Access Control IEEE Access
IEEE Pages 2020,8:54189-54199, Published 2020
Guanglai Guo, Yan Zhu, Ruyun Yu, William Cheng-Chung Chu, Di Ma
A Privacy-preserving Framework with Self-governance and Permission Delegation in Online Social Networks IEEE Access
IEEE Pages 2020,8:157116-157129, Published 2020
朱岩, 秦博涵, 陈娥, 刘国伟
SPESC:一种高级智能合约转化方法及竞买合约设计与实现 计算机学报
CAS Pages 2021, 44 (3), 652-668., Published 2021
王迪, 秦博涵, 宋伟静, 朱岩
面向法律的智能合约设计与实践 网络空间安全
CS Pages 2020, 11(9): 6, Published 2020
Di Wang, Yan Zhu, Yi Zhang, Guowei Liu
Security Assessment of Blockchain in Chinese Classified Protection of Cybersecurity IEEE Access
IEEE Pages 2020, Published 2020
朱岩, 王静, 郭倩, 刘国伟
基于区块链的智能合约技术研究进展 网络空间安全
CS Pages 2020, 11(9): 3-, Published 2020

北航

Siyuan Wang, Xuehan Zhang, Wei Yu, Kai Hu, Jian Zhu
Smart Contract Microservitization 2020 IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC)
IEEE Published 2020
仝秦玮，李洁，王洁，胡心森，胡凯
一种基于智能合约的全同态加密方法 网络空间安全
CS Pages 2020,11(09):32-38, Published 2020
朱健，胡凯，张伯钧
智能合约的形式化验证方法研究 电子学报
CIE Published 2020
Xinsen Hu, Kai Hu, Siyuan Wang, Qinwei Tong
A Master-Slave Chain Model for Multiple Blockchains
Published 2020
Kai Hu, Teng Zhang, Yi Ding, Jian Zhu, Jean-Pierre Talpin
Verification of Concurrent Code from Synchronous Specifications Science of Computer Programming
ELSEVIER Published 2021
Kai Hu, Ji Wan, Kan Luo, Yuzhuang Xu, Zijing Cheng, Wei-Tek Tsai
Verification Algebra for Multi-Tenant Applications in VaaS Architecture Software Testing, Verification and Reliability
JW Published 2021
Kai Hu, Jian Zhu, Yi Ding 2, Xiaomin Bai, Jiehua Huang
Smart Contract Engineering Electronics
MDPI Published 2020
Hafiz Muhammad Amjad, Kai Hu, Jianwei Niu, Noor Khan, Loïc Besnard, Jean-Pierre Talpin
Translation Validation of Code Generation from the SIGNAL Data-Flow Language to Verilog 2019 15th International Conference on Semantics, Knowledge and Grids (SKG)
IEEE Published 2019
NingGe, Silvano Dal Zilio, Hongyu Liu, Li Zhang, Lianyi Zhang
RT-MOBS: Acompositional observer semantics of time Petri net for real-time property specification language based on μ-calculus Science of Computer Programming
ELSEVIER Published 2021

专著

德法智诚	夏晴，叶玉颜，张韬区块链规范发展的法律应对网络空间安全 CS Pages 2020,11(09):25-31, Published 2020 张韬智能合约法律属性及风险管理网络空间安全 CS Pages 2020,11(09):47-54, Published 2020

专利/软著

北科大	Yan Zhu, Feng Pu, Ruyun Yu, Dandan Li Method and System for Group-oriented Encryption and Decryption with Selection and Exclusion Functions Pub.No.:US20180006811A1 朱岩周志远王中豪陈娥一种基于脚本的属性基访问策略表示与执行方法及系统 2019110594916 朱岩王迪秦博涵宋伟静一种法律合约的智能可执行合约构造与执行方法和系统 202010381549.5 朱岩王静陈娥王迪基于陷门二元单向函数的广播加密方法及装置 202010725369.4 朱岩王中豪王晟典欧阳欢一种基于交易的去中心化访问控制方法和系统 202011189225.8 朱岩王迪范雨晴童晓梅一种基于合同文本标记语言的法律合同交互式标注方法 202110162638.5 朱岩范雨晴王迪童晓梅一种基于合同文本标记语言的智能法律合约生成方法 202110172214.7 朱岩王中豪基于区块链交易的去中心化访问控制系统 2021SR0324983
北航	胡凯、余维、罗戡、丁毅一种建立基于雾计算的智能合约微服务模型的方法 201810596429.X 胡凯、余维、罗戡、丁毅一种建立智能合约微服务化的方法 201810596428.5 胡凯、段张博、白晓敏、陈志东一种区块链系统形式化建模与验证方法 201710450435.X 葛宁、蔡维德、李修璇一种面向法律合同的智能合约模型构建方法及系统 202010524141.9
德法智诚

标准

北科大	标准正式稿（区块链智能合约形式化表达） T/CIE 095-2020
北航