陈火旺 张艳 窦文华 李舟军 李莲治 殷长友 刘锋 李梦君 郭福顺

类型 RETE算法 模型检测 WTLS 产生式系统 模型检验 信念逻辑 安全协议 安全 SMV 证券交易 认证性 WAP 认证 匹配算法

国防科技大学计算机学院 哈尔滨工业大学计算机科学与工程系 四川大学数学学院 武汉大学软件工程国家重点实验室 黑龙江哈尔滨 湖南长沙 湖北武汉 四川成都