@article{BAO Yulong_930, author = {BAO Yulong, ZHU Xueyang, ZHANG Wenhui, SUN Pengfei, ZHAO Yingqi}, title = {Formal verification of smart contract for access control in IoT applications}, publisher = {Journal of Computer Applications}, year = {2021}, journal = {Journal of Computer Applications}, volume = {41}, number = {4}, eid = {930}, pages = {930-938}, keywords = {Internet of Things (IoT);access control;smart contract;formal verification;model checking}, doi = http://www.joca.cn/EN/10.11772/j.issn.1001-9081.2020111732 }