郭金庚
- 作品数：45 被引量：192H指数：8
- 供职机构：解放军信息工程学院更多>>
- 发文基金：国家高技术研究发展计划国家攀登计划国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信文化科学理学更多>>
- Internet密钥交换协议及安全性分析
- 2001年
- Internet密钥交换协议IKE是一个相当复杂的协议,它包含许多子协议;但IKE设计的相当好。本文以分析一个例子作为了解IKE的主线,并对IKE的安全性进行了分析。
- 王惠芳郭中黄永忠郭金庚
- 关键词：INTERNET密钥交换协议密码算法
- 基于并行对象的可视化模型被引量：1
- 2002年
- 提出了一种基于并行对象的可视化模型,该模型中吸取了数据流图、Petri-net和UML技术中的基本思想,通过使用数据流图来确定数据加工状态,从而初步得到并行对象的雏形,然后使用Petri-net来描述并行对象的动态特征,最后使用UML对并行对象的静态信息进行描述。通过静态描述和动态描述自动为用户生成并行程序的代码框架。
- 李国巨黄永忠郭金庚
- 关键词：可视化句柄面向对象并行程序设计
- 局域网中利用Mobile Agent技术实现信息的检索被引量：4
- 2001年
- 本文提出了一个应用于局域网中的基于 MobileAgent技术的信息检索系统的模型 ,并给出了实现该系统的关键技术。整个模型是建立在已有网络协议的基础上并且采用了概念分层结构。关键技术涉及 Agent的基本结构、Agent的管理和通信、Agent的回调生成算法和安全问题。
- 李国巨黄永忠邓晓湘郭金庚
- 关键词：MOBILEAGENT信息检索局域网TCP/IP协议
- 用BAN逻辑方法分析SSL 3.0协议被引量：18
- 2001年
- 形式化分析密码协议渐渐成为密码学中一个发展的新方向，因为形式化方法的确能检测出密码协议中的漏洞。ＢＡＮ逻辑是目前使用最广泛的。文章介绍了ＢＡＮ逻辑和ＳＳＬ３．０协议，并给出了用ＢＡＮ逻辑分析ＳＳＬ３．０协议的详细过程。
- 王惠芳郭金庚
- 关键词：形式化分析密码协议BAN逻辑
- 并行超流水IPv6转发处理技术研究被引量：1
- 2004年
- 转发处理引擎是高性能IPv6路由器的设计难点之一。在研究了并行处理技术、流水线设计理论以及TCAM技术的基础上,该文提出了一种并行超流水的转发处理引擎,模拟试验测试显示,该引擎在满负荷工作的条件下,其包转发率、丢包率等多个方面比传统的转发处理引擎性能优越。
- 李明铎郭金庚赵昭灵
- 关键词：IPV6路由器并行处理流水线
- 自主开发的扩展关系模型数据库系统ERDB和GIS_DEMO
- 2000年
- 本文介绍了一个扩展关系模型数据库系统 ERDB和在该系统之上开发的一个 GIS系统 .重点讨论了 GIS中的拓扑表示和递归查询问题 ,并从中说明这种扩展的重要意义 .
- 刘江林郭金庚朱继红
- 关键词：扩展关系模型递归查询数据库系统GISDEMO
- 一个分层的多播安全协议体系结构及实现被引量：1
- 2002年
- 1.引言
随着Internet的普及和商业化应用的增长,越来越多的应用需要多播服务,如大规模信息传播服务、实时视频会议、分布交互式模拟、协同工作等等.为了保护多播消息的内容,需要建立多播安全基础设施.
- 尹青周伟郭金庚
- 关键词：体系结构计算机网络
- 一个实现CORBA静态时异步调用的模型
- OMG(Object Management Group)组织95年发布的CORBA2.0版不支持静态调用的异步操作据称将于年内发布的3.0版将支持静态调用时的异步操作。利用CORBA提供的静态调用机制Delphi4一程机...
- 费勤福郭金庚生拥宏
- 关键词：CORBA
- 文献传递
- 基于元组空间的Agent协作模型的分析与实现被引量：3
- 2002年
- 一、引言在基于Agent的分布式处理系统中,由于单个Agent不能充分利用系统中的资源,所以一个复杂的任务常常分解为多个简单的任务,每个简单的任务由一个Agent完成,通过多个Agent的协调合作共同解决问题,故Agent之间如何很好地协作是多Agent系统设计中一个很重要的方面。在层出不穷的Agent系统中,Agent之间的合作方式不外乎两种:直接合作和间接合作,直接合作建立在Agent之间直接通信的基础上,而间接合作则通过第三方作为媒介。目前,大多数Agent系统都采用基于消息传递的直接合作方式,消息传递要求通信前必须事先知道对方的地址、名字,当Agent移动时,其地址会经常发生变化。
- 郭中王惠芳黄永忠郭金庚
- 关键词：元组空间AGENT分布式处理系统人工智能
- 实现异步调用的扩展模型
- 2001年
- 分布计算技术和面向对象技术相结合而形成的分布对象技术已经发展成为当今分布异构环境下建立应用系统集成框架和标准构件的核心技术。OMG组织制定的CORBA标准与Microsoft的COM/DCOM标准以及Sum公司的JavaRMI标准一起形成了分布对象技术领域的主流。本文针对现有的CORBA 2 .0规范在静态调用时不支持异步操作的情况 ,提出了一种静态调用扩展模型 ,使得在静态调用时能支持异步操作。
- 费勤福郭金庚
- 关键词：OMGCORBA异步调用分布对象技术分布计算技术
