吕必俊 张根度 姜胜兵 徐宗本 黄志同 范平志 张友生 王雪平 何明星 刘耀军

模型 多等级密钥分享 电子商务 离散事件动态系统 群 稠密语言 数字签名 软件构件 有限自动机 混合状态 代数系统 软件体系结构 形式语言 信息系统 演化 Schnorr 马氏过程 码