刘永军 舒启林 刘林钢 魏永合 方海 许文 陈勤 王艳芳 叶春 茅剑锋 姜浩 周丽 陈伟 高占凤 赵千川 林惠民 王彦芳

RNS 签名算法 散列函数 隧道技术 权限 时间约束一致性 时间约束工作流网 符号互模拟 最大时间差 数字签名 协议 网络安全 合理性 π-演算 VPN 进程代数 授权约束 接口时序验证 状态空间搜索 CCMP 传值进程 IPv6协议 事件时序分析 任务 工作流 异步电路 互模拟