退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:一阶逻辑中安全协议的自动分析
Christoph Weidenbach;
机译:一阶逻辑中加密协议保密的自动验证
机译:基于认证事件逻辑的安全协议自动分析新方法
机译:在一阶逻辑中自动分析安全协议
机译:安全协议的形式分析:协议组成逻辑。
机译:802.11s无线网状网络路由协议及其安全路由协议的安全性分析
机译:一阶逻辑中密码协议保密性的自动验证
机译:距离边界协议:认证逻辑分析和共谋攻击
机译:自动协商系统和安全协议的方法,特别是与服务器或域内的其他节点协商安全协议
机译:在分布式终端网络中使用自适应安全协议的面部识别,图像分析和分散学习框架
机译:基于网络连接协议分析的网络安全事件识别方法和系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。