朱涵 王国钧 李国强 田小鹏 朱玉堦 傅育熙 沈云付

操作符树 策略 限定关系 测试等价 认证性 数学模型 网络管理 分布式数据库 Spi演算 语义网络 进程演算 域 类pi演算 消息推理 情报分析 等价变换 电子支付协议 匿名性 Kerberos协议 安全协议 可达关系

湖州师范学院计算机系 上海交通大学计算机系 浙江湖州 上海交通大学计算机科学与工程系 湖州师专计算机系 湖州师范学院计算机科学与技术系