退出
我的积分:
中文文献批量获取
外文文献批量获取
杨明; 罗军舟;
东南大学;
计算机科学与工程系;
网络室;
江苏;
南京;
210096;
网络安全; 协议分析; Strand空间模型; 认证测试; 认证逻辑;
机译:基于可证明的安全性的安全协议分析器的实现
机译:认证测试在多方安全协议分析中的局限性
机译:对基于阿拉巴马州教师认证测试的目标进行评估的基于字段的值准备和程序内容识别的研究:根据1981年的考试进行的管理和监督。
机译:行为安全领域协议分析和沉默狗方法的实现
机译:(东南大学计算机科学与工程系网络室,江苏南京210096)基于认证测试的安全协议分析
机译:用于安全协议分析的strand空间与multiset重写的比较。
机译:基于网络连接协议分析的网络安全事件识别方法和系统
机译:LTE系统的基于代理的协议分析器和协议分析方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。