检索结果-内蒙古大学图书馆

计算机研究与发展 2005年第2期42卷 236-246页

作者：普建涛查红彬北京大学计算机科学系视觉与听觉信息处理国家重点实验室北京100871

大规模复杂场景的快速绘制技术是虚拟现实、实时仿真以及三维交互设计等许多重要应用的底层支撑技术 ,也是诸多研究领域面临的一个基本问题作为其中一个技术解决手段 ,可见性问题在近年来得到了高度重视并取得了一系列研究成果通过... 详细信息

大规模复杂场景的快速绘制技术是虚拟现实、实时仿真以及三维交互设计等许多重要应用的底层支撑技术 ,也是诸多研究领域面临的一个基本问题作为其中一个技术解决手段 ,可见性问题在近年来得到了高度重视并取得了一系列研究成果通过对相关可见性算法进行分析与总结 ,阐述了可见性问题的研究内容 ,提出了方法的优劣判别标准 ,给出了可见性判断算法所应包含的基本组成部分和步骤。

关键词：可见性剪裁大规模复杂场景实时漫游

来源：评论

学校读者我要写书评

暂无评论

基于内容的视频检索关键技术

引用

计算机工程 2004年第1期30卷 14-16页

作者：彭宇新 Ngo Chong-Wah 郭宗明肖建国北京大学计算机科学技术研究所北京大学文字信息处理国家重点实验室北京100871 香港城市大学计算机科学系

基于内容的视频检索一直是计算机科学研究的难点问题，该文提出了它的研究问题、检索策略、检索种类和评价指标，指出了存在的问题及解决的方法。这些策略和方法作为北大方正媒体资产管理系统的核心功能，运用于电视台大型视频数据库... 详细信息

基于内容的视频检索一直是计算机科学研究的难点问题，该文提出了它的研究问题、检索策略、检索种类和评价指标，指出了存在的问题及解决的方法。这些策略和方法作为北大方正媒体资产管理系统的核心功能，运用于电视台大型视频数据库的检索，取得了比较好的效果。

关键词：基于内容的视频检索镜头片段因子检索速度

来源：评论

学校读者我要写书评

暂无评论

基于动态贝耶斯规划图的状态安全报警关联

引用

北京大学学报（自然科学版） 2006年第1期42卷 127-132页

作者：徐辉冯晋雯叶志远北京大学计算机科学技术研究所信息安全实验室北京100871

提出状态报警关联的概念以及基于动态贝耶斯规划图的报警关联算法。动态贝耶斯规划图在规划图的基础上结合了动态贝耶斯网络推理,显式地表示系统状态以及状态和攻击动作之间的相互影响。算法用贝耶斯推理处理不确定信息,量化地评估系统... 详细信息

提出状态报警关联的概念以及基于动态贝耶斯规划图的报警关联算法。动态贝耶斯规划图在规划图的基础上结合了动态贝耶斯网络推理,显式地表示系统状态以及状态和攻击动作之间的相互影响。算法用贝耶斯推理处理不确定信息,量化地评估系统安全状态,并且有效地消除误报。

关键词：报警关联入侵检测规划图动态贝耶斯网络

来源：评论

学校读者我要写书评

暂无评论

分布式计算环境下的语义安全策略语言(英文)

引用

北京大学学报（自然科学版） 2006年第5期42卷 646-657页

作者：刘鹏胡建斌陈钟北京大学信息科学技术学院计算机科学技术系信息安全实验室北京100871

提出了一种用于分布式计算环境的语言安全策略语言SSPL。SSPL通过OWLDL描述,支持各种安全策略的基本类型,包括肯定和否定授权,肯定和否定义务,权限委托和撤销以及策略冲突消除等。SSPL还支持基于规则的安全策略,使得该语言具有更强的表... 详细信息

提出了一种用于分布式计算环境的语言安全策略语言SSPL。SSPL通过OWLDL描述,支持各种安全策略的基本类型,包括肯定和否定授权,肯定和否定义务,权限委托和撤销以及策略冲突消除等。SSPL还支持基于规则的安全策略,使得该语言具有更强的表达能力。为了分析SSPL策略的形式化语义和推理的可判定性,引入DL-safe规则和courteous logic program的概念,并定义了一组从SSPL策略到courteous DL-safe program的转换规则,介绍了对转换得到的逻辑程序的推理过程。

关键词：安全策略分布式计算环境 OWL Datalog DL-safe

来源：评论

学校读者我要写书评

暂无评论

SET证书申请协议在SPV下的自动化验证及改进

引用

计算机学报 2008年第6期31卷 1035-1045页

作者：肖茵茵苏开乐岳伟亚陈清亮吕关锋杨晋吉中山大学信息科学与技术学院广东省信息安全重点实验室广州510275 暨南大学计算机科学系广州510632 北京工业大学计算机学院北京100022

基于实例化空间逻辑理论,使用知识推理方法,在SPV(Security Protocol Verifier)下对完整SET证书申请协议的秘密性、认证性等安全性质进行了完全自动化证明,并对协议进行了改进.SPV调用工业级SAT求解器,能够高效验证安全协议是否满足CAPS... 详细信息

基于实例化空间逻辑理论,使用知识推理方法,在SPV(Security Protocol Verifier)下对完整SET证书申请协议的秘密性、认证性等安全性质进行了完全自动化证明,并对协议进行了改进.SPV调用工业级SAT求解器,能够高效验证安全协议是否满足CAPSL(Common Authentication Protocol Specification Language)协议规范及单层、多层认知规范.应用一个逻辑或工具对协议进行验证首先必须对该协议进行简化,而SET协议作为当前最复杂的工业级协议,其原始文档有上千页,因此简化过程相当困难,相关研究较少,已有的一些简化模型也不够完整.因此,文章针对SET证书申请协议,给出了比以往更贴近原协议的简化模型,并详细阐述了该模型在SPV下的形式化描述及验证过程、验证结果,分析了由于协议不满足某些认知规范所带来的安全隐患,从而对协议进行改进,最后证明了改进后协议的有效性.该工作也充分说明了SPV足以处理复杂的工业级协议.

关键词： SET证书申请协议自动化验证 SPV 认证性秘密性

来源：评论

学校读者我要写书评

暂无评论

合谋安全的卷积指纹信息码

引用

软件学报 2006年第7期17卷 1617-1626页

作者：朱岩杨永田冯登国北京大学计算机科学技术研究所北京100871 哈尔滨工程大学计算机科学与技术学院黑龙江哈尔滨150001 国家信息安全重点实验室(中国科学院研究生院) 北京100049

数字指纹是一种发行商通过在数字作品拷贝中添加唯一用户身份标记,使得能够识别出制作非法拷贝“叛逆者”的技术.目前,数字指纹方案中普遍存在着大用户数下指纹码构造过长以及无法有效叛逆跟踪的问题和缺陷.为了解决这些问题,在Boneh-S... 详细信息

数字指纹是一种发行商通过在数字作品拷贝中添加唯一用户身份标记,使得能够识别出制作非法拷贝“叛逆者”的技术.目前,数字指纹方案中普遍存在着大用户数下指纹码构造过长以及无法有效叛逆跟踪的问题和缺陷.为了解决这些问题,在Boneh-Shaw的基础上,给出了指纹信息码的定义,并将卷积码与一般指纹码相结合,提出一种实际构造方法.同时,通过引入“备选子码集”的概念对Viterbi译码算法予以改进,给出了指纹信息码的译码算法.在理论与实例两方面对编码安全性质和性能的证明和分析结果均表明,所提出方案具有更短的用户信息编码长度,并实现了大用户集下有效叛逆用户的搜索.

关键词：数字指纹合谋安全叛逆跟踪卷积编码

来源：评论

学校读者我要写书评

暂无评论

多小波变换域内基于扩频和量化的混合水印研究

引用

电子学报 2006年第10期34卷 1817-1822页

作者：朱岩杨永田冯登国北京大学计算机科学技术研究所北京100871 哈尔滨工程大学计算机科学与技术学院黑龙江哈尔滨150001 中科院研究生院信息安全国家重点实验室北京100049

考虑到扩频和量化技术存在互补性,本文构造一种扩频和量化混合模型,并提出了一种图像多小波变换域内基于扩频和量化的混合数字水印方案,通过理论分析给出了扩频长度、信道容量、检测错误率等参数间的关系,实验结果表明算法实现了水印鲁... 详细信息

考虑到扩频和量化技术存在互补性,本文构造一种扩频和量化混合模型,并提出了一种图像多小波变换域内基于扩频和量化的混合数字水印方案,通过理论分析给出了扩频长度、信道容量、检测错误率等参数间的关系,实验结果表明算法实现了水印鲁棒性前提下的水印容量最大化的目的.

关键词：数字水印脏纸模型扩频 SCS 多小波变换

来源：评论

学校读者我要写书评

暂无评论

一种多项式时间的路径敏感的污点分析方法

引用

计算机学报 2009年第9期32卷 1845-1855页

作者：李佳静王铁磊韦韬凤旺森邹维中国矿业大学(北京)机电与信息工程学院北京100083 网络与软件安全保障教育部重点实验室(北京大学) 北京100871 北京大学计算机科学技术研究所北京100871 北京大学计算中心北京100871

提出了一种解决静态污点分析方法在进行路径敏感的分析时面临的路径爆炸的问题的方法.该方法将污点分析问题转化为加权下推自动机的广义下推后继问题,进一步利用污点数据在程序中的可达性,减少后续分析中需要精确执行的路径数.从而该方... 详细信息

提出了一种解决静态污点分析方法在进行路径敏感的分析时面临的路径爆炸的问题的方法.该方法将污点分析问题转化为加权下推自动机的广义下推后继问题,进一步利用污点数据在程序中的可达性,减少后续分析中需要精确执行的路径数.从而该方法能够以多项式的时间复杂度实现程序状态空间遍历,并能在发现程序违反安全策略时自动生成反例路径.设计实验使用该方法对击键记录行为进行了刻画,对恶意代码程序和合法软件进行了两组分析实验,并与现有的方法进行了对比分析.实验证明本文的方法可以有效地对具有较多分支的程序进行路径敏感的污点分析。

关键词：加权下推自动机数据流分析污点分析恶意行为击键记录

来源：评论

学校读者我要写书评

暂无评论

网页木马机理与防御技术

引用

软件学报 2013年第4期24卷 843-858页

作者：张慧琳邹维韩心慧北京大学计算机科学技术研究所北京100080 北京大学互联网安全技术北京市重点实验室北京100080 中国科学院信息工程研究所北京100093

网页木马是一种以JavaScript,VBScript,CSS等页面元素作为攻击向量,利用浏览器及插件中的漏洞,在客户端隐蔽地下载并执行恶意程序的基于Web的客户端攻击.网页木马的表现形式是一个或一组有内嵌链接关系的页面/脚本,有漏洞的客户端在访问... 详细信息

网页木马是一种以JavaScript,VBScript,CSS等页面元素作为攻击向量,利用浏览器及插件中的漏洞,在客户端隐蔽地下载并执行恶意程序的基于Web的客户端攻击.网页木马的表现形式是一个或一组有内嵌链接关系的页面/脚本,有漏洞的客户端在访问该(组)页面时会"过路式下载"木马等恶意程序.网页木马通过这种被动攻击模式,能隐蔽、有效地将恶意程序植入客户端,这已经成为恶意程序传播的一种重要方式.近年来,围绕网页木马的攻防博弈在持续进行.首先阐述网页木马的机理和特点,然后从检测、特征分析、防范这3个方面对网页木马防御方的研究进行总结和分析,最后对网页木马攻防双方的发展趋势进行讨论.

关键词：网页木马客户端攻击被挂马网页混淆内嵌链接

来源：评论

学校读者我要写书评

暂无评论

基于频繁子树挖掘算法的网页木马检测技术

引用

清华大学学报（自然科学版） 2011年第10期51卷 1312-1317页

作者：韩心慧龚晓锐诸葛建伟邹磊邹维北京大学计算机科学技术研究所北京100871 北京大学互联网安全技术北京市重点实验室北京100871 清华大学信息网络工程研究中心北京100084

针对目前互联网安全的主要威胁之一网页木马,基于网页木马的树状链接结构特征,引入频繁子树挖掘算法,对前期积累的4万多个恶意网页木马场景进行子树模式挖掘,提取了35个网页木马场景共同子树结构特征,利用这些特征在网页木马动态分析过... 详细信息

针对目前互联网安全的主要威胁之一网页木马,基于网页木马的树状链接结构特征,引入频繁子树挖掘算法,对前期积累的4万多个恶意网页木马场景进行子树模式挖掘,提取了35个网页木马场景共同子树结构特征,利用这些特征在网页木马动态分析过程中辅助检测。实验表明:在加入基于子树特征的检测方法判定的网页木马中,动态检测方法有近20%的漏报。因此,基于子树特征的检测方法有效地提高了动态检测的检测能力和效率,同时挖掘出的典型子树模式提供了网页木马分类和溯源的依据。

关键词：网页木马频繁子树动态分析数据挖掘

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：