刘雄 程江波 司天歌 李永奎 苏允海 刘政军 戴一奇 谭智勇

动态规划 成型技术 镁合金 压铸 应用 焊接 密码学 信任传递 优化设计 可信计算 低烟尘焊条 多柱汉诺塔 连分数 BLP（Bell-LaPadula）模型 可信度标记 结构钢焊条 安全性 可信平台模块 多级安全 量化风险评估 高效率 小私钥攻击 数学归纳法 焊条药皮 圆锥曲线

清华大学计算机科学与技术系 沈阳工业大学材料科学与工程学院 清华大学计算机与科学技术系