刘锦淮 李大治 刘伟 沈晴霓 王超 卿斯汉 陈长伦 李丽萍 周园 蔡嘉勇

特权 安全不变式 MLS策略 DTE 气敏传感器 即时通信蠕虫 电致化学发光 约束规则 BLP模型 多壁碳纳米管 隐式授权 进展 灵活性 Z语言 现状与发展 气体传感器 网络安全 网络蠕虫 传播模型 网络拓扑 碳纳米管 形式化 毛细管电泳 特洛伊木马 推导 安全性 鲁米诺 ZEVES定理证明器 电化学 信息流

中国科学院软件研究所基础软件国家工程研究... 中国科学院软件研究所信息安全技术工程研究... 中国科学院研究生院 安徽合肥 中国科学院合肥智能机械研究所 北京100086北京大学软件与微电子学院 中国科学院软件研究所信息安全技术工程研究... 合肥工业大学化工学院