吴劲

作品数：14被引量：51H指数：4
导出分析报告
供职机构：电子科技大学计算机科学与工程学院更多>>
发文主题：移动计算环境缓存失效移动代理缓存数据复制更多>>
发文领域：自动化与计算机技术电子电信天文地球文化科学更多>>
发文期刊：《计算机教育》《电子科技大学学报》《计算机科学》更多>>
所获基金：国家自然科学基金中央高校基本科研业务费专项资金国家重点基础研究发展计划电子信息产业发展基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于有限自动机的RFID入侵检测被引量：4
《电子科技大学学报》2014年第5期775-780,共6页杨晓明 张翔 王佳昊 吴劲 秦志光 
中央高校基本科研业务费(ZYGX2011J066);四川省科技支撑计划(2013GZ0022);国家自然科学基金(61003230);新疆教育厅教育科学研究项目(XJEDU2013I28)
利用RFID中间件的特点,加入入侵检测异常检测模块,通过对入侵者的攻击数据流与RFID系统内部的数据流进行对比后提取特征向量,并通过对入侵数据流对应子模块的归纳建立有限自动机,对有限自动机的归并来提高系统入侵检测的效率。此外,参...
关键词：攻击分类 有限自动机 入侵检测 RFID 
基于Event-B的形式化建模关键技术研究被引量：4
《电子科技大学学报》2014年第3期405-408,共4页吴劲 陈志慧 
中央高校基本科研业务费(ZYGX2011J072);国家科技重大专项(2011ZX03002-002-03);国家自然科学基金重点项目(61133016);四川省科技计划项目(2013GZ0022)
软件系统的规模和复杂程度不断提高而传统的需求分析方法难以确保软件的正确性和一致性,为软件系统的质量埋下了隐患。软件工程的实践表明,在开发过程中,错误发现得越早,修复得越早,付出的代价越小。为了确保软件的质量,可在软件开发的...
关键词：Event-B形式化方法 形式化建模 精化 需求分析 
线性化方程方法破解TTM公钥加密体制被引量：2
《电子科技大学学报》2010年第2期293-297,共5页刘梦娟 聂旭云 胡磊 吴劲 
国家自然科学基金(60803133;60973161);高等学校博士学科点专项科研基金(200806140010);信息安全国家重点实验室开放课题
TTM是一类三角形多变量公钥密码体制。该文经过分析2004年的TTM实例发现,该实例中存在大量的一阶线性化方程,而且对于给定的公钥,这些线性化方程都可以通过预计算得到。对于给定的合法密文,可以利用一阶线性化方程攻击方法在219个28域...
关键词：代数攻击 线性化方程 公钥密码学 三角形体制 TTM 
SIP安全机制研究被引量：10
《电子科技大学学报》2007年第6期1211-1214,共4页吴劲 张凤荔 何兴高 陆庆 
国家自然科学基金(60473090);国家242信息安全专题计划(2006C27)
会话初始协议(SIP)是IETF制订的多媒体通信系统框架协议之一,也是3GPP的IP多媒体子系统(IMS)的重要组成部分。面对复杂、开放的因特网环境,SIP协议自身缺乏有力的安全机制,使其在安全性方面显得较为薄弱。该文从分析SIP的安全威胁入手,...
关键词：鉴定 加密 会话初始协议 安全机制 
高校软件人才培养的思索被引量：11
《计算机教育》2007年第07X期67-70,共4页吴劲 任立勇 
本文从分析我国软件人才体系的缺陷入手，总结了高校软件教育中存在的问题，分析了印度和爱尔兰的软件人才培养模式，提出了如何在我国高等学校中培养符合我国软件产业发展需求的软件人才的思路。
关键词：高等学校 软件人才 培养模式 
温和一致性代理复制机制MCARM
《计算机科学》2006年第4期58-61,67,共5页吴劲 卢显良 任立勇 侯孟书 
电子信息产业发展基金项目编号为:[2002]11006;电子科技大学校青年基金资助;项目编号 YF020803
提出了一种新的复制机制:温和一致性代理复制机制(MCARM)。MCARM 采用了主节点的复制管理器与辅助节点的 MSS-Agent 协调工作的架构,吸取严格一致性协议和弱一致性协议的优势,又避开其局限性和复杂性,更好地适应移动计算环境的要求,并...
关键词：数据复制 移动计算环境 主节点 辅助节点 
基于确定性理论的P2P系统信任模型被引量：6
《电子科技大学学报》2005年第6期806-808,共3页侯孟书 卢显良 任立勇 吴劲 
信息产业部电子工业生产发展基金资助项目([2002]1106)
借鉴确定性理论中的不确定推理,提出了一种新的P2P系统信任模型。该模型根据节点的历史交易情况,运用C-F模型计算节点的可信度,节点依据计算结果与可信度高的节点进行交易,在节点间建立信任关系。分析及仿真表明该模型能有效地隔离恶意...
关键词：对等网络 确定性理论 可信度 推荐 
移动计算环境中基于移动代理的数据管理体系结构被引量：2
《计算机科学》2005年第5期76-78,88,共4页吴劲 卢显良 任立勇 侯孟书 
电子信息产业发展基金;电子科技大学校青年基金;项目编号分别为:[2002]11006和YF020803.
在研究、分析移动计算环境特殊性的基础上,提出了一种基于移动代理的数据管理体系结构,简称DMAB-MA。该体系结构能把移动计算环境分成两大部分:固定网络部分和无线网络部分,充分利用固定网络部分的高带宽和高可靠性来弥补无线网络部分...
关键词：移动计算环境 管理体系结构 移动代理 数据 无线网络 固定网络 高可靠性 充分利用 有机结合 带宽和 特殊性 部分和 
缓存失效策略的性能分析数学模型被引量：4
《电子科技大学学报》2005年第2期225-228,共4页吴劲 卢显良 任立勇 魏青松 
信息产业部预研基金资助项目(51406070201DZ0211)
在研究多种缓存策略的基础上,提出了一种满足移动计算环境的特殊要求的性能分析数学模型,该模型基于数据更新率、热集查询率、无线网络带宽、上下行查询开销等参数,可计算出具体策略的吞吐量。利用该模型对无缓存、时戳法和移动代理法...
关键词：缓存 失效报告 移动计算环境 吞吐量 性能分析模型 
分布式远程备份空间模型研究
《计算机科学》2004年第4期166-169,共4页魏青松 陈波 卢显良 周旭 吴劲 
国家95重点攻关项目支持
本文提出一种有效的寻找条块化存储最优化策略的方法,根据分布式备份的基本需求,定义了描述条块化策略好坏的性能参数,定量给出了各种空间存储模型下的性能计算方法,从空间几何的角度用多面体形象地描述各种存储模型,并研究了四面体和...
关键词：数据备份 分布式远程备份 空间模型 存储模型 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部