协议安全性分析

基于Dolev-Yao模型或计算模型对TLS、IKE、SSH等密码协议进行形式化或非形式化安全分析，识别攻击路径与协议缺陷。