退出
我的积分:
中文文献批量获取
外文文献批量获取
卢凤清; 林东岱;
中国科学院软件研究所;
中国科学院软件研究所 北京100080中国科学院研究生院;
北京100049;
北京100080;
串空间; 认证测试; 形式化方法; 认证协议;
机译:通过重写来推断OTWAY-REES协议中的类型攻击
机译:云存储系统计算开销的改进方法验证协议
机译:使用混合方法和过程改进方法来探索初级保健接待员工作的协议
机译:一个加密声音Dolev-yao风格的Otway-Rees协议安全证明
机译:一个简单的协议 ,以 改善 更年期 / 绝经后妇女的 抗高血压 药物依从性 : 质量改进 项目
机译:协议:一种量化全身性获得性抵抗力(SAR)激活的改进方法
机译:通过符号安全证明1的Otway-Rees协议的真实或随机密钥保密
机译:不稳定自由路由:超越一个协议实例
机译:(54)标题:实现会话持久性和可靠性的协议(57)摘要:本发明涉及网络通信。封装多个次级协议的第一协议用于通过网络进行通信。使用第一个协议可提供会话持久性以及客户端和主机服务之间的可靠连接。在本发明的这个方面的一个实施例中,使用辅助协议之一在第一协议服务和主机服务之间建立第二连接。第一协议服务和主机服务之间的通信是通过辅助协议之一进行的。在另一个实施例中,使用多个第二协议在第一协议服务和多个主机服务之间建立多个第二连接。具体地,多个第二连接中的每个在第一协议服务和不同的主机服务之间建立,并且每个
机译:IPV4终端和IPV6终端之间的协议转换设备,或者使用映射表和方法的一个应用程序和另一个应用程序之间的协议转换设备,以及协议转换设备的映射表的生成方法
机译:用于增强增强型数字图像的电气设备;一种改进的生成地址的方法,用于通过以下方式提取对一个或多个像素随机访问的存储器:输入图像数字电子设备有一个限制;从至少一个输入图像中提取出的数字发生器有一个极限;改进的地址发生器电路,用于在一个或多个像素的随机存取存储器中生成地址。完美处理数字图像的电器;用于处理DA的改进方法至少一个输入图像数字电子设备具有导出输出图像处理的数字电子设备的限制;数字图像处理电路中的随机存取存储器和会议桌中的数字图像处理电路中的随机存取存储器
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。