非形式化方法论文

密码协议工程与基于新鲜性的协议安全研究
论文摘要密码协议的安全性研究是网络安全研究的主要热点。本论文主要研究了如何应用系统工程思想和形式化方法来分析和设计密码协议,取得的主要研究结果如下:1.将系统工程思想引入密码协...