退出
我的积分:
中文文献批量获取
外文文献批量获取
刘晶; 伏飞; 肖军模; 陆阳;
解放军理工大学通信工程学院,南京210007;
不可否认协议; 形式化设计; 逻辑; 可信第三方;
机译:不可否认协议的形式化处理
机译:描述基于特征的设计方法的一种形式化方法
机译:一种基于协议组成逻辑的形式化匿名的新方法
机译:基于公平不可否认协议的CORBA不可否认服务
机译:具有强大安全性的加密协议:不可否认的承诺,并发零知识和隐藏拓扑的多方计算。
机译:使用低速或高速网络的基于X协议的医疗远程咨询系统。一种特定的设计方法。
机译:一种适用于缓存一致性协议的硬件控制形式化设计方法
机译:pEpa不可否认协议模型的有效性分析
机译:服务协议不可否认性(不可否认性)
机译:加密协议安全验证设备,加密协议设计设备,加密协议安全验证方法,加密协议设计方法,加密协议安全验证程序和加密协议
机译:使用基于时间的一次性密码(TOTP)的不可否认协议
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。