蒋昌俊 王成 刘海峰 陈刚 张广胜 汤宪飞 杜晓丽 潘理

系统需求 Horn子句 Petri网 安全性 本体 同步分解 约束条件 模拟

同济大学 山东青岛 计算机科学与工程系 北京信息安全测评中心 同济大学计算机科学与工程系 同济大学计算机科学与技术系 同济大学电子与信息工程学院 山东科技大学信息科学与工程学院