李继国 陆阳 徐越彦 伏飞 戴江山 刘晶

标准模型 开发系统 线对 自动生成 ESTELLE Ad hoc网络 通用构造 形式描述 基于证书的加密方案 Petri网 路由协议 IND-CBE-CCA 传输协议 PETRI网 协议验证 攻击 安全 随机预言模型 自动机 OSI协议 军用安全模型 信息流策略 多级安全

南京通信工程学院 中国人民解放军理工大学通信工程学院电子信... 河海大学计算机及信息工程学院 解放军理工大学指挥自动化学院 解放军理工大学通信工程学院 南京通信工程学院计算机系