王小丽 杜军威 吴芳美 谭渊 王树梅 喻钢 李弋强

安全性评估 面向对象 安全软件 仿真 层次分析法 评估 联锁软件 通信协议测试 故障树分析法 排队 扩展有限状态机 重要抽样 时间Petri网 唯一输入输出序列 Petri网 联锁逻辑 安全性 软件安全性 安全性分析 安全苛求系统 软件测试 构件 J-M模型 安全因子

同济大学电子与信息工程学院 山东青岛 青岛科技大学信息科学与技术学院 同济大学电子与信息学院 上海大学嘉定校区悉尼工商学院 上海大学悉尼工商学院 青岛科技大学信息科学技术学院 同济大学嘉定校区电子与信息工程学院