• 使用基于进程代数的方法...
• Ad Hoc网络安全路由协议...
• 一种无线传感器网络形式...
• 网络攻击过程的形式化描...
• 网络服务行为的进程代数...
• 无线传感器网络模型的形...
• 一种基于进程代数的软件...