退出
我的积分:
中文文献批量获取
外文文献批量获取
黎波涛; 罗军舟;
东南大学;
计算机科学与工程系;
江苏;
南京;
210096;
不可否认; 时限性; SVO逻辑; 形式化分析;
机译:不可否认协议的形式化处理
机译:基于改进链空间的多方不可否认协议公平性分析
机译:基于公平不可否认协议的CORBA不可否认服务
机译:具有强大安全性的加密协议:不可否认的承诺,并发零知识和隐藏拓扑的多方计算。
机译:协议和危害法规中的安全推理形式化。
机译:通过模型检验定量分析概率不可否认协议
机译:pEpa不可否认协议模型的有效性分析
机译:服务协议不可否认性(不可否认性)
机译:(54)标题:用于医学监测模块的协议分析仪系统和方法(57)摘要:提供了用于医学监测模块测试系统的协议分析仪和主机模拟器。协议分析器可以以第一协议来监视从医学监视模块到主机或主机模拟器的通信。协议分析器可以解析第一协议的消息并将其显示在计算机的显示器上。主机模拟器可以从医学监测模块接收数据,并且在显示器上显示与生理参数相对应的数据。
机译:使用基于时间的一次性密码(TOTP)的不可否认协议
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。