Ronghui GuBooksSecurity Analysis and Formal Verification on Blockchain and Its ApplicationsAuthor data: Open Library