新一代网络环境下对称密码算法的自动化分析与设计技术研究