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

中国科学：信息科学 2024年第9期54卷 2157-2180页

作者：陈昌骅万海赵曦滨北京信息科学与技术国家研究中心北京100084 信息系统安全教育部重点实验室北京100084 清华大学软件学院北京100084

在攻击调查领域,为应对依赖爆炸和语义鸿沟的挑战,日志融合通过引入多层级日志的丰富语义得到系统实体之间细粒度的因果关系,以逼近实际的执行历史.然而,由于审计日志的系统调用和应用日志的程序消息被用来推断复杂的系统状态,基于日志... 详细信息

在攻击调查领域,为应对依赖爆炸和语义鸿沟的挑战,日志融合通过引入多层级日志的丰富语义得到系统实体之间细粒度的因果关系,以逼近实际的执行历史.然而,由于审计日志的系统调用和应用日志的程序消息被用来推断复杂的系统状态,基于日志融合的攻击调查系统存在被对抗攻击的弱点,本文率先提出并称之为日志重融合攻击(log refusion attacks),其演示了攻击者如何增强实际漏洞来破坏日志完整性,绕过现有防御,破坏溯源中的联结并陷害良性用户.而后,本文提出一种攻击调查的新设计PRovGuARD(provenance guardian),它利用同时包含程序调用控制流和应用消息数据流的建模来交叉验证审计日志和应用日志的历史记录,以确保执行的合法性和一致性.如果攻击者毁损溯源数据,将检测到矛盾并告警,修正执行路径,得到正确的攻击根因和后果.本文在Linux上实现了原型,并在覆盖各类执行模型的14个实际应用场景及程序上进行了广泛评估.实验结果显示,其成功验证还原了正确的攻击故事,且平均性能开销比传统审计框架仅高3.62%,同时在最坏情况下只重新引入0.78%的错误依赖,证明了原型的有效性及其防御攻击的新颖性.

关键词：攻击调查对抗攻击日志融合控制流图数据流图

来源：评论

学校读者我要写书评

暂无评论

基于支持向量机的Web日志用户标志修正算法

引用

计算机集成制造系统 2011年第8期17卷 1851-1855页

作者：邹根闻立杰清华大学计算机科学与技术系北京100084 清华大学软件学院北京100084 清华大学信息系统安全教育部重点实验室北京100084 清华大学信息科学与技术国家实验室(筹) 北京100084

针对用户删除Cookie导致的Web日志用户标志不准确的情况,提出了一种基于支持向量机的用户标志修正算法。首先训练一个分类器判断两个会话是否属于同一个用户,然后计算两个不同标志用户之间的相似度,最后将日志进行分组,发现所有删除Coo... 详细信息

针对用户删除Cookie导致的Web日志用户标志不准确的情况,提出了一种基于支持向量机的用户标志修正算法。首先训练一个分类器判断两个会话是否属于同一个用户,然后计算两个不同标志用户之间的相似度,最后将日志进行分组,发现所有删除Cookie的用户并进行标志的修正。通过实验验证了算法的有效性。

关键词： Web日志数据预处理用户识别支持向量机数据挖掘

来源：评论

学校读者我要写书评

暂无评论

基于投影特征识别的斜截切二次曲面重建算法

引用

计算机辅助设计与图形学学报 2009年第6期21卷 789-795页

作者：文雅玫龚洁晖张慧清华大学软件学院清华大学计算机科学与技术系信息系统安全教育部重点实验室清华信息科学与技术国家实验室中国人民解放军75753部队

平面与二次曲面的截切组合是机械零件常用的设计手段.在分析斜截切二次曲面在三视图中的投影特性的基础上,提出识别和重建这类曲面的算法.首先根据曲面的投影特性在三视图中检索斜截切曲面的投影痕迹;然后以其作为引导,初步判定曲面类型... 详细信息

平面与二次曲面的截切组合是机械零件常用的设计手段.在分析斜截切二次曲面在三视图中的投影特性的基础上,提出识别和重建这类曲面的算法.首先根据曲面的投影特性在三视图中检索斜截切曲面的投影痕迹;然后以其作为引导,初步判定曲面类型,深度优先搜索进一步识别斜截切二次曲面;再根据投影边的二维信息计算未截切曲面的几何参数,并通过未截切曲面与截平面求交获取截切曲线;最后构造斜截切曲面的拓扑结构,生成三维曲面.该算法可以识别和重建空间任意位置的斜截切二次曲面,拓展了重建算法的形体覆盖域.文中算法目前已运用到形体重建原型系统中,实验结果证明了其有效性.

关键词：二次曲面三视图三维重建

来源：评论

学校读者我要写书评

暂无评论

基于MANET可用性的信任度量模型

引用

通信学报 2010年第3期31卷 82-88页

作者：赵曦滨游之洋赵志峰清华大学软件学院信息系统安全教育部重点实验室北京100084 清华大学计算机科学与技术系北京100084 镇江船艇学院计算机教研室江苏镇江212003

提出并设计了基于可用性的信任度量模型(ABTEM,availability based trust evalua tion model),在此基础上可以构建多种针对可用性的安全服务。网络模拟实验的结果证明,将ABTEM应用于DSR路由协议时,在路由层能够成功地根据其恶意行为发... 详细信息

提出并设计了基于可用性的信任度量模型(ABTEM,availability based trust evalua tion model),在此基础上可以构建多种针对可用性的安全服务。网络模拟实验的结果证明,将ABTEM应用于DSR路由协议时,在路由层能够成功地根据其恶意行为发现网络中的恶意节点,并且进一步孤立这些恶意节点,从而避免网络继续受到恶意节点的侵害,显著提高了MANET系统的可用性。

关键词： MANET 可用性信任度量 DSR协议

来源：评论

学校读者我要写书评

暂无评论

实系数二元二次方程组实根分类求解方法

引用

计算机辅助设计与图形学学报 2014年第5期26卷 725-730页

作者：万瑞杰雍俊海施侃乐清华大学软件学院北京100084 清华大学计算机科学与技术系北京100084 信息系统安全教育部重点实验室北京100084 清华信息科学与技术国家实验室北京100084 Inria Villers-lès-Nancyfrance54600

为了提高平面二次曲线求交结果的精度和拓扑稳定性,提出一种基于二次曲线分类的二元二次方程组实根求解方法.首先将二元二次方程组的2个方程依照系数判断出其在x-y平面上的曲线类型,并根据不同的曲线类型分类情况,应用曲线的参数方程将... 详细信息

为了提高平面二次曲线求交结果的精度和拓扑稳定性,提出一种基于二次曲线分类的二元二次方程组实根求解方法.首先将二元二次方程组的2个方程依照系数判断出其在x-y平面上的曲线类型,并根据不同的曲线类型分类情况,应用曲线的参数方程将原方程组转化为一元四次方程;然后求解出一元四次方程的解,并依此求出原二元二次方程组的解.实验结果表明,与吴消元法相比,该方法有效地提高了二元二次方程组求解的精度.

关键词：二元二次方程组实根求解几何分类参数方程二次曲线

来源：评论

学校读者我要写书评

暂无评论

计算两圆环面之间的最近距离

引用

计算机辅助设计与图形学学报 2011年第2期23卷 240-246页

作者：刘晓明刘长远胡强雍俊海清华大学软件学院北京100084 清华大学计算机科学与技术系北京100084 防化指挥工程学院一系北京102205 信息系统安全教育部重点实验室北京100084 清华信息科学与技术国家实验室北京100084

圆环面之间的距离计算是求解其碰撞检测和相交问题的基础.文中提出了一种判断两圆环之间包含、分离和相交3种位置关系,以及计算最近距离的方法.首先证明了空间两圆的Hausdorff距离可以通过计算共线法向点获得,并通过解一个一元八次方程... 详细信息

圆环面之间的距离计算是求解其碰撞检测和相交问题的基础.文中提出了一种判断两圆环之间包含、分离和相交3种位置关系,以及计算最近距离的方法.首先证明了空间两圆的Hausdorff距离可以通过计算共线法向点获得,并通过解一个一元八次方程求出三维空间中两圆的共线法向点;然后对共线法向点进行分类比较,得到两圆之间的最近距离和Hausdorff距离.证明了两圆环面间的位置关系不仅与其中心圆的最近距离相关,还与两中心圆的单向Hausdorff距离相关,进而解决了两圆环面之间的最近距离计算问题.最后通过实验说明了该方法的稳定性和高效性.

关键词： Hausdorff距离圆环面共线法向点

来源：评论

学校读者我要写书评

暂无评论

曲面二阶几何连续性的混合曲率评价与可视化

引用

计算机辅助设计与图形学学报 2011年第11期23卷 1830-1837页

作者：袁启明施侃乐雍俊海古和今清华大学软件学院北京100084 信息系统安全教育部重点实验室北京100084 清华信息科学与技术国家实验室北京100084 清华大学计算机科学与技术系北京100084 江西省科学院能源研究所南昌330029

曲面连续性评价与可视化在工业设计和分析过程中起着重要作用.针对曲面二阶几何连续性评价,提出了混合曲率的概念,并给出了基于混合曲率的曲面二阶几何连续性评价与可视化方法,可处理比传统基于单一曲率的评价方法更多奇异情况;还给出... 详细信息

曲面连续性评价与可视化在工业设计和分析过程中起着重要作用.针对曲面二阶几何连续性评价,提出了混合曲率的概念,并给出了基于混合曲率的曲面二阶几何连续性评价与可视化方法,可处理比传统基于单一曲率的评价方法更多奇异情况;还给出了纹理映射方法和自适应网格细分的实现算法,达到实时渲染和精度可调的要求.最后通过实例说明了该方法的有效性.

关键词： G2连续混合曲率纹理映射自适应网格细分

来源：评论

学校读者我要写书评

暂无评论

带数据工作流的形式化建模语言——数据感知的工作流网

引用

计算机集成制造系统 2012年第8期18卷 1735-1746页

作者：王朝霞王建民朱笑尘清华大学软件学院北京100084 清华大学计算机科学与技术系北京100084 清华大学信息系统安全教育部重点实验室北京100084 清华信息科学与技术国家实验室(筹) 北京100084 后勤工程学院后勤信息工程系重庆400014

为了在工作流实施之前对工作流进行形式化建模与验证,首次全面总结带数据工作流的形式化建模的研究现状。在理清工作流中各类数据与控制流的交互特征后,提出一种带数据工作流的形式化建模语言——数据感知的工作流网,并给出其行为语义... 详细信息

为了在工作流实施之前对工作流进行形式化建模与验证,首次全面总结带数据工作流的形式化建模的研究现状。在理清工作流中各类数据与控制流的交互特征后,提出一种带数据工作流的形式化建模语言——数据感知的工作流网,并给出其行为语义。通过工作流网模型的合理性分析/一致性分析方法的提出和方法的工具实现,证明了数据感知的工作流网具有较强的形式化建模能力。

关键词：业务过程管理带数据工作流形式化建模语言数据感知的工作流网

来源：评论

学校读者我要写书评

暂无评论

基于数据质量规则的缺失结果解释约减

引用

计算机研究与发展 2013年第S1期50卷 221-229页

作者：张奥千宋韶旭王建民清华大学软件学院北京100084 清华信息科学与技术国家实验室(筹) 北京100084 信息系统安全教育部重点实验室(清华大学) 北京100084

由于数据缺失等原因,用户在查询结果中可能没有得到预期的答案.现有的方法通过枚举可能的缺失记录来解释"为什么没有why-not"的问题.然而,枚举得到的解释数量庞大,用户无法逐一浏览确认缺失数据.实际上,这些可能的解释中有许... 详细信息

由于数据缺失等原因,用户在查询结果中可能没有得到预期的答案.现有的方法通过枚举可能的缺失记录来解释"为什么没有why-not"的问题.然而,枚举得到的解释数量庞大,用户无法逐一浏览确认缺失数据.实际上,这些可能的解释中有许多是不合理的,如何约减解释数量存在挑战.根据真实数据试验,利用数据中存在的唯一性约束来进行约减,生成的解释数量仍有几十万个.研究利用数据质量规则(如函数依赖)来高效约减缺失结果的解释.首先,提出一种基于函数依赖的解释约减算法FDR(functional dependencies-based reduction).其次,为了辅助用户浏览生成的解释,进一步研究利用近似函数依赖对解释进行排序.真实数据实验表明,FDR方法能够比现有的方法减少2~5个数量级的解释(从几十万个减少至几千个甚至几十个);利用近似函数依赖排序的Top-1解释精确率达到90%以上.

关键词：数据质量依赖规则缺失结果解释函数依赖近似函数依赖

来源：评论

学校读者我要写书评

暂无评论

B样条曲线与其控制多边形的局部距离上界

引用

计算机辅助设计与图形学学报 2011年第5期23卷 741-746页

作者：刘鹏雍俊海古和今清华大学软件学院北京100084 清华大学计算机科学与技术系北京100084 信息系统安全教育部重点实验室北京100084 清华信息科学与技术国家实验室北京100084 江西省科学院科研开发处南昌330029

在对B样条曲线进行绘制和分析时,一个常用的方法是通过细分控制多边形近似B样条曲线,其中对控制多边形到曲线的距离的上界进行估计是影响细分深度的关键因素.为了获得更紧致的距离上界,从而减小折线近似的数据量,利用控制多边形的二阶... 详细信息

在对B样条曲线进行绘制和分析时,一个常用的方法是通过细分控制多边形近似B样条曲线,其中对控制多边形到曲线的距离的上界进行估计是影响细分深度的关键因素.为了获得更紧致的距离上界,从而减小折线近似的数据量,利用控制多边形的二阶差分的模以及前两阶差分之间的夹角,并通过在每一步细分过程中可能发生的最大变化的累加和来估计局部距离的上界,使得在前两阶差分之间的夹角较小时可以得到较为紧致的上界.实验结果表明,针对平滑的曲线,采用文中方法有效地降低了估计上界.

关键词： B样条曲线控制多边形局部距离上界

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：