成果/Result
- 入侵容忍技术在身份认证系统中的应用被引量：10收藏
- 作者：黄建华 宋国新
- 机构：华东理工大学计算机技术研究所
- 来源：《华东理工大学学报（自然科学版）》 2005
- 关键词：认证 密码 代理 冗余 入侵容忍
- 摘要：结合SITAR分布式入侵容忍体系结构和ITPAS密码认证体系统的特点,提出了一个具有入侵容忍功能的分布式密码认证系统模型,并在设计中考虑了冗余、多样性、代理、共享秘密和分布式入侵检测等技术,以求解决认证服务的入侵容忍问题...
- 下载全文在线阅读
- 基于幂表的并行加法器的归纳验证被引量：3收藏
- 作者：张欢欢 邵志清 宋国新
- 机构：华东理工大学计算机技术研究所
- 来源：《电子学报》 2003
- 关键词：重写 归纳 加法器 描述 验证
- 摘要：介绍了基于幂表和重写规则的并行加法器的功能描述 ,直接使用重写归纳证明技术验证了这些描述的正确性 ,为重写技术用于描述和验证更加复杂的硬件电路奠定了基础 .
- 下载全文在线阅读
