安全传输层握手协议相关硕士博士期刊学术论文 - 搜论网

安全传输层握手协议相关论文

基于串空间理论的安全协议自动验证

针对目前串空间理论依赖分析人员主观判断、无法使用自动化工具进行验证的问题,提出了基于串空间理论的协议认证属性标准化验证过......

期刊

串空间认证测试安全协议自动化验证认证属性 BAN-Yahalom协议安全传输层握手协议 strand space authentication te

看过本文同时还关注