退出
我的积分:
中文文献批量获取
外文文献批量获取
肖美华; 刘欣倩; 李娅楠; 程道雷; 梅映天;
华东交通大学软件学院;
南昌330013;
中国人民财产保险股份有限公司宁波市分公司信息技术部;
浙江宁波315000;
形式化方法; 事件逻辑; 强认证理论; Neuman-Stubblebine协议;
机译:基于无证书密钥封装传感器机制的可证明安全的第三方认证密钥交换
机译:具有可证明安全性的简单三方基于密码的密钥交换协议
机译:新的基于身份的第三方认证密钥协议,具有可验证的安全性
机译:预先启动健康和安全审查(PSR) - 在项目开始时进行的第三方独立审查,以准备证明认证
机译:网络协议的安全性分析:组合推理和复杂性理论基础。
机译:在标准模型中具有可验证安全性的仅密码认证的第三方密钥交换
机译:基于TLs-Verifier的三方组Diffie-Hellman密码认证的安全性证明
机译:TLs中密码认证的安全性证明 - 基于Verifier的三方小组Diffie-Hellman
机译:使用第三方认证,认证方法和认证程序的认证系统,可提高安全性
机译:基于令牌的两要素认证和虚拟专用网系统的网络管理和安全性以及在线第三方多网络管理方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。