范玉涛 王永涛 刘士冬 杨兴涛 马广明 王瑞芳 王小芳 吕述望 杨柱 薛英花

元模型 安全协议 形式化分析 形式化语言 MD5 Acegi Spring 特定领域建模 线性复杂度 构件 随机序列 信息安全系统 密码技术 代码模板 语法和语义 授权 随机序列发生器 认证 连接件 代码生成 构件组装 过滤器 计算机安全系统 噪声信号

中国科学院研究生院信息安全国家重点实验室 中国科学院研究生院 中国科技大学研究生院DCS中心 中国科学院研究生院信息科学与工程学院 中国科学院研究生院信息科学与工程学院信息... 100080北京