@article{包玉龙_930, author = {[包玉龙, 孙鹏飞, 张文辉, 赵颖琪, 朱雪阳]}, title = {物联网应用中访问控制智能合约的形式化验证}, publisher = {《计算机应用》唯一官方网站}, year = {2021}, journal = {计算机应用}, volume = {41}, number = {4}, eid = {930}, pages = {930-938}, keywords = {物联网;访问控制;智能合约;形式化验证;模型检测}, doi = http://www.joca.cn/CN/10.11772/j.issn.1001-9081.2020111732 }