黄云森 袁禄来 龚巧华 张立臣 李舟军 李梦君 李援 王伟 马竹根 张佑生 王焕宝 黎升洪 曾国荪 江魁 董玉梅 周倜

Petri网 进程代数 模糊时间 Web服务 串空间图 验证 实时系统 pi-演算 EFTN Web编排 SPVT 密码协议 面向对象建模 安全协议 主体角色进程 网格安全 SDL 网精简 软件系统建模 BGP4 信任网络 公钥Kerberos协议 软件工程教育 有限状态机