国家自然科学基金(90718017)

作品数：11被引量：47H指数：4
导出分析报告
相关作者：李舟军周倜张振领贾仰理李梦君更多>>
相关机构：北京航空航天大学国防科学技术大学聊城大学信息技术有限公司更多>>
相关期刊：《计算机工程》《计算机工程与科学》《计算机科学》《计算机学报》更多>>
相关主题：中文社会网络架构集群电子政务更多>>
相关领域：自动化与计算机技术电子电信更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
自动化白盒模糊测试技术研究被引量：6
《计算机科学》2014年第2期7-10,22,共5页张亚军 李舟军 廖湘科 蒋瑞成 李海峰 
国家自然科学基金(61170189,60973105,90718017);教育部博士点基金(201111 02130003)资助
软件的安全性分析和漏洞检测是软件工程和信息安全领域的一个研究热点和难点问题。采用程序分析的方法对软件进行安全性测试,日益受到广泛的关注和重视。首先概述了有关软件安全性测试的基本概念;随后,详细介绍了3种基于程序分析的安全...
关键词：模糊测试 符号执行 自动化白盒模糊测试 自动化白盒模糊测试分布式模型 
TCBV:一种构件时序行为建模与相容性验证工具
《计算机科学》2012年第10期143-147,共5页张振领 贾仰理 周恩光 李舟军 
国家自然科学基金项目(90718017);山东省自然科学基金项目(ZR2011FL023);山东省软科学项目(2010RKE16007);山东省高校智能信息处理与网络安全重点实验室项目资助
利用形式化方法对复杂实时构件系统的时序行为进行建模与验证对于提高安全攸关实时构件系统的正确性、可靠性与安全性具有重要意义。介绍了基于时间行为协议的构件时序行为的形式化建模和相容性验证方法,给出了时间行为协议建模与相容...
关键词：实时构件系统 时序行为 形式化方法 建模 相容性验证工具 
基于协议的实时构件行为一致性验证被引量：2
《计算机科学》2012年第6期125-128,142,共5页张振领 贾仰理 谢圣献 李舟军 
国家自然科学基金项目(90718017);山东省自然科学基金项目(ZR2011FL023);山东省软科学项目(2010RKE16007);山东省高校智能信息处理与网络安全重点实验室(聊城大学)资助
对复杂实时构件系统行为进行形式化描述和一致性验证,可以提高实时构件的可复用性和系统的正确性、可靠性。分析了时间行为协议TBP(Timed Behavior Protocol)及其它学术界和工业界常用的时序行为形式化描述方法,对实时构件替换理论进行...
关键词：实时构件 时间行为协议 形式化描述 一致性验证 
时间行为协议状态空间约减算法
《计算机科学》2012年第4期135-138,共4页张振领 贾仰理 李舟军 
国家自然科学基金项目(90718017);山东省自然科学基金项目(ZR2011FL023);山东省软科学项目(2010RKE16007);聊城大学自然科学重点项目(x09032);山东省高校智能信息处理与网络安全重点实验室(聊城大学)资助
对复杂时间行为协议状态进行约减对于缓解形式化验证的状态空间爆炸问题,提高验证工具系统的效率、实用性等具有重要意义。分析了实时构件组合的几种形态,对基于时间行为协议的组合理论和状态空间爆炸问题进行了讨论,给出了时间行为协...
关键词：实时构件 时间行为协议 状态 约减 
安全协议逻辑程序不停机性快速预测的动态方法
《计算机学报》2011年第7期1275-1283,共9页周倜 李梦君 李舟军 
国家自然科学基金(60973105,90604007,90104026,90718017,60703075)资助~~
基于一般逻辑程序停机性刻画的动态方法,研究了解形式不动点不停机的一种动态刻画方法,给出了安全协议Horn逻辑扩展模型解形式不动点不停机性的一个充分条件.基于这个充分条件给出了一种不动点计算不终止的预测方法,该方法能够根据新产...
关键词：安全协议 验证 不动点计算 不停机性 预测 
中文社区问答中问题答案质量评价和预测被引量：27
《计算机科学》2011年第6期230-236,共7页李晨 巢文涵 陈小明 李舟军 
国家自然科学基金项目(90718017);教育部高等学校博士学科点专项基金(20070006055)资助
知识共享型网站为自动问答系统带来了新的研究契机。但用户提供的问题及其答案质量参差不齐,在提供有用信息的同时可能包含各种无关甚至恶意的信息。对此类信息进行判别和过滤,并选取高质量的问题与答案对,有助于在基于社区的自动问答...
关键词：社区问答 社会网络 机器学习 问题答案质量评价和预测 人工标注 
一种基于移动服务器端的树图建模方法
《计算机科学》2011年第4期55-60,共6页刘炜 李舟军 
国家自然科学基金项目(90718017)资助
移动业务多媒体化和互联网化是移动服务发展的重要方向,但是高数据传输率的多媒体服务成本极高,在不增加硬件投入的前提下,为了降低成本,同时又不降低为用户提供服务的质量,可以将个性化服务应用于移动业务中。提出一种工作在服务器端...
关键词：移动业务 个性化服务 区间值模糊集 树图模型 算法 
集群政务协同业务平台架构及关键技术研究被引量：7
《计算机科学》2010年第4期158-162,共5页张学旺 李舟军 沈伟 
国家自然科学基金重大研究计划项目(90718017);重庆市重大产业关键技术开发项目(渝发改技[2007]1110号)资助
集群政务协同平台包括六大系统。论述了该平台的应用架构和技术架构,阐述了其主要关键技术:多个政务应用的规模集成和协同应用、业务模型驱动的SOA架构通用开发平台、统一资源管理、Web服务安全增强。运行实践表明,平台能够最大限度地...
关键词：架构 集群应用 协同应用 统一资源管理 WEB服务 电子政务 
Kerberos5协议的形式化分析综述被引量：4
《计算机科学》2009年第5期21-26,共6页赵倩倩 李舟军 周倜 
国家自然科学基金(60473057,90604007,60703075,90718017);高等学校博士学科专项科研基金资助课题(20070006055)的支持
网络认证协议Kerberos5提供三方认证机制,允许客户在单次登录的前提下实现对多个网络应用服务器的身份认证,目前该协议已得到广泛应用。FreeBSD,Linux服务器以及微软公司的Windows系列均采用该协议提供网络安全认证,因而该协议自身的安...
关键词：KERBEROS 5 形式化分析 认证性 保密性 
国际卡收单系统的安全解决方案被引量：1
《计算机工程》2008年第13期154-156,共3页林松 李舟军 
国家自然科学基金资助项目(60473057,60573057,90604007,90718017);博士学科点专项科研基金资助项目(20070006055)
针对国际卡收单系统存在的安全性和EMV迁移问题,从信息安全工程角度,描述密钥管理、认证过程和加密机的应用。从系统架构、应用软件、硬件设备和运维管理这几方面,提出国际卡收单系统的安全解决方案。理论分析和实践证明,该软件、硬件...
关键词：安全解决方案 国际卡收单系统 密钥管理 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部