孟学军 严飞 伍前红 丁玉龙 肖瑾瑜 朱智强 傅建明 汪红 杜瑞颖 金刚 宋扬 王丽娜 郭曦 余发江 管海明 张帆 兰凯国 覃中平 赵波 李立新 罗捷 张云麟 杨飏 加米拉·沙塔尔 张治中 刘合国 杨芳 胡颖 徐士伟 陈联俊

容错技术 远程证明 测试优化 序列密码 ATM 一阶逻辑 学科建设 信息科学技术 纠错码 正形置换多项式 可信度 演化分析 差分特征 信息安全 算法 线性分析法 正形矩阵 可信计算平台 模型检测 可靠性技术 可信软件栈 一致性测试 管理员 RSA算法 计算机 指针安全 可信平台模块 报文鉴别码 安全计算机 可靠性

湖北武汉 武汉大学数学与计算机科学学院 华中理工大学数学系 海军工程大学电子工程学院 华中农业大学理学院 武汉大学计算机学院 华中农业大学现代教育技术中心 湖北大学数学与计算机科学学院