物联网应用中访问控制智能合约的形式化验证
包玉龙, 朱雪阳, 张文辉, 孙鹏飞, 赵颖琪
Formal verification of smart contract for access control in IoT applications
BAO Yulong, ZHU Xueyang, ZHANG Wenhui, SUN Pengfei, ZHAO Yingqi
计算机应用
.
2021, (4): 930
-938
.
DOI: 10.11772/j.issn.1001-9081.2020111732
