Security Assessment of Blockchain in Chinese Classified Protection of Cybersecurity. - Di Wang 049; Yan Zhu 010; Yi Zhang 084; Guowei Liu (IEEE Access, 2020)

TA-SPESC: Toward Asset-Driven Smart Contract Language Supporting Ownership Transaction and Rule-Based Generation on Blockchain. - Yan Zhu 010; Weijing Song; Di Wang 049; Di Ma 001; William Cheng-Chung Chu (IEEE Trans. Reliab., 2021)