(1) School of Computer Science and Engineering University of Electronic Science and Technology of China Chengdu PR China; (2) Key Laboratory of Network and Software Security Assurance of the Ministry of Education Institute of Software School of Electronics Engineering and Computer Science Peking University Beijing PR China; (3) State Key Laboratory of Information Security Institute of Software Chinese Academy of Sciences Beijing PR China