对分组密码的形式化函数分析及其应用
彭昌勇, 朱创营, 黄莉, 祝跃飞, 王靳辉
Formal Function Cryptanalysis of Block Cipher and Its Application
PENG Chang-yong, ZHU Chuang-ying, HUANG Li, ZHU Yue-fei, WANG Jin-hui
电子学报 . 2013, (11): 2314 -2316 .  DOI: 10.3969/j.issn.0372-2112.2013.11.032