退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:基于SAT的安全协议分析模型检查
Alessandro Armando; Luca Compagna;
机译:基于SAT的模型检查以进行安全协议分析
机译:SATMC:基于SAT的模型检查器,用于安全协议,业务流程和安全API
机译:基于SAT的模型检查安全协议使用规划图分析
机译:安全协议的形式分析:协议组成逻辑。
机译:802.11s无线网状网络路由协议及其安全路由协议的安全性分析
机译:基于SAT的安全协议模型检查的优化入侵者模型
机译:在分布式终端网络中使用自适应安全协议的面部识别,图像分析和分散学习框架
机译:基于网络连接协议分析的网络安全事件识别方法和系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。