退出
我的积分:
中文文献批量获取
外文文献批量获取
范红; 冯登国;
中科院研究生院信息安全国家重点实验室,北京,100039;
非否认协议; 形式化分析; SVO逻辑;
机译:使用带有自动分析工具的形式化模型设计和参数分析多机器人协调协议:一个案例研究
机译:不可否认协议的形式化处理
机译:(非)公平不可否认协议的安全性分析
机译:具有强大安全性的加密协议:不可否认的承诺,并发零知识和隐藏拓扑的多方计算。
机译:豚鼠对形式化和非形式化副Para虫抗原提取物的同质反应。
机译:基于非交互可否认身份验证协议和证明协议的安全互联网投票协议,两个密文是相同明文的加密
机译:使用NpaTRL和NRL协议分析器(预印本)对代表协议的组域进行形式化规范和分析
机译:一种用于检测至少一个引起压力波非随机持续变化的物体的方法。一种计算机分析方法,用于分析检测到的地震或声波信号,以便检测至少一个在频带F中引起信号非随机持续变化的物体。检测至少一个引起感兴趣的地震或声音信号的物体。一种计算机系统,分析检测到的信号,以便检测至少一个引起感兴趣的信号的物体。计算机模块,分析检测到的信号,以便检测至少一个物体引起感兴趣的信号,该设备程序可以被机器读取。检测至少一个物体引起感兴趣的地震或声音的方法是一种有序的方法和计算机程序
机译:服务协议不可否认性(不可否认性)
机译:(54)标题:实现会话持久性和可靠性的协议(57)摘要:本发明涉及网络通信。封装多个次级协议的第一协议用于通过网络进行通信。使用第一个协议可提供会话持久性以及客户端和主机服务之间的可靠连接。在本发明的这个方面的一个实施例中,使用辅助协议之一在第一协议服务和主机服务之间建立第二连接。第一协议服务和主机服务之间的通信是通过辅助协议之一进行的。在另一个实施例中,使用多个第二协议在第一协议服务和多个主机服务之间建立多个第二连接。具体地,多个第二连接中的每个在第一协议服务和不同的主机服务之间建立,并且每个
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。