信息工程大学学报2012，Vol.13Issue(1)：1-7,7.
利用一种SAT问题全解算法求Trivium可滑动对
All-Solution SAT Algorithm for Finding Slid Pairs in Trivium
摘要
关键词
SAT问题/MiniSAT/序列密码/Trivium/可滑动对分类
信息技术与安全科学引用本文复制引用
戴江海,戚文峰..利用一种SAT问题全解算法求Trivium可滑动对[J].信息工程大学学报,2012,13(1):1-7,7.基金项目
国家自然科学基金资助项目(60833008,61070178) （60833008,61070178）
