科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
潘进; 顾香; 王小明;
应用Pi演算; 密码原语; WTLS握手协议; Pro; Verif; 秘密性; 认证性;
机译:基于Petri网和Pi演算的协作业务流程的统一建模和分析
机译:基于授权模型使用Pi演算对动态Web服务组合建模
机译:基于Pi演算的大型设备控制系统建模
机译:使用WTLS握手协议的无线应用程序中端到端安全性的性能评估
机译:基于分数演算理论的粘弹性材料的有限元建模。
机译:拉格朗日乘子的基于投影的稳定化在沉浸几何流体薄结构相互作用分析中的应用及其在心脏瓣膜建模中的应用
机译:具有用户匿名和转发保密性的WTLS握手协议⋆
机译:反应pi exp-p的实验研究表示pi exp 0 pi exp 0 N为2.01 GeV / C.它在pi pi信道的同时相移分析中的应用
机译:基于用户选择的重要条件,RADIUS搜索和实时同时多源数据汇总,分析和演算的结果,结合有效的定制位置和目的地,对所选位置和目的地进行有效定制分组和协调的旅行计划应用程序/或用于用户偏好的智能设备
机译:基于Pi演算的消息传递处理器
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。