yin, jq; zhu, hb; fei, y. specification and verification of the zab protocol with tlaj].journal of computer science and technology,2020,35(6):1312-1323."被以下哪个数据库收录? () (出题人:华东师范大学顾笑迎]