研究针对PRESENT分组密码的代数分析。通过使用S盒的表达式形式，构建出多轮PRESENT加密中的代数方程组。这种构建方程的方法被推广到具有小型S盒的典型SPN型分组密码算法的方程构建问题中。对简化的PRESENT算法进行了攻击实验，采用MiniSAT作为攻击过程中的求解工具，对四轮、六轮PRESENT加密进行实际攻击。可以在1min内恢复四轮加密的所有密钥，数小时内恢复六轮加密的密钥。通过引入了差分思想，将有效攻击轮数提高到八轮。