退出
我的积分:
中文文献批量获取
外文文献批量获取
李梦君; 李舟军; 陈火旺;
国防科学技术大学计算机学院;
长沙;
410073;
安全协议; 逻辑程序; 不动点; 验证策略;
机译:基于插值的安全协议验证方法
机译:基于SPIN的安全协议验证系统
机译:安全协议验证技术(1)-密钥交换协议安全认证中的常见错误
机译:基于逻辑编程的安全协议验证安全协议的抽象和精炼框架
机译:从类型理论到安全协议验证。
机译:提议的环境保护局方法1601的修改用于检测饮用水中的鹅卵石通过基于性能的测量系统和替代测试协议验证方法对当日荧光进行检测和评估
机译:约束逻辑程序的转换技术及其在协议验证中的应用
机译:基于认知模型检验的安全协议验证与优化
机译:合同协议方法,协议验证方法,合同协议系统,协议验证设备,合同协议设备,合同协议程序和协议验证程序
机译:协议协议方法,协议验证方法,协议协议系统,协议验证装置,协议协议装置,协议协议程序和协议验证程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。