王晋东 唐俊 韩继红 刘建峰 罗朝平 仇悦 王景会 谢杰 欧阳旦 汤光明 郭锦娣 张鲁国 桑海 管子铭 林长春 王志远

仿真组件 时序图 确认 离散事件系统 验证 序列密码 形式化 接口设计 延时变迁 蠕虫 可重构处理结构 数据安全 漏洞主机分布 信息系统 本地扫描 建模与仿真 线性反馈移位寄存器 传播模型 离散事件系统规范 模型 校核 网络安全 硬盘驱动器 可达图 混合密码 多媒体同步模型 动态可靠性建模 分组密码 多媒体对象 随机分布函数

信息工程大学电子技术学院 电子技术学院 解放军信息工程大学电子技术学院 河南郑州 信息工程大学 中国人民解放军电子技术学院计算机系