活现性相关硕士博士期刊学术论文 - 搜论网

活现性相关论文

认证协议的安全性保证

提出了保证认证协议安全性的2个条件：主体的活现性和会话密钥的保密性、新鲜性和关联性，并形式化证明了2个条件满足基于不可区分性的......

期刊

认证协议安全性保证活现性新鲜性关联性 authentication protocol security adequacy liveness fre

认证协议安全性的非形式化分析

安全协议特别是认证协议的非形式化分析在复杂的现代通信中变得尤其重要．本文指出著名的Abadi安全协议设计原则和Lin等文献中关于漏......

期刊

安全协议活现性新鲜性关联性非形式化分析

看过本文同时还关注