...文 关键词：移动进程代数；Pi-演算；移动工作台MWB；Aziz-Diffie；无线通信安全协议 [gap=613]Keywords mobile process algebra; Pi-calculus; Mobility Workbench; Aziz-Diffie; wireless communication security ..
基于10个网页-相关网页
移动进程代数
Mobile process algebra
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动