退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:象征性地使用罗霖分析安全协议
David Basin; Cas Cremers; Jannik Dreier; Ralf Sasse;
机译:分析安全协议中物理邻近性的符号框架
机译:使用双线性配对对组密钥交换协议进行计算合理的符号安全性降低分析
机译:TAMARIN证明用于安全协议的符号分析
机译:需要改进符号语言以促进神经人机/计算机通信协议
机译:定性网络:分析生物信号网络的一种象征性方法
机译:TamaRIN prover用于安全协议的符号分析
机译:分析通信协议和通道安全性的平台
机译:修改消息以分析通信协议和通道的安全性
机译:分析直通设备的通信协议和通道的安全性
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。