退出
我的积分:
中文文献批量获取
外文文献批量获取
徐晓东; 岳殿武;
南京邮电学院通信工程系;
密码协议; 形式化分析; 保密通信;
机译:正式验证三原则密码协议的方法
机译:构建公钥密码系统的新原则以及基于新原则构建的几个新的公钥密码系统
机译:Zhang等人的会话发起协议的基于智能卡的密码认证密钥协商协议的密码分析。
机译:用推理方法对密码协议进行形式化分析的形式化
机译:设计分组密码和密码协议的方法。
机译:协议和危害法规中的安全推理形式化。
机译:加密和密钥的安全形式化及其关系 信息理论密码学协议
机译:是什么使密码协议安全。正式密码协议分析中需求规范的演变
机译:密码协议安全验证设备,密码协议设计设备,密码协议安全验证方法,密码协议设计方法和计算机程序产品
机译:密码协议生成装置,密码协议生成方法和程序
机译:密码协议运行装置,密码协议运行方式及程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。