%0 Journal Article %1 journals/jsjkx/HuSZH16 %A Hu, Yunshan %A Shen, Yi %A Zeng, Guang %A Han, Wenbao %D 2016 %J 计算机科学 %K dblp %N 8 %P 123-127 %T SHA-1充分条件自动化求解算法 (New Algorithm for Automatic Deriving Sufficient Conditions of SHA-1). %U http://dblp.uni-trier.de/db/journals/jsjkx/jsjkx43.html#HuSZH16 %V 43

@article{journals/jsjkx/HuSZH16, added-at = {2020-03-25T00:00:00.000+0100}, author = {Hu, Yunshan and Shen, Yi and Zeng, Guang and Han, Wenbao}, biburl = {https://www.bibsonomy.org/bibtex/23f95a69d2037e4a7d9c5aa1d6bf951ef/dblp}, ee = {https://doi.org/10.11896/j.issn.1002-137X.2016.08.026}, interhash = {d8262d4ac4d992303afa45293a8ccf3d}, intrahash = {3f95a69d2037e4a7d9c5aa1d6bf951ef}, journal = {计算机科学}, keywords = {dblp}, number = 8, pages = {123-127}, timestamp = {2020-03-26T11:44:09.000+0100}, title = {SHA-1充分条件自动化求解算法 (New Algorithm for Automatic Deriving Sufficient Conditions of SHA-1).}, url = {http://dblp.uni-trier.de/db/journals/jsjkx/jsjkx43.html#HuSZH16}, volume = 43, year = 2016 }