期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
6
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于可执行文件的缓冲区溢出检测模型
被引量:
12
1
作者
黄玉文
刘春英
李肖坚
《计算机工程》
CAS
CSCD
北大核心
2010年第2期130-131,134,共3页
给出缓冲区溢出的基本原理和现有检测技术,针对二进制可执行文件中存在的缓冲区溢出漏洞,提出一种缓冲区溢出检测模型,该模型采用静态检测和动态检测相结合的方法。对检测结果采取污点跟踪法进行人工分析,采用插件技术给出缓冲区溢出检...
给出缓冲区溢出的基本原理和现有检测技术,针对二进制可执行文件中存在的缓冲区溢出漏洞,提出一种缓冲区溢出检测模型,该模型采用静态检测和动态检测相结合的方法。对检测结果采取污点跟踪法进行人工分析,采用插件技术给出缓冲区溢出检测模型的具体设计。实验结果证明该模型的设计是有效的。
展开更多
关键词
缓冲区溢出
可执行文件
静态检测
动态检测
人工分析
下载PDF
职称材料
Nova-BFT:一种支持多种故障模型的副本状态机协议
被引量:
4
2
作者
王永剑
裴翔
+2 位作者
李涛
栾钟治
钱德沛
《计算机研究与发展》
EI
CSCD
北大核心
2011年第7期1134-1145,共12页
云计算在简化用户访问资源方式的同时导致了支撑系统开发部署的复杂,软件错误、部署管理失误导致的拜占庭故障已经成为影响系统可靠性的重要原因.对于在大部分运行周期都满足良性故障模型的系统,拜占庭容错协议在通信复杂度、安全等方...
云计算在简化用户访问资源方式的同时导致了支撑系统开发部署的复杂,软件错误、部署管理失误导致的拜占庭故障已经成为影响系统可靠性的重要原因.对于在大部分运行周期都满足良性故障模型的系统,拜占庭容错协议在通信复杂度、安全等方面的开销以及其在攻击场景下性能鲁棒性方面的缺陷都限制了其在实际系统中的使用.如何满足实际系统对多种故障模型的需求,已经成为系统设计的一个重要问题.针对这一现状,设计了Nova-BFT,一种有效支持多种故障模型的副本状态机协议,通过牺牲部分峰值吞吐率的方式满足拜占庭容错协议对性能鲁棒性的要求,采用配置参数方式自适应满足良性故障的性能需求.实验表明,Nova-BFT在拜占庭故障模型下吞吐率为4~5kop/s,同时其对良性故障模型的支持可以有效满足大多数实际应用的需求.
展开更多
关键词
云计算
副本状态机
拜占庭故障
良性故障
鲁棒性
下载PDF
职称材料
评分偏差对于推荐质量的影响
被引量:
3
3
作者
胡必云
李舟军
+1 位作者
王君
巢文涵
《北京航空航天大学学报》
EI
CAS
CSCD
北大核心
2012年第6期823-828,共6页
从理论上分析了评分偏差对于推荐质量的影响;基于潜在偏好及已知评分对评分偏差进行度量,其中潜在偏好通过心理测量学模型计算得出;通过设定不同的评分偏差水平,对评分偏差的影响进行了实验验证.理论分析及实验验证表明:评分偏差可导致...
从理论上分析了评分偏差对于推荐质量的影响;基于潜在偏好及已知评分对评分偏差进行度量,其中潜在偏好通过心理测量学模型计算得出;通过设定不同的评分偏差水平,对评分偏差的影响进行了实验验证.理论分析及实验验证表明:评分偏差可导致推荐准确度及覆盖度下降;基于高质量的评分数据,协同过滤算法可为用户作出好的推荐.
展开更多
关键词
人工智能
信号过滤与预测
信息检索
评分偏差
数据质量
协同过滤
推荐准确度
覆盖度
下载PDF
职称材料
一种新的格式化串读写越界防御模型
4
作者
黄玉文
马瑞兴
李肖坚
《菏泽学院学报》
2009年第2期62-65,共4页
格式化串读写越界漏洞危害性非常大.介绍了格式化串读写越界的基本原理和现有防御技术,提出了一种新的格式化串读写越界防御模型;该防御模型能够对格式化串读写越界行为进行保护、检测、响应和恢复.最后给出了该模型的实现.
关键词
格式化串
读写越界
防御
虚拟机
下载PDF
职称材料
PMTree:一种高效的事件流模式匹配方法
被引量:
8
5
作者
程苏珺
王永剑
+3 位作者
孟由
程振东
栾钟治
钱德沛
《计算机研究与发展》
EI
CSCD
北大核心
2012年第11期2481-2493,共13页
复杂事件处理技术从多个持续事件流中分析并提取满足特定模式的事件序列.高吞吐率场景下,如何快速准确地识别事件序列是复杂事件处理技术中一个非常重要的问题.现在事件流的模式匹配方法——NFA、Petri网、有向图等——存在语义描述能...
复杂事件处理技术从多个持续事件流中分析并提取满足特定模式的事件序列.高吞吐率场景下,如何快速准确地识别事件序列是复杂事件处理技术中一个非常重要的问题.现在事件流的模式匹配方法——NFA、Petri网、有向图等——存在语义描述能力不足、部分算子实现代价高等缺陷.针对这一现状,设计并实现了一种基于树的模式匹配方法——PMTree.PMTree定义了事件模型及相应事件算子,将事件序列映射为树节点,同时将时间窗口约束及谓词约束等放置在相应节点,这些树节点连接成一棵PMTree来支持实时的事件筛选与过滤.进一步研究了PMTree构建过程中的优化策略,并提出了开销模型以及优化构建算法,以尽可能减少模式匹配开销.实验结果表明,相同测试条件下基于PMTree实现的复杂事件处理引擎Cesar吞吐率是基于NFA实现的开源引擎Esper的3~6倍,并且在不同事件量或事件序列复杂度下性能表现稳定.
展开更多
关键词
事件流
复杂事件处理
模式匹配树
NFA
开销模型
下载PDF
职称材料
一种MANET可生存性模型的建模方法
被引量:
3
6
作者
王海泉
马心意
夏春和
《信息安全与通信保密》
2010年第1期88-92,共5页
文中提出了一种针对移动Ad hoc网络可生存性模型的建模方法,构建MARC(MANET Actor,Role and Coordinator Model)可生存性描述模型,并且支持利用该方法构建的可生存性模型向仿真实例的自动转换。详细分析并形式化描述了MARC模型中涉及的...
文中提出了一种针对移动Ad hoc网络可生存性模型的建模方法,构建MARC(MANET Actor,Role and Coordinator Model)可生存性描述模型,并且支持利用该方法构建的可生存性模型向仿真实例的自动转换。详细分析并形式化描述了MARC模型中涉及的网络服务和事件等概念,并以此为基础设计了可生存性模型描述语言MARCDL,列举了语言中主要的EBNF范式描述。实例分析表明,运用该建模方法,不仅可以抽象地构造出面向战术环境的移动Ad hoc网络可生存性模型,而且为可生存性模型的从高层描述到低层仿真的自动转换提供了有力支持。
展开更多
关键词
可生存性
MARC模型
描述语言
移动AD
HOC网络
原文传递
题名
基于可执行文件的缓冲区溢出检测模型
被引量:
12
1
作者
黄玉文
刘春英
李肖坚
机构
菏泽学院计算机与信息工程系
广西师范
大学
计算机与信息工程学院
北京航空航天大学北京市网络技术重点实验室
出处
《计算机工程》
CAS
CSCD
北大核心
2010年第2期130-131,134,共3页
基金
国家部委基金资助项目
文摘
给出缓冲区溢出的基本原理和现有检测技术,针对二进制可执行文件中存在的缓冲区溢出漏洞,提出一种缓冲区溢出检测模型,该模型采用静态检测和动态检测相结合的方法。对检测结果采取污点跟踪法进行人工分析,采用插件技术给出缓冲区溢出检测模型的具体设计。实验结果证明该模型的设计是有效的。
关键词
缓冲区溢出
可执行文件
静态检测
动态检测
人工分析
Keywords
buffer overflow
executable file
static detection
dynamic detection
artificial analysis
分类号
TP393.8 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
Nova-BFT:一种支持多种故障模型的副本状态机协议
被引量:
4
2
作者
王永剑
裴翔
李涛
栾钟治
钱德沛
机构
北京航空航天大学
中德联合软件研究所
北京航空航天大学北京市网络技术重点实验室
北京航空航天大学
计算机学院
信息
网络
安全公安部
重点
实验室
公安部第三研究所
出处
《计算机研究与发展》
EI
CSCD
北大核心
2011年第7期1134-1145,共12页
基金
国家"八六三"高技术研究发展计划基金项目(2006AA01A124
2009AA01Z144
+2 种基金
2009AA01A131
2010AA012404)
自然科学基金项目(90812001)
文摘
云计算在简化用户访问资源方式的同时导致了支撑系统开发部署的复杂,软件错误、部署管理失误导致的拜占庭故障已经成为影响系统可靠性的重要原因.对于在大部分运行周期都满足良性故障模型的系统,拜占庭容错协议在通信复杂度、安全等方面的开销以及其在攻击场景下性能鲁棒性方面的缺陷都限制了其在实际系统中的使用.如何满足实际系统对多种故障模型的需求,已经成为系统设计的一个重要问题.针对这一现状,设计了Nova-BFT,一种有效支持多种故障模型的副本状态机协议,通过牺牲部分峰值吞吐率的方式满足拜占庭容错协议对性能鲁棒性的要求,采用配置参数方式自适应满足良性故障的性能需求.实验表明,Nova-BFT在拜占庭故障模型下吞吐率为4~5kop/s,同时其对良性故障模型的支持可以有效满足大多数实际应用的需求.
关键词
云计算
副本状态机
拜占庭故障
良性故障
鲁棒性
Keywords
cloud computing
replicated state machine
Byzantine fault tolerance
benign faulttolerance
robustness
分类号
TP391 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
评分偏差对于推荐质量的影响
被引量:
3
3
作者
胡必云
李舟军
王君
巢文涵
机构
北京航空航天大学
软件开发环境国家
重点
实验室
北京航空航天大学
计算机学院
北京航空航天大学北京市网络技术重点实验室
出处
《北京航空航天大学学报》
EI
CAS
CSCD
北大核心
2012年第6期823-828,共6页
基金
国家自然科学基金资助项目(61170189
60973105)
软件开发环境国家重点实验室自主研究课题资助项目(SKLSDE-2011ZX-03)
文摘
从理论上分析了评分偏差对于推荐质量的影响;基于潜在偏好及已知评分对评分偏差进行度量,其中潜在偏好通过心理测量学模型计算得出;通过设定不同的评分偏差水平,对评分偏差的影响进行了实验验证.理论分析及实验验证表明:评分偏差可导致推荐准确度及覆盖度下降;基于高质量的评分数据,协同过滤算法可为用户作出好的推荐.
关键词
人工智能
信号过滤与预测
信息检索
评分偏差
数据质量
协同过滤
推荐准确度
覆盖度
Keywords
artificial intelligence
signal filtering and prediction
information retrieval
rating residual
data quality
collaborative filtering
recommendation accuracy
coverage
分类号
TP182 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
一种新的格式化串读写越界防御模型
4
作者
黄玉文
马瑞兴
李肖坚
机构
广西师范
大学
计算机与信息工程学院
广西经济管理干部学院计算机系
北京航空航天大学北京市网络技术重点实验室
出处
《菏泽学院学报》
2009年第2期62-65,共4页
基金
国防科工委国家信息关防与网络安全保障可持续发展计划项目(2002-研2-A-007)
文摘
格式化串读写越界漏洞危害性非常大.介绍了格式化串读写越界的基本原理和现有防御技术,提出了一种新的格式化串读写越界防御模型;该防御模型能够对格式化串读写越界行为进行保护、检测、响应和恢复.最后给出了该模型的实现.
关键词
格式化串
读写越界
防御
虚拟机
Keywords
format string
reading - writing - cross - border
defense
virtual machine
分类号
TP393.08 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
PMTree:一种高效的事件流模式匹配方法
被引量:
8
5
作者
程苏珺
王永剑
孟由
程振东
栾钟治
钱德沛
机构
北京航空航天大学
计算机学院软件开发环境国家
重点
实验室
北京航空航天大学
计算机学院中德联合软件研究所
北京航空航天大学北京市网络技术重点实验室
出处
《计算机研究与发展》
EI
CSCD
北大核心
2012年第11期2481-2493,共13页
基金
国家"八六三"高技术研究发展计划基金项目(2009AA01Z144
2009AA01A131
+2 种基金
2010AA012404)
国家自然科学基金项目(90812001)
北京航空航天大学软件开发环境国家重点实验室探索性自主研究课题(SKLSDE-2010ZX-11)
文摘
复杂事件处理技术从多个持续事件流中分析并提取满足特定模式的事件序列.高吞吐率场景下,如何快速准确地识别事件序列是复杂事件处理技术中一个非常重要的问题.现在事件流的模式匹配方法——NFA、Petri网、有向图等——存在语义描述能力不足、部分算子实现代价高等缺陷.针对这一现状,设计并实现了一种基于树的模式匹配方法——PMTree.PMTree定义了事件模型及相应事件算子,将事件序列映射为树节点,同时将时间窗口约束及谓词约束等放置在相应节点,这些树节点连接成一棵PMTree来支持实时的事件筛选与过滤.进一步研究了PMTree构建过程中的优化策略,并提出了开销模型以及优化构建算法,以尽可能减少模式匹配开销.实验结果表明,相同测试条件下基于PMTree实现的复杂事件处理引擎Cesar吞吐率是基于NFA实现的开源引擎Esper的3~6倍,并且在不同事件量或事件序列复杂度下性能表现稳定.
关键词
事件流
复杂事件处理
模式匹配树
NFA
开销模型
Keywords
event stream complex event processing pattern matching tree NFA cost model
分类号
TP391 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
一种MANET可生存性模型的建模方法
被引量:
3
6
作者
王海泉
马心意
夏春和
机构
北京航空航天大学北京市网络技术重点实验室
北京航空航天大学
软件学院
出处
《信息安全与通信保密》
2010年第1期88-92,共5页
基金
国家863计划基金资助项目(编号:2007AA01Z407)
北京市教育委员会共建基金资助项目(编号:JD100060630)
国防基础科研基金资助项目
文摘
文中提出了一种针对移动Ad hoc网络可生存性模型的建模方法,构建MARC(MANET Actor,Role and Coordinator Model)可生存性描述模型,并且支持利用该方法构建的可生存性模型向仿真实例的自动转换。详细分析并形式化描述了MARC模型中涉及的网络服务和事件等概念,并以此为基础设计了可生存性模型描述语言MARCDL,列举了语言中主要的EBNF范式描述。实例分析表明,运用该建模方法,不仅可以抽象地构造出面向战术环境的移动Ad hoc网络可生存性模型,而且为可生存性模型的从高层描述到低层仿真的自动转换提供了有力支持。
关键词
可生存性
MARC模型
描述语言
移动AD
HOC网络
Keywords
survivability
MARC model
description language
mobile Ad hoc networks
分类号
TP393.08 [自动化与计算机技术—计算机应用技术]
原文传递
题名
作者
出处
发文年
被引量
操作
1
基于可执行文件的缓冲区溢出检测模型
黄玉文
刘春英
李肖坚
《计算机工程》
CAS
CSCD
北大核心
2010
12
下载PDF
职称材料
2
Nova-BFT:一种支持多种故障模型的副本状态机协议
王永剑
裴翔
李涛
栾钟治
钱德沛
《计算机研究与发展》
EI
CSCD
北大核心
2011
4
下载PDF
职称材料
3
评分偏差对于推荐质量的影响
胡必云
李舟军
王君
巢文涵
《北京航空航天大学学报》
EI
CAS
CSCD
北大核心
2012
3
下载PDF
职称材料
4
一种新的格式化串读写越界防御模型
黄玉文
马瑞兴
李肖坚
《菏泽学院学报》
2009
0
下载PDF
职称材料
5
PMTree:一种高效的事件流模式匹配方法
程苏珺
王永剑
孟由
程振东
栾钟治
钱德沛
《计算机研究与发展》
EI
CSCD
北大核心
2012
8
下载PDF
职称材料
6
一种MANET可生存性模型的建模方法
王海泉
马心意
夏春和
《信息安全与通信保密》
2010
3
原文传递
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部