%0 Journal Article %1 journals/ieicet/QiaoHSMK15 %A Qiao, Kexin %A Hu, Lei %A Sun, Siwei %A Ma, Xiaoshuang %A Kan, Haibin %D 2015 %J IEICE Transactions %K dblp %N 1 %P 72-80 %T Improved MILP Modeling for Automatic Security Evaluation and Application to FOX. %U http://dblp.uni-trier.de/db/journals/ieicet/ieicet98a.html#QiaoHSMK15 %V 98-A

@article{journals/ieicet/QiaoHSMK15, added-at = {2018-09-28T00:00:00.000+0200}, author = {Qiao, Kexin and Hu, Lei and Sun, Siwei and Ma, Xiaoshuang and Kan, Haibin}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2ae90fc840bbbfaed2f7cf057a5439a00/dblp}, ee = {http://search.ieice.org/bin/summary.php?id=e98-a_1_72}, interhash = {5a613ee99a2bdb737f7cd043e325df15}, intrahash = {ae90fc840bbbfaed2f7cf057a5439a00}, journal = {IEICE Transactions}, keywords = {dblp}, number = 1, pages = {72-80}, timestamp = {2019-09-27T07:11:51.000+0200}, title = {Improved MILP Modeling for Automatic Security Evaluation and Application to FOX.}, url = {http://dblp.uni-trier.de/db/journals/ieicet/ieicet98a.html#QiaoHSMK15}, volume = {98-A}, year = 2015 }