退出
我的积分:
中文文献批量获取
外文文献批量获取
刘威; 郭渊博;
解放军信息工程大学网络空间安全学院;
郑州450001;
解放军信息工程大学数学工程与先进计算国家重点实验室;
安全协议; 形式化分析; 安全属性; 抽象通道;
机译:基于密码的身份验证协议的自动分析:CSP / FDR模型检查和AVISPA
机译:基于信道信息过度听到的基于异构网络下行链路应用单元格范围扩展的分布式资源分配方法研究
机译:基于QR分解的频域扩展和码复用的基于QR分解的复杂度降低型MLD方法研究
机译:基于数据扩展算法的右审查数据的一种分布选择方法研究
机译:交通设施综合评价方法研究-基于扩展成本效益分析的方法
机译:一种基于纳米通道的光学DNA映射的快速可扩展Kymograph对准算法
机译:一种基于卫星链路中长伪噪声码的扩展副本折叠算法的双通道采集方法
机译:一种小扰动方法研究并行通道沸腾流动振荡
机译:一种基于基础扩展模型的通道均衡方法
机译:音频解码器,音频编码器,用于基于编码表示提供至少四个音频通道信号的方法,用于基于至少四个音频通道信号提供编码表示的方法以及使用带宽扩展的计算机程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。