退出
我的积分:
中文文献批量获取
外文文献批量获取
丁洪;
贵州大学;
理性交换; 公平性; 期望均衡; 信誉机制; 博弈逻辑; 形式化分析; 密码协议;
机译:使用带有自动分析工具的形式化模型设计和参数分析多机器人协调协议:一个案例研究
机译:选择密钥模型中基于Schnorr签名的基于证书的公平交换协议
机译:一种形式化乐观公平交换协议的新方法
机译:用于移动应用程序的基于SIP的状态和动态发现协议的形式化,验证和可执行CPN模型。
机译:对研究进行系统回顾和荟萃分析的协议其中测试了大麻素在病理性或与损伤相关的持续性疼痛的动物模型中的镇痛作用
机译:攻击公平交换协议的并行模型与跟踪模型11我们感谢匿名审阅者提出的许多有用建议,并感谢C. Marchetti讨论Fair-Exchange协议(容错)本地和分布式实现的棘手问题。 ASI,CNR和MURST赠款部分支持这项工作。马萨奇(F. Massacci)感谢CNR奖学金203-7-27的支持。
机译:使用NpaTRL和NRL协议分析器(预印本)对代表协议的组域进行形式化规范和分析
机译:血脑屏障体外模型,病理性血脑屏障体外模型以及药物筛选方法,使用该方法的病理性血脑屏障功能分析方法,病因分析方法
机译:结构分析方法,结构分析装置,结构分析程序,用于结构分析的物理性质计算方法,用于结构分析的物理性质计算装置以及用于结构分析的物理性质计算程序
机译:热物理性质分析方法,使用该方法的热物理性质分析装置以及热物理性质分析程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。