本申请公开了一种安全协议分析方法及装置，其中，安全协议分析方法主要包括：对安全协议进行初始化，应用后继产生算法，产生后继状态，并判断该后继状态是否为不安全状态，如果是不安全状态，则给出从初始状态到该状态的路径；如果否，则结束流程。其中，后继产生算法调用了引入特殊代数性质的攻击者知识分析算法进行攻击者推演问题。本申请中的安全协议分析方法中增加了密码操作符所具有的代数性质的处理，增强了DY攻击者的消息处理能力，因此能够检测到由代数性质引起的攻击，适用于当前大部分使用具有特殊代数性质的密码原语的安全协议分析。大大提高成功分析的几率。