- 入侵容忍技术在身份认证系统中的应用 ( EI收录)
- 1
- 《华东理工大学学报(自然科学版)》华东理工大学计算机技术研究所 黄建华 宋国新 出版年:2005
- 关键词:认证 密码 代理 冗余 入侵容忍
- 基于幂表的并行加法器的归纳验证 ( EI收录)
- 2
- 《电子学报》华东理工大学计算机技术研究所 张欢欢 邵志清 宋国新 出版年:2003
- 关键词:重写 归纳 加法器 描述 验证
- 面向流体流动的计算机模拟 ( EI收录)
- 3
- 《华东理工大学学报(自然科学版)》华东理工大学计算机研究所;香港科技大学机械工程系 郭卫斌 邵志清 郭照立 出版年:2005
- 关键词:流体流动 计算机模拟 格子自动机方法 流可视化