退出
我的积分:
中文文献批量获取
外文文献批量获取
谢鸿波; 吴远成; 刘一静; 周明天;
电子科技大学计算机科学与工程学院,四川成都,610054;
重庆通信学院三系数据链教研室,重庆,400035;
四川大学计算机学院,四川成都,610065;
知识推理; 进程演算; 形式化分析; 安全属性;
机译:MANETs路由协议中攻击的提议分析模型与仿真:一种安全的移动模型的实现。
机译:一种改进的组合抗微生物分析模型:Chou-talalay组合指数法的替代品
机译:一种预期,观察性研究,确定患有干咳的印度患者人口统计特征及临床特征及疗效和安全性与磷酸铁盐的固定剂组合的效果和安全性
机译:安全与非安全传输协议对SIP代理服务器性能的比较研究:一种实验方法
机译:安全集成消息传递:一种用于安全电子邮件的协议。
机译:在安全性方面灌输医学专业知识:一项针对混合方法干预的研究协议旨在试用一种嵌入式学习方法该方法以使用定制设计的棋盘游戏为中心
机译:基于SAT的安全协议分析模型检查
机译:一种用于最小延迟路由的故障安全分布式协议
机译:一种用于安全数据传输的基于密码的认证和会话密钥协议的方法,一种用于安全地传输数据的方法以及一种电子数据传输系统
机译:一种安全系统及其方法,该方法利用能够消除根据单独安全协议操作的许多问题的遥测协议
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。