罗铭 赵宏 陈书义 王光兴 何光宇 李佳 商瑞强 姜月秋 刘积仁 赵大哲 赵建立 赵博 孙锦山 陈剑

NSIS 谓词逻辑 Petri网 动态防御 认证 可达性分析 网络管理 T-不变量分析 条件谓词逻辑 多元化网络管理协议 访问控制 最小均方预测 可信计算模块 管理体系 记录因子 下一代通信网络 无线资源管理 SPIT 基于身份密码系统 移动可信模块 安全引导 多媒体卫星通信 资源申请 IP多媒体系统 反馈评判 下一代网络 VoIP SIP 融合 信息安全

东北大学信息科学与工程学院 辽宁沈阳 东北大学计算机软件国家工程研究中心 东软研究院 东北大学研究院