退出
我的积分:
中文文献批量获取
外文文献批量获取
王全来; 王亚弟; 韩继红;
解放军信息工程大学电子技术学院;
郑州;
450004;
解放军防空兵指挥学院;
450052;
进程代数; 概率进程; 概率可观察等价性; 安全协议分析;
机译:用于加密协议分析的概率多项式时间过程演算
机译:基于随机多地址访问和三概率联合控制的无线传感器网络MAC协议分析
机译:基于可证明的安全性的安全协议分析器的实现
机译:概率多项式时间过程演算和安全协议分析
机译:概率多项式时间过程演算,用于分析密码协议。
机译:用于在给定种类树的情况下计算排名基因树的概率的多项式时间算法
机译:概率多项式时间过程微积分与安全协议分析
机译:评估安全援助有效性的方案理论(基于波斯尼亚和黑塞哥维那的和平执行进程)
机译:使用主动和自适应自动调节CPU分配前端进程进行实时协议分析的方法和设备
机译:基于网络连接协议分析的网络安全事件识别方法和系统
机译:LTE系统的基于代理的协议分析器和协议分析方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。