退出
我的积分:
中文文献批量获取
外文文献批量获取
谢鸿波; 周明天;
电子科技大学-卫士通信息安全联合实验室;
成都;
610054;
类BAN逻辑; 模态逻辑; 形式语义;
机译:关于BAN逻辑和哈希函数,或:不合理的推理规则如何导致问题
机译:"无怪乎"的语法化及其发展——兼论"怪"类副词的功能差异
机译:TMC125,一种新型的对非核苷类逆转录酶抑制剂具有抵抗力的人类免疫缺陷病毒1型具有活性的下一代非核苷类逆转录酶抑制剂。
机译:具有类BAN逻辑的FWAI的安全性分析
机译:在可变极化巨噬细胞中了解人类免疫缺陷病毒1的进入抑制和人类免疫缺陷病毒1和新隐球菌的共病机理。
机译:Debio-025一种新的亲环蛋白结合剂在人类细胞中抑制人类免疫缺陷病毒1型复制。
机译:创新的基于位置的Internet安全协议方案。提出了一种使用信念智能逻辑,特别是通过修改的BAN逻辑的基于位置的方案N-Kerberos安全协议。
机译:一种新的毛颚类和物种,兼论其他分类和分布。
机译:用于扩增1型人类免疫缺陷病毒(HIV-1)(变种)的核酸的寡核苷酸底漆,一对寡核苷酸(变种),一组寡核苷酸(变种),一组标识人类免疫缺陷病毒HIV-1(变种),一种扩增人类免疫缺陷病毒HIV-1核酸的方法
机译:一种新的多肽-人类听力缺陷相关蛋白38.39和编码该蛋白的多核苷酸
机译:一种新的多肽-人类听力缺陷相关蛋白38.39及其编码的多核苷酸
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。