郭荷清 林满山 王皓 王慧 欧毓毅 明仲 王学斌 杨巍 肖志娇

性能建模 GDH签名 代数规范 聚合 回归分析 非代理代理控制IUnkown接口指针 可转化签名 性能测试 伸缩性 非交互式零知识证明 排队网 模型检查 重写逻辑 模型转换 接口继承 可执行代数规范 公平 电子商务 包容 UML 模型驱动构架

华南理工大学计算机科学与工程学院 华中理工大学计算机学院 广东广州 国防科学技术大学计算机学院网络与信息安全... 深圳大学信息工程学院