TY - Computer Science A1 - HU Yun-shan, SHEN Yi, ZENG Guang and HAN Wen-bao T1 - New Algorithm for Automatic Deriving Sufficient Conditions of SHA-1 Y1 - 2018-12-01 JF - Computer Science JO - Computer Science SP - 123 EP - 127 VL - 43 IS - 8 UR - https://www.jsjkx.com N1 - 10.11896/j.issn.1002-137X.2016.08.026 ER -