期刊文献+
共找到14篇文章
< 1 >
每页显示 20 50 100
动态安全策略逻辑语言及安全属性验证问题的研究 被引量:7
1
作者 包义保 殷丽华 +1 位作者 方滨兴 郭莉 《计算机研究与发展》 EI CSCD 北大核心 2013年第5期932-941,共10页
针对动态安全策略在策略表达、判决和验证等方面具有的重要意义,提出了一种可用于动态安全策略表达、决策和验证的逻辑系统SSML.首先,给出了SSML逻辑系统的语法和语义,并且证明了一般意义上的SSML逻辑系统查询评估问题是不可判定的,从... 针对动态安全策略在策略表达、判决和验证等方面具有的重要意义,提出了一种可用于动态安全策略表达、决策和验证的逻辑系统SSML.首先,给出了SSML逻辑系统的语法和语义,并且证明了一般意义上的SSML逻辑系统查询评估问题是不可判定的,从而表明不存在通用的SSML安全策略语义查询评估算法.其次,研究SSML子语言特性,发现两类语法受限的SSML动态安全策略——NDel型安全策略和TDel型安全策略.虽然前者不允许在安全策略中出现删除规则,后者只允许完全信任的管理人员执行删除规则,但它们的查询评估问题是可判定的,并且分别构造出它们的查询评估算法——OLDTE和OLDTT.最后,通过实例说明如何使用OLDTE或OLDTT实现安全策略验证,从而证明这两类动态安全策略具有广泛的应用前景,对动态安全策略及其安全性分析方法的研究具有重要意义. 展开更多
关键词 SSML逻辑 动态安全策略 安全管理 策略验证 动态决策 安全性分析
在线阅读 下载PDF
网络风险评估中网络节点关联性的研究 被引量:52
2
作者 张永铮 方滨兴 +1 位作者 迟悦 云晓春 《计算机学报》 EI CSCD 北大核心 2007年第2期234-240,共7页
在网络风险评估领域中,为了提高评估的准确性,很多研究工作中都引入了网络节点间的连通性,然而,这种性质还不足以表达出各节点间基于物理连通关系之上的某种特殊的逻辑关系,如一方对另一方独有资源的控制关系.为此,文中引入了网络节点... 在网络风险评估领域中,为了提高评估的准确性,很多研究工作中都引入了网络节点间的连通性,然而,这种性质还不足以表达出各节点间基于物理连通关系之上的某种特殊的逻辑关系,如一方对另一方独有资源的控制关系.为此,文中引入了网络节点关联性(NNC)的概念,通过对实践过程中若干种访问情景的分析,提出了NNC的分类方法,然后讨论了NNC的发现方法,并举例阐明了NNC在网络风险评估中的应用及作用.通过深入地分析和对比可以看出,利用NNC可以将若干孤立的弱点联系起来,有助于分析网络的安全风险;此外,NNC在包含各协议层连通性的基础上丰富了网络节点间独有的特权关系,利用NNC也有助于提高检测网络弱点和网络攻击的准确性. 展开更多
关键词 网络安全 网络风险评估 弱点分析 网络节点关联性 网络攻击
在线阅读 下载PDF
物联网环境下的信任机制研究 被引量:19
3
作者 刘文懋 殷丽华 +1 位作者 方滨兴 张宏莉 《计算机学报》 EI CSCD 北大核心 2012年第5期846-855,共10页
物联网环境下的信任机制是一个亟待研究的重要课题,文中提出物联网环境下层次化的信任架构,满足了不同主体的信任需求,隔离了机构信誉和阅读器信任.使用基于证据理论的方法推导动态运动阅读器的信任,因较短的标签通信距离使恶意事件检... 物联网环境下的信任机制是一个亟待研究的重要课题,文中提出物联网环境下层次化的信任架构,满足了不同主体的信任需求,隔离了机构信誉和阅读器信任.使用基于证据理论的方法推导动态运动阅读器的信任,因较短的标签通信距离使恶意事件检测效率较差,文中提出可验证缓存前次交互摘要的方法,有效检测出恶意的终端阅读器.在稳定的机构层,使用信誉机制维护机构信任.层间信任交互构成了"现象可信-行为可信-节点可信-机构可信-授权可信"的环流,使得信任得到快速收敛和反馈.实验表明,可验证缓存前次交互信息的方法有效解决了证据理论方法中因物体RFID通信距离短无法被邻居节点检测到的缺陷,层次化的信任机制具有较强的汇聚信任的能力,并有较快的收敛速度. 展开更多
关键词 物联网 信任机制 证据理论 可验证缓存前次交互摘要 层次模型
在线阅读 下载PDF
高速网络监控中大流量对象的提取 被引量:22
4
作者 王风宇 云晓春 +1 位作者 王晓峰 王勇 《软件学报》 EI CSCD 北大核心 2007年第12期3060-3070,共11页
在高速网络环境下,由于受计算及存储资源的限制,及时、准确地提取大流量对象对于检测大规模网络安全事件具有重要意义.结合LRU淘汰机制和LEAST淘汰机制,建立了基于二级淘汰机制的网络大流量对象提取算法(LRU&LEAST replacement,简称... 在高速网络环境下,由于受计算及存储资源的限制,及时、准确地提取大流量对象对于检测大规模网络安全事件具有重要意义.结合LRU淘汰机制和LEAST淘汰机制,建立了基于二级淘汰机制的网络大流量对象提取算法(LRU&LEAST replacement,简称LLR),两种淘汰机制相互弥补不足,较大地提高了算法的准确性.由于算法占用存储空间较少,从而可以在有限的SRAM空间中更快地处理流量信息.该算法在网络数据量增加的情况下不必增加存储空间.具有很好的可扩展性. 展开更多
关键词 网络测量 大流量对象 淘汰机制 异常检测
在线阅读 下载PDF
自动文摘评价方法综述 被引量:12
5
作者 张瑾 王小磊 许洪波 《中文信息学报》 CSCD 北大核心 2008年第3期81-88,共8页
评价是自动文摘领域长期关注的焦点,对自动文摘技术的发展起着积极的促进作用。本文首先介绍了自动文摘评价方法的应用背景和面临的困难;然后对自动文摘评价方法进行了简单介绍和评价;接着在了解国内外研究现状的基础上详细分析了文摘... 评价是自动文摘领域长期关注的焦点,对自动文摘技术的发展起着积极的促进作用。本文首先介绍了自动文摘评价方法的应用背景和面临的困难;然后对自动文摘评价方法进行了简单介绍和评价;接着在了解国内外研究现状的基础上详细分析了文摘评价方法的关键技术;最后对自动文摘评价方法未来的发展趋势进行了展望。 展开更多
关键词 计算机应用 中文信息处理 文本挖掘 自动文摘 自然语言处理 多文档文摘 文摘评价方法
在线阅读 下载PDF
基于统计特征的垃圾博客过滤 被引量:6
6
作者 刘玮 廖祥文 +1 位作者 许洪波 王丽宏 《中文信息学报》 CSCD 北大核心 2008年第6期86-91,共6页
该文根据垃圾博客和正常博客在统计特征上的差异,对多种针对博客分类有效的统计特征进行了分析,提出基于博客页面统计特征的过滤方法。在Blog06数据集上的实验表明,该方法的过滤准确性达到97%,比基于词频特征的过滤方法提高了约7%,在不... 该文根据垃圾博客和正常博客在统计特征上的差异,对多种针对博客分类有效的统计特征进行了分析,提出基于博客页面统计特征的过滤方法。在Blog06数据集上的实验表明,该方法的过滤准确性达到97%,比基于词频特征的过滤方法提高了约7%,在不同规模训练集上的准确性保持在95%左右,具有更好的泛化能力。 展开更多
关键词 计算机应用 中文信息处理 内容分析 垃圾博客过滤 统计特征 词频特征 泛化能力
在线阅读 下载PDF
抵御MIX重放攻击的混合结构消息报文机制 被引量:3
7
作者 时金桥 方滨兴 +1 位作者 郭莉 王丽宏 《通信学报》 EI CSCD 北大核心 2009年第3期21-26,共6页
对MIX的重放攻击进行研究,并提出一种抵御重放攻击的MIX混合结构消息报文机制。混合报文机制利用通用重加密的概率加密、语义安全特性抵御重放攻击,利用层级加密的认证特性实现消息的完整性保护,同时引入对称加密机制提高效率。分析表明... 对MIX的重放攻击进行研究,并提出一种抵御重放攻击的MIX混合结构消息报文机制。混合报文机制利用通用重加密的概率加密、语义安全特性抵御重放攻击,利用层级加密的认证特性实现消息的完整性保护,同时引入对称加密机制提高效率。分析表明,混合结构消息报文机制可以在保证安全性与效率的前提下有效抵御重放攻击。 展开更多
关键词 匿名通信 MIX 重加密 混合结构
在线阅读 下载PDF
基于小波变换的网络流量在线预测模型 被引量:4
8
作者 王风宇 云晓春 申伟东 《高技术通讯》 CAS CSCD 北大核心 2006年第12期1220-1225,共6页
在无抽取Haar小波变换的基础上,结合自适应AR模型和滑动窗口式多项式拟合方法,建立了一种基于小波变换的递推式高速网络流量在线预测模型。该模型首先用无抽取Haar小波变换把网络流量时间序列分解为细节信号和近似信号,然后对细节信... 在无抽取Haar小波变换的基础上,结合自适应AR模型和滑动窗口式多项式拟合方法,建立了一种基于小波变换的递推式高速网络流量在线预测模型。该模型首先用无抽取Haar小波变换把网络流量时间序列分解为细节信号和近似信号,然后对细节信号部分使用自适应AR模型预测,对近似信号部分则使用滑动窗口式多项式拟合方法预测,最后用小波重构获得原始时间序列的预测值。该模型不但提高了流量在线预测的准确性,而且通过模型参数的递推式自动调整,避免了参数的定期估计和更新。 展开更多
关键词 网络流量预测 à TROUS小波变换 自适应AR模型(AAR) 滑动窗口式多项式拟合 递推最小二乘(RLS)
在线阅读 下载PDF
对基于小波对比度和LSB逐层隐写方法的分析 被引量:2
9
作者 钟尚平 郭文忠 +1 位作者 陈羽中 陈国龙 《小型微型计算机系统》 CSCD 北大核心 2010年第7期1315-1322,共8页
基于小波对比度和LSB的逐层隐写方法按图像小块的小波对比度确定可嵌入位平面层数,然后在时空域中逐层对可在该层嵌入信息的小块嵌入秘密信息,具有较大的信息嵌入量和良好的视觉隐蔽性.针对这种隐写方法,本文从图论的角度直观分析了隐... 基于小波对比度和LSB的逐层隐写方法按图像小块的小波对比度确定可嵌入位平面层数,然后在时空域中逐层对可在该层嵌入信息的小块嵌入秘密信息,具有较大的信息嵌入量和良好的视觉隐蔽性.针对这种隐写方法,本文从图论的角度直观分析了隐写行为,导出两个基于直方图特性的统计量,理论证明了这两个统计量与嵌入率间存在的线性关系和不同的比例关系,并据此提出隐写检测方法.理论分析和实验结果均表明:本文方法不但能检测出秘密信息的存在性,而且可以大致估计出秘密信息嵌入量.本文方法对分析检测其它位平面逐层隐写也有借鉴作用. 展开更多
关键词 隐写分析 小波对比度 逐层隐写 图论 直方图
在线阅读 下载PDF
HitIct:中文无损压缩算法性能评估测试集 被引量:2
10
作者 常为领 云晓春 +1 位作者 方滨兴 王树鹏 《通信学报》 EI CSCD 北大核心 2009年第3期42-47,共6页
提出了一个基于ANSI编码的中文无损压缩算法性能评估测试集HitIct。按照应用代表性、对现有ASCII编码测试集的补充性、样本公开性的原则从互联网上获取候选样本集,采用平均压缩率、标准差、平均相关系数、压缩率相关系数等技术指标对样... 提出了一个基于ANSI编码的中文无损压缩算法性能评估测试集HitIct。按照应用代表性、对现有ASCII编码测试集的补充性、样本公开性的原则从互联网上获取候选样本集,采用平均压缩率、标准差、平均相关系数、压缩率相关系数等技术指标对样本集中的样本进行筛选,并剔除影响压缩率的非文本因素等方法确定的最佳样本组成HitIct Corpus。实验结果表明,该测试集具有良好的代表性及稳定性,可以作为当前主流ASCII编码测试集的补充。 展开更多
关键词 数据压缩 测试集 无损压缩
在线阅读 下载PDF
AACF:基于逻辑的非单调授权与访问控制框架
11
作者 包义保 殷丽华 +1 位作者 方滨兴 郭莉 《高技术通讯》 CAS CSCD 北大核心 2012年第5期460-467,共8页
针对不完全语义条件下的非单调授权和权限判决问题进行形式化研究,提出了一种新的基于逻辑的非单调授权与访问控制框架——AACF。该框架通过扩展型分层逻辑程序表达授权与访问控制策略,支持不完全语义条件下的非单调授权、权限传播及... 针对不完全语义条件下的非单调授权和权限判决问题进行形式化研究,提出了一种新的基于逻辑的非单调授权与访问控制框架——AACF。该框架通过扩展型分层逻辑程序表达授权与访问控制策略,支持不完全语义条件下的非单调授权、权限传播及冲突检测与消解等高级特性,此外,AACF的语义查询/权限判决算法的计算复杂度证明是多项式级的。因而,AACF比现有的访问控制框架具有更好的表达能力和计算特性,且具有更好的实用性。 展开更多
关键词 授权与访问控制 框架 安全策略 语义 逻辑程序
在线阅读 下载PDF
高速IP网络流量测量系统的设计与实现
12
作者 王风宇 云晓春 中伟东 《高技术通讯》 CAS CSCD 北大核心 2006年第3期232-236,共5页
为克服网络带宽提高带来的网络流量测量的困难,在分析传统网络流量测量系统存在的问题的基础上,采用零拷贝分组捕获和裸设备存储(零拷贝存储)等关键技术,设计并实现了一个被动式网络流量测量系统,该系统的测量性能较传统方法有大... 为克服网络带宽提高带来的网络流量测量的困难,在分析传统网络流量测量系统存在的问题的基础上,采用零拷贝分组捕获和裸设备存储(零拷贝存储)等关键技术,设计并实现了一个被动式网络流量测量系统,该系统的测量性能较传统方法有大幅提高,并具有较好的时间精确度,能够满足千兆网络的流量测量需求。 展开更多
关键词 网络流量测量 分组捕获 零拷贝 裸设备 TSC时间戳
在线阅读 下载PDF
基于线性回归的相关查询推荐
13
作者 翟海军 张刚 张瑾 《高技术通讯》 EI CAS CSCD 北大核心 2010年第6期596-601,共6页
在分析搜索引擎查询日志的基础上,提出了一种基于线性回归的相关查询推荐方法。该方法考虑了查询串之间的多种关联关系,包括查询串会话共现、点击页面共享和查询串文本相似性,以避免因直接应用查询串之间的部分关联关系造成易受查询日... 在分析搜索引擎查询日志的基础上,提出了一种基于线性回归的相关查询推荐方法。该方法考虑了查询串之间的多种关联关系,包括查询串会话共现、点击页面共享和查询串文本相似性,以避免因直接应用查询串之间的部分关联关系造成易受查询日志中噪音的影响。相比以往的方法,采用线性回归的方法来识别相关查询推荐的有效特征,能更好地解决噪音问题和进行有效的相关查询推荐。实验证实,采用线性回归挖掘的识别中文相关查询串的特征非常有效,且所提出的回归模型的预测准确率优于现有的方法。 展开更多
关键词 查询日志 查询会话 相关查询推荐 线性回归
在线阅读 下载PDF
状态封包检测中的连接管理和调度策略—LASF
14
作者 张艳军 张志斌 +1 位作者 郭莉 方滨兴 《计算机工程与应用》 CSCD 北大核心 2007年第28期111-114,176,共5页
网络带宽的增长和频繁的网络攻击给状态封包检测等网络安全系统的性能带来了很大挑战。通过分析TCP连接建立延迟时间分布特性和连接逗留时间分布特性,设计了一个两级连接状态表,很好地解决了检测系统中的连接状态表急剧增长问题。然后,... 网络带宽的增长和频繁的网络攻击给状态封包检测等网络安全系统的性能带来了很大挑战。通过分析TCP连接建立延迟时间分布特性和连接逗留时间分布特性,设计了一个两级连接状态表,很好地解决了检测系统中的连接状态表急剧增长问题。然后,基于经典排队论和高速骨干网的TCP连接特性提出了一个流调度策略LASF(Least Attained Sojourn First)。通过实验证明,该策略能够在系统负载过重时显著提高系统的连接吞吐率等性能。 展开更多
关键词 状态封包检测 调度 连接状态表 逗留时间最小优先
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部