蔡谊 何永忠 方艳湘 赵泽良 陈福接 尤晋元 陈幼雷 刘吉强 须德 韩臻 刘毅 蒋玉明 戴宗坤 彭双和 胡成军 朱鲁华 李建 黄强 罗慧 周明天 赵勇 王飞 施军 佘堃 许访 王青龙 吕辉军 刘欣 孟庆华 付江柳

应用边界 模型公理。 认证 安全性能 任务 信息流闭环访问 密码协议 电路级网关 消息冗余模式 有向传感器网络 应用域 安全功能 信任管理 体系结构 BIBA模型 主体 虚拟应用网络 RBAC 模型 强制访问控制 安全内核 网络堆栈 应用类 安全通道 密码隔离 核心监控器 电子政务 定理证明 担保信任 可信支撑模块 安全总线

北京工业大学计算机学院 上海交通大学计算机科学与工程系 北京交通大学计算机与信息技术学院 海军计算技术研究所 武汉大学计算机学院 解放军信息工程大学电子技术学院 江南计算机技术研究所 四川大学信息安全研究所