网络安全的核心-密码算法和安全协议

摘要

该文讨论了有关网络安全的两个核心问题：密码算法和安全协议。首先，作者们分析了美国ＮＩＳＴ公布的１５个ＡＥＳ候选算法，由此可见国际分组密码发展的潮流和趋势。其次，作者们重点讨论了当今的热点问题－电子商务协议的形式化分析技术，并介绍了作者们的最新研究成果。