针对认证加密算法TinyJAMBU的密钥泄露检测问题，基于可分性质的混合整数线性规划(MILP)构建了立方分析模型，并提出一种缩减轮TinyJAMBU的单密钥比特泄露检测方法。该方法运用不等式方程组刻画了密码算法中基本操作的可分性质模型，并由MILP工具求解及检测密钥泄露情况。测试结果表明：在立方变元取自随机数的第0位至第63位间，仍能快速检测出缩减TinyJAMBU 345加密轮内的单密钥泄露情况；所需的时间复杂度为29加密运算次数；数据复杂度为29选择数据量。与已有攻击方法相比较，该方法在适用性及实现复杂度方面均有明显优势。