退出
我的积分:
中文文献批量获取
外文文献批量获取
张玉清; 王磊; 肖国镇; 吴建平;
清华大学信息网络工程研究中心;
北京;
100084;
西安电子科技大学信息保密研究所;
西安;
710071;
模型检测; 密码协议; 形式方法;
机译:Needham-Schroeder系列的协议派生系统
机译:使用椭圆曲线Diffie-Hellman和隐私保护公钥基础结构的新的两轮动态经过身份验证的贡献组密钥协议协议
机译:分析Needham-Schroeder公钥协议:两种方法的比较
机译:公钥基础结构有限的网络中的拜占庭可靠域名服务协议。
机译:没有服务器公钥的简单三方密钥交换协议的安全性
机译:使用FDR破坏和修复Needham-Schroeder公钥协议
机译:利用高级petri网对Needham-schroeder认证协议进行建模
机译:用于监视新可再生能源的电量数据的基于元模型的协议的小批量传输的数据转换方法和用于监视新可再生能源的电量数据的基于元模型的协议的小批量传输的数据传输系统
机译:监测量新能源的基于元模型的协议的小量传输的数据传输方法,基于监测量新能源的基于元模型的协议的小量传输数据传输系统
机译:公钥证书发行装置,公钥证书发行系统,公钥证书发行程序和公钥证书发行方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。