Detection of Unlink Attack Based on Symbolic Execution
HUANG Ning HUANG Shuguang LIANG Zhichao
Journal of South China University of Technology (Natural Science Edition) . 2018, (8): 81 -87 .  DOI: 10.3969/j.issn.1000-565X.2018.08.012