熊光泽 陈亮 郑建仙 刘锦德 李乐民 罗仁泽 余兵 胡斌 陈伟 郭兵

评价指标 形式化方法 检测点 理想防危策略 Linux 增量检测点 安全系统 可靠性设计 设计型故障 内存管理 多协议标签交换协议 集成服务资源预留 防危核 联锁系统 语音服务质量 时延抖动 主动网络 VoIP 安全关键系统 调度延迟 误差分析 网络延迟 抖动 资源控制核 区分服务 反射 软件工程 安全 EtoC 可抢占内核

厦门大学信息科学与技术学院 电子科技大学计算机学院 电子科技大学通信学院 福建厦门 四川成都 厦门大学计算机与信息工程学院