本发明公开了一种面向计算机的对称密码形式化描述方法及系统，包括：将对称密码分解为多个组件函数；根据第i个组件函数中单个操作的输入比特变量，调用级联语句将第i个组件函数的输入级联为输入n1比特变量；根据第i个组件函数中单个操作的输出比特变量，调用分解语句将输出比特变量分解为n2个1比特变量；根据输入n1比特变量和输出比特变量，对第i个组件函数的单个操作进行形式化描述；将n2个1比特变量与第i+1个组件函数进行比特置换后，依次得到对称密码中每个组件函数的形式化描述。提高使用计算机辅助分析对称密码的算法安全性和适用性，解决手动分析对称密码算法实现效率低的问题。