强类型抽象相关硕士博士期刊学术论文 - 信丰网

强类型抽象相关论文

基于Strand空间分析具有类型缺陷的认证协议

通过去除Srtand空间中的强类型抽象假设，引入Strand模板的概念与一个入侵者的伪操作，进而利用认证测试方法，实现了对具有类型缺陷的认......

期刊

STRAND空间认证协议强类型抽象类型缺陷认证测试 strand spaces authentication protocol strong typ

看过本文同时还关注