国家自然科学基金(90604007)

作品数：13被引量：31H指数：3
导出分析报告
相关作者：李舟军周倜陈火旺李梦君刘锋更多>>
相关机构：国防科学技术大学北京航空航天大学中南林业科技大学湖南农业大学更多>>
相关期刊：《计算机学报》《武汉大学学报（理学版）》《计算机应用研究》《计算机研究与发展》更多>>
相关主题：安全协议数据流挖掘逻辑程序连接子软件体系结构更多>>
相关领域：自动化与计算机技术电子电信更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
安全协议逻辑程序不停机性快速预测的动态方法
《计算机学报》2011年第7期1275-1283,共9页周倜 李梦君 李舟军 
国家自然科学基金(60973105,90604007,90104026,90718017,60703075)资助~~
基于一般逻辑程序停机性刻画的动态方法,研究了解形式不动点不停机的一种动态刻画方法,给出了安全协议Horn逻辑扩展模型解形式不动点不停机性的一个充分条件.基于这个充分条件给出了一种不动点计算不终止的预测方法,该方法能够根据新产...
关键词：安全协议 验证 不动点计算 不停机性 预测 
Kerberos5协议的形式化分析综述被引量：4
《计算机科学》2009年第5期21-26,共6页赵倩倩 李舟军 周倜 
国家自然科学基金(60473057,90604007,60703075,90718017);高等学校博士学科专项科研基金资助课题(20070006055)的支持
网络认证协议Kerberos5提供三方认证机制,允许客户在单次登录的前提下实现对多个网络应用服务器的身份认证,目前该协议已得到广泛应用。FreeBSD,Linux服务器以及微软公司的Windows系列均采用该协议提供网络安全认证,因而该协议自身的安...
关键词：KERBEROS 5 形式化分析 认证性 保密性 
安全协议分析中参与者个数上确界的论证
《武汉大学学报（理学版）》2009年第1期79-84,共6页刘锋 李舟军 周倜 
国家自然科学基金资助项目(60473057,90604007)
为了明确安全协议分析和验证中所必需的参与者个数的上确界,改进了基于Horn逻辑的踪迹模型,在该模型中增加了策略向量,描述了攻击者对消息的截留能力以及消息接收的不确定性;提出了在Herbrand域和Herbrand基上的映射,该映射将潜在无穷...
关键词：安全协议 安全性质 逻辑程序 映射 
国际卡收单系统的安全解决方案被引量：1
《计算机工程》2008年第13期154-156,共3页林松 李舟军 
国家自然科学基金资助项目(60473057,60573057,90604007,90718017);博士学科点专项科研基金资助项目(20070006055)
针对国际卡收单系统存在的安全性和EMV迁移问题,从信息安全工程角度,描述密钥管理、认证过程和加密机的应用。从系统架构、应用软件、硬件设备和运维管理这几方面,提出国际卡收单系统的安全解决方案。理论分析和实践证明,该软件、硬件...
关键词：安全解决方案 国际卡收单系统 密钥管理 
蛋白质相互作用研究中的计算方法综述被引量：3
《计算机研究与发展》2008年第12期2129-2137,共9页李舟军 陈义明 刘军万 陈火旺 
国家自然科学基金项目(60573057,60473057,90604007);湖南农业大学人才科学基金项目(06YJ16)~~
随着分子生物学的研究进入以蛋白质组学为标志的后基因组时代,蛋白质相互作用成为蛋白质组学研究的一个重要主题.因为计算方法代价低和周期短的特点,它被广泛地用来分析相互作用数据从而指导生物学家的实验设计.从蛋白质相互作用网络的...
关键词：蛋白质相互作用 相互作用预测 PPI网络参数 PPI网络模型 图论分析 
公钥Kerberos协议的认证服务过程的建模与验证被引量：1
《计算机工程与科学》2008年第11期9-12,18,共5页周倜 李梦君 李舟军 
国家自然科学基金资助项目(60473057,90604007,60703075,90718017);高等学校博士学科专项科研基金资助项目(20070006055)
公钥Kerberos协议是目前广泛使用的一类认证协议。本文使用安全协议验证工具SPVT对公钥Kerberos协议(PKINIT)的认证服务过程进行了形式化的建模与验证。SPVT自动地检测出PKINIT存在一个中间人攻击,该攻击可使攻击者假冒密钥发布中心和...
关键词：公钥Kerberos协议 SPVT形式化建模 验证 
使用组合协议逻辑PCL验证Amended Needham-Schroeder协议被引量：1
《计算机工程与科学》2008年第11期13-15,共3页刘锋 李舟军 周倜 李梦君 
国家自然科学基金资助项目(60473057,90604007)
安全协议的形式化分析和验证一直是信息安全领域的一个重要问题。本文介绍了组合式验证方法以及面向安全协议验证的组合式验证工具PCL,并采用PCL对Amended Needham-Schroeder协议进行了验证,证明该协议满足保密性。在验证中将完整的协...
关键词：Floyd-Hoare逻辑 PCL 安全协议 
一种基于哈希链表的高效概念漂移连续属性处理算法被引量：1
《计算机工程与科学》2008年第8期65-68,74,共5页王涛 李舟军 颜跃进 
国家自然科学基金资助项目(60573057,60473057,90604007)
本文重点研究了数据流挖掘中存在概念漂移情形的连续属性处理算法。数据流是一种增量、在线、实时的数据模型。VFDT是数据流挖掘中数据呈稳态分布情形下最成功的算法之一;CVFDT是有效解决数据流挖掘中概念漂移问题的算法之一。基于CVFDT...
关键词：数据流挖掘 CVFDT连续属性 概念漂移 扩展哈希表 
一种改进的基于关系的信息检索技术被引量：4
《计算机科学》2008年第7期145-150,共6页李岩 文健 李舟军 
国家自然科学基金项目(60573057,60473057,90604007)的资助
有研究工作表明现有的基于关系的信息检索技术(RIR)优于基于项(term)或基于语义(concept)的IR技术,但仍存在显而易见的缺陷,即不能明确关系本身,只能表达概念A,B是存在关系的概念对。本文提出一种改进的基于关系的IR技术—IRIR(Improved...
关键词：信息检索 关系抽取 查询分析 三元组结构 
基于动态博弈描述的电子商务协议公平性
《计算机应用研究》2008年第6期1789-1792,共4页杨素荣 谭汉松 
国家自然科学基金资助项目(60473057,90604007,60073001);国家“863”计划资助项目(2002AA144040)
基于通信顺序进程和动态博弈理论对电子商务系统建模,提出了结构化的电子商务协议的公平性,并基于该模型给出了公平性的形式化定义,可以用于电子商务协议公平性的分析。与以往工作相比,主要贡献在于:a)系统模型中的失效模型分别对进程...
关键词：公平性 电子商务协议 博弈 遵守型 撤销型 欺骗型 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部