康汶
- 作品数:9 被引量:25H指数:3
- 供职机构:江西省信息中心更多>>
- 发文基金:江西省自然科学基金更多>>
- 相关领域:自动化与计算机技术电子电信更多>>
- 基于SPIN的SSL3.0握手协议模型检测被引量:1
- 2010年
- 文章介绍了密钥交换协议SSL3.0协议,并利用模型检测工具SPIN对其进行了形式化分析、建模和验证。实验结果表明此验证方法的正确性,证明了协议本身的安全性与可行性,并且提高了协议的验证效率。
- 程莹康汶
- 关键词:SPINPROMELALTL
- 一种优化的节点不相交多径路由策略被引量:1
- 2010年
- 移动Ad Hoc网络是一种新型的不依赖于固定设施实现通信的无线移动网络,其节点兼具主机和路由器的功能,适用于Ad Hoc网络的路由策略是目前广泛研究的核心问题之一。通过深入研究移动Ad Hoc网络中多径路由协议,以AOMDV算法为基础,提出了一种优化的节点不相交多径路由策略ONDMRP,可以有效提高路由表中多条路径的性能。
- 康汶徐亦璐石峰
- 关键词:移动ADHOC网络多径路由协议
- 基于SPIN的SSL 3.0握手协议模型检测
- 文章介绍了密钥交换协议SSL 3.0协议,并利用模型检测工具SPIN对其进行了形式化分析、建模和验证。实验结果表明此验证方法的正确性,证明了协议本身的安全性与可行性,并且提高了协议的验证效率。
- 程莹康汶
- 关键词:密钥交换
- 文献传递
- iTV预处理系统的设计与实现
- 2011年
- iTV是近年推出的基于IP网络的新型视频流服务,为了有效提高其客户服务的响应速度、处理能力,改善其服务质量和客户感知度,在对相关需求进行详细分析的基础上,设计和实现基于.NET平台的iTV业务预处理系统,包括基本管理、故障管理、运行管理以及知识管理等功能模块,详细介绍其主要技术特点和模块功能。
- 康汶陈文杰
- 关键词:ITV预处理.NETORACLEWEBSERVICE
- 基于UML的电子商务在线销售系统分析与设计被引量:8
- 2011年
- 随着面向对象技术的不断发展,利用面向对象思想进行系统建模,已成为当前软件项目开发的主流。本文针对运用UML进行信息系统建模的过程以及模型的选择进行研究,并结合UML系统建模的优势,以电子商务在线购物系统为例,给出基于UML的信息系统建模的完整实现过程。
- 何耀光康汶詹先信温筱群
- 关键词:UML面向对象电子商务
- 数字图书馆统一身份认证及综合应用研究被引量:5
- 2010年
- 主要探讨利用数字证书技术实现数字图书馆的用户或读者全国统一身份认证,并在此基础上探讨数字图书资料在科研项目立项和研究成果水平鉴定,教师的教学水平和研究水平评估,启发与激励科研和教学人员及学生的创造力、创新能力等方面的综合性应用。
- 康汶邹爱国邹利明
- 关键词:数字图书馆统一身份认证
- 一种基于网格的分布计算协同机制
- 2010年
- 通过对网格计算中资源协同调度机制的研究,根据该机制的资源协同分配需求,提出一个以Globus Toolkit为平台的基于网格计算的分布协同计算模型。在基于经济模型的作业调度机制的竞价机制中,给出一个较为完善的价格函数模型以及相应的作业预测完成时间模型,利用设计的价格函数模型实现资源提供的主观能动性,使得资源的调配更加合理、快速。同时,在分布式计算模型中还给出一个基于备份的作业调度容错机制。
- 康汶李旸婷
- 关键词:网格分布计算作业调度
- 基于PKI技术的CA构架设计被引量:2
- 2010年
- 通过分析PKI技术的基本原理及基于该技术的CA认证系统的功能,论证基于PKI技术所构架的CA认证系统是全面解决网络信息安全问题的最佳选择,并结合我国的管理模式和应用需求对CA认证系统的总体结构和逻辑结构进行设计,由此给出该系统的典型构架。
- 何耀光康汶詹先信温筱群
- 关键词:PKI技术CA公钥CA认证系统
- 跨部门数据共享平台总体架构与功能分析被引量:8
- 2011年
- 随着我国电子政务的迅速发展,就如何解决信息资源有效共享不足、业务难以协同问题,降低投资风险和提高投资效益等当务之急,本文提出建设跨部门数据共享平台的新思路。
- 康汶何耀光詹先信邓伦强
- 关键词:数据交换信息共享数据共享