登录    注册    忘记密码

华东理工大学信息科学与工程学院计算机技术研究所 收藏

导出分析报告

研究主题:密码    代理    身份认证系统    入侵容忍技术    入侵容忍    

研究学科:自动化类    

被引量:17H指数:2EI: 3 北大核心: 3 CSCD: 3

-

检索结果分析

署名顺序

  • 全部
  • 第一机构
结果分析中...
排序方式:

3 条 记 录,以下是 1-3

入侵容忍技术在身份认证系统中的应用 ( EI收录)
1
《华东理工大学学报(自然科学版)》华东理工大学计算机技术研究所 黄建华 宋国新  出版年:2005
结合SITAR分布式入侵容忍体系结构和ITPAS密码认证体系统的特点,提出了一个具有入侵容忍功能的分布式密码认证系统模型,并在设计中考虑了冗余、多样性、代理、共享秘密和分布式入侵检测等技术,以求解决认证服务的入侵容忍问题...
关键词:认证  密码 代理 冗余 入侵容忍
基于幂表的并行加法器的归纳验证 ( EI收录)
2
《电子学报》华东理工大学计算机技术研究所 张欢欢 邵志清 宋国新  出版年:2003
国家自然科学基金 (No 6990 30 0 4 ) ;教育部优秀青年教师资助计划 ;教育部科学技术研究重点项目 (No 0 1 0 77)
介绍了基于幂表和重写规则的并行加法器的功能描述 ,直接使用重写归纳证明技术验证了这些描述的正确性 ,为重写技术用于描述和验证更加复杂的硬件电路奠定了基础 .
关键词:重写 归纳  加法器 描述  验证  
面向流体流动的计算机模拟 ( EI收录)
3
《华东理工大学学报(自然科学版)》华东理工大学计算机研究所;香港科技大学机械工程系 郭卫斌 邵志清 郭照立  出版年:2005
国家自然科学基金项目(60373075;60373074)
针对流体系统的特点,研究了模拟流体流动的格子自动机方法。对流可视化技术的现状、方法和可视化系统的设计进行了分析和探索。考察了几种典型的流动现象,得到了与实验较为一致的结论。研究结果表明:在目前条件下,立足于格子自动机这种...
关键词:流体流动 计算机模拟 格子自动机方法  流可视化  
已选条目 检索报告 聚类工具

版权所有©重庆科技学院 重庆维普资讯有限公司 渝B2-20050021-7
 渝公网安备 50019002500408号 违法和不良信息举报中心