韩芳溪
- 作品数：41 被引量：129H指数：6
- 供职机构：江南计算技术研究所更多>>
- 发文基金：国家自然科学基金山东省自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学经济管理理学更多>>
- 基于嵌套证书的PKI系统及其在证书撤销中的应用
- PKI技术是一种适合网络应用的密码技术,但是随着网络的普及和电子商务等的开展,它同样也暴露出了许多不足,例如在证书证明路长中存在的不足,NPKI,即基于嵌套证书的PKI,在不改变原有PKI层次结构和信任关系的前提下,通过...
- 胡晓鸿韩芳溪
- 关键词：电子商务网络信息安全证书管理
- 文献传递
- 基于时态断言的迁移工作流实例运行约束
- 随着Internet的进一步发展,迁移实例技术已成为计算机网络和分布式系统中最具活力的发展方向,但在复杂的网络环境下,对迁移实例的运行安全性提出了特殊要求。本文提出一种基于时态断言的运行时检测机制,并以迁移实例在运行中所...
- 孙风超韩芳溪
- 关键词：互联网络模态逻辑
- 文献传递
- 基于CA的移动代理安全系统的研究
- 本文以公钥基础设施PKI为理论基础,提出了基于CA的移动代理安全系统的设计方案,并给出了其功能实现及特点.
- 徐大伟韩芳溪
- 关键词：移动代理公钥基础设施证书管理网络安全
- 文献传递
- 基于频繁模式树的AOI聚类算法被引量：1
- 2004年
- 为了克服KM-AOI算法聚类效率较低的缺点,提出了基于频繁模式树的AOI聚类算法,即在聚类过程中借助频繁模式树,采取分而治之的策略处理警报集以得到规则。然后举例说明了利用该算法进行聚类的过程。实例表明,该算法能够明显提高聚类的效率。
- 张莹韩芳溪柴乔林
- 关键词：频繁模式树聚类算法入侵检测
- Kailar逻辑推理中初始状态假设
- Kailar逻辑用于分析电子商务协议的可追究性,但初始状态假设引入不当会导致Kailar逻辑分析协议失败.通过对利用Kailar逻辑证明CMP1(b)协议与CMP1协议可追究性的过程以及对初始状态假设进行分析研究,针对初...
- 王可心韩芳溪
- 关键词：KAILAR逻辑电子商务协议
- 文献传递
- 3^+网络实时数据通讯软件RTDC的研究与开发
- 1993年
- 作者透彻地剖析了3+网络底层协议,找出了一条在链路层基础上实现点——点通讯的有效途径,并用C语言和汇编语言的混合编程技术及TSR机制,在AST286机上予以实现。本文对设计思想及实现方法作了详细介绍。
- 刘永盛孙华标韩芳溪
- 关键词：数据通讯RTDC
- 认证协议模型检测方法的状态搜索空间剪枝
- 通过对一种基于Strand空间的认证协议模型检测方法的分析研究,在该方法中引入自由变量表示,并提出一些规则对状态搜索空间进行剪枝,可有效缩小状态搜索空间,防止状态空间爆炸,以Needham-Schroeder公钥协议为例...
- 姜志坚韩芳溪
- 关键词：STRAND空间状态搜索安全协议
- 文献传递
- 基于PC总线的单片机与微机间通信接口设计与实现被引量：2
- 1997年
- 本文针对微机与单片机之间基于ＰＣ总线的数据通信，探讨了其接口电路的设计方法，并给出了实现电路及ＧＡＬ编程表达式。对在多任务环境下工控项目的开发，具有一定的参考价值。
- 贾智平韩芳溪
- 关键词：数据交换接口PC总线单片机微机
- 基于检测树的抗原合法性快速检测方法被引量：1
- 2010年
- 针对负选择算法中抗原合法性检测时存在重复检测、逐位比较、检测效率低的问题,提出了基于检测树的抗原合法性快速检测方法。采用分步构造的方式将检测器集合构造为一棵检测树,待检测抗原只需在该检测树上进行一次路径搜索即可判段该抗原的合法性。实验结果表明,该方法检测效率优于遍历检测器集合逐位比较的检测方法,可以满足实时检测的要求,为基于人工免疫原理的异常检测问题提供了一种有效途径。
- 孙秋丽韩芳溪王晓琳
- 关键词：负选择算法人工免疫系统
- NPKI-基于嵌套证书的PKI系统被引量：1
- 2002年
- NPKI，即基于嵌套证书的PKI系统，在不改变原有PKI层次结构和信任关系的前提下，优化了证书的证明路径，提高了各级CA的效率，从而有效地弥补了PKI在证书有效性证明中存在的不足。
- 胡晓鸿韩芳溪
- 关键词：PKI系统数字签名网络安全计算机网络
