组合协议相关硕士博士期刊学术论文 - 搜论网

组合协议相关论文

基于安全协议操作语义模型的组合协议分析及验证

协议的可组合性问题是安全协议形式化分析及验证领域的一个公开问题。通过提出采用安全协议的操作语义模型对组合协议进行形式分析......

期刊

组合协议协议分析操作语义模型 Scyther compositional protocol protocol analysis operational

看过本文同时还关注