退出
我的积分:
中文文献批量获取
外文文献批量获取
向伟;
西南民族大学电气信息工程学院;
移动AdHoc网络; SADSR; 安全性; BAN逻辑;
机译:基于任何两个逻辑贝尔国家与共享辅助逻辑钟状态的纠缠交换的基于纠缠交换的鲁棒量子对话协议的密码分析和改进
机译:基于机器学习的身份验证和关键协议协议的安全性分析方案
机译:第8章协议分析器的基础知识,与示波器和逻辑分析仪的区别,用法:什么是协议分析器?
机译:基于BAN逻辑的Otway-Rees协议的安全性分析。
机译:安全协议的形式分析:协议组成逻辑。
机译:协议:高剂量Xueshuantong注射液(冻干)降低不稳定心绞痛患者主要不良心血管事件的疗效和安全性:基于的随机平行臂控制双盲和多元临床试验的协议双抗血小板治疗
机译:创新的基于位置的Internet安全协议方案。提出了一种使用信念智能逻辑,特别是通过修改的BAN逻辑的基于位置的方案N-Kerberos安全协议。
机译:基于DTN架构的安全性分析和基于空间网络的捆绑协议规范
机译:基于多个协议的安全性分析系统和方法
机译:用于机动车辆的决策者系统的设备逻辑分析方法,包括在图形和/或矩阵上形成逻辑,以及通过确定通过图形和/或矩阵的边缘形成的路径来基于图形和/或矩阵来分析逻辑。
机译:基于动态ID的RFID互认证协议,提供前向安全性,满足相互认证,机密性,不可区分性,前向安全性
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。