Athena算法相关硕士博士期刊学术论文 - 信丰网

Athena算法相关论文

一种安全协议分析算法研究

研究分析了Athena自动协议形式化分析算法的原理。该算法能够分析协议的各种安全属性，它基于扩展了的串空间模型，利用了消息间的因果......

期刊

安全协议串空间 Athena算法模型检测 security protocol strand space Athena algorithm model che

改进Athena算法的多协议攻击自动化验证方法

多协议环境下协议安全性问题是安全协议形式化分析验证领域的一个公开问题。针对此问题,在分析Athena算法的基础上提出了一种多协......

期刊

多协议攻击自动化验证安全属性 Athena算法逆向搜索

看过本文同时还关注