计算机应用
     首页 |  广告服务 |  期刊介绍 |  编委会 |  期刊订阅 |  下载中心 |  审稿须知 |  联系我们 |  投稿常见问题解答 |  English Version
计算机应用  2021, Vol. 41 Issue (4): 930-938    DOI: 10.11772/j.issn.1001-9081.2020111732
2020 CCF中国区块链技术大会(CCF CBCC 2020) 最新目录| 下期目录| 过刊浏览| 高级检索 |
物联网应用中访问控制智能合约的形式化验证
包玉龙1,2, 朱雪阳1,2, 张文辉1,2, 孙鹏飞1,2, 赵颖琪1,2
1. 计算机科学国家重点实验室(中国科学院软件研究所), 北京 100190;
2. 中国科学院大学, 北京 100049
Formal verification of smart contract for access control in IoT applications
BAO Yulong1,2, ZHU Xueyang1,2, ZHANG Wenhui1,2, SUN Pengfei1,2, ZHAO Yingqi1,2
1. State Key Laboratory of Computer Science (Institute of Software, Chinese Academy of Sciences), Beijing 100190, China;
2. University of Chinese Academy of Sciences, Beijing 100049, China



版权所有 ©2005 四川计算机应用杂志社有限公司
新出网证(川)字026号  蜀ICP备 05010208 号
地址:四川省成都市武侯区人民南路四段9号中国科学院成都分院《计算机应用》 编辑部
邮政编码: 610041 电话: 028-85224283-803 E-mail: bjb@joca.cn