退出
我的积分:
中文文献批量获取
外文文献批量获取
高三海; 董荣胜;
桂林电子科技大学,计算机与控制学院,广西,桂林,541004;
组合协议; 协议分析; 操作语义模型; Scyther;
机译:基于SSL / TLS协议的软硬件和Iriscode标识符的新安全无密码多服务器修改的身份验证主密钥协议方案,用于电子学习和类似的基于Web的服务
机译:基于机器学习的身份验证和关键协议协议的安全性分析方案
机译:基于身份验证的安全协议使用TTP forwmn的安全协议
机译:无双线性配对的车辆状态消息广播的基于安全有效身份的有条件隐私保护身份验证协议
机译:识别恶意参与者的基于安全可撤销的基于ID的经过身份验证的组密钥交换协议
机译:基于非交互可否认身份验证协议和证明协议的安全互联网投票协议,两个密文是相同明文的加密
机译:基于认知模型检验的安全协议验证与优化
机译:加密协议安全验证设备,加密协议设计设备,加密协议安全验证方法,加密协议设计方法,加密协议安全验证程序和加密协议
机译:密码协议安全验证设备,密码协议设计设备,密码协议安全验证方法,密码协议设计方法和计算机程序产品
机译:使用基于加密安全协议的通信的客户端服务器注册方法和使用基于加密安全协议的通信的客户端与服务器之间的服务器验证方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。