【摘 要】
：
大量而广泛存在的源码系统使得软件源码的安全问题日益重要.文中在大型源码系统中采取路径敏感的方式挖掘关联变量访问规则,并自动检测系统中因不一致访问关联变量引发的源码
【机 构】
：
中国人民大学信息学院,中国信息安全测评中心
论文部分内容阅读
大量而广泛存在的源码系统使得软件源码的安全问题日益重要.文中在大型源码系统中采取路径敏感的方式挖掘关联变量访问规则,并自动检测系统中因不一致访问关联变量引发的源码缺陷.通过结合程序源码的逻辑信息及路径敏感信息,挖掘出其中的源码关联变量,避免路径非敏感方法带来的错误.对路径敏感方法挖掘源码关联变量中面临的主要挑战:路径权重不均、路径爆炸问题,提出较高效的解决办法.在Linux源码系统中验证方法的正确性和高效性,实验结果表明该方法可高效、准确提取模式.
其他文献
文章在介绍注意规律的基础上,阐述了有意注意规律及注意转化规律在课件设计中的一些应用.并对注意规律应用于课件设计中要注意的问题进行了探讨.以期对多媒体课件设计提出一
粗糙集的公理化是该理论研究的重要课题之一. 文中在分析对称关系下粗糙近似算子的特征公理基础上,提出强对称二元关系. 对比等价关系的性质,讨论该二元关系的一些重要特征,
在多标记学习中,发现与利用各标记之间的依赖关系能提高学习算法的性能.文中基于分类器链模型提出一种针对性的多标记分类算法.该算法首先量化标记间的依赖程度,并构建标记之
2011年1-8月份，福田雷沃重工海外销售各类产品累计9300余台，同比增长34％。福田雷沃重工实施“全球化战略”以来，一直致力于售后服务的开发及创新，用心铸造“全心为你”的服务品牌，
提出一种正则化保局鉴别分析方法(RLPDA)并将其应用于人脸识别.受样本有限制约和大量噪声干扰,保局类内散布矩阵的零特征值及小特征值估计不准确,进而影响鉴别保局投影算法的性能.结合倒数谱模型对保局类内散布矩阵的特征值进行正则化,并利用正则化后的特征值对相应的特征空间加权,使人脸空间被保留,噪声空间被削弱,而零空间则被加强.通过分析鉴别信息在数据空间的分布可发现,RLPDA方法有效利用整个特征空间的
元胞遗传算法通过限定个体之间的相互作用邻域提高算法的全局收敛率,但在一定程度降低搜索效率.文中提出一种粒子群与多种群元胞遗传混合优化算法.首先将群体分割成多个相互
墙体材料改革是建筑工程的一项重大改革,随着新材料、新技术的不断产生,使得施工技术不断革新,着重阐述粉煤灰砌块墙体施工中一些行之有效的方法和质量控制措施.
资源枯竭型城市的发展面临着很多先天不足,调整优化产业结构,提高城市化水平,实现经济转型势在必行.为此城市会需要大批的工艺、技术及管理方面的高素质劳动者,这既是加快发
声纹识别中,提出基于隐马尔可夫-通用背景模型的识别算法.针对声纹密码中每个人的注册语音数据量很少的问题,提出使用大量其他人数据先建立话者无关的声韵母隐马尔可夫模型作
研究利用帧间存在仿射运动的低分辨率图像序列重建出更高光学分辨率图像的盲超分辨率(BSR)问题.首先给出一种基于特征向量的模糊核零空间矩阵构造方法.将模糊的零子空间约束作为一项规整化泛函,提出一种非参数化模糊辨识、运动估计和图像重建三重耦合问题的联合迭代算法.该算法采用一个二层优化策略:先将三重耦合的BSR问题分解为关于模糊的二次型和关于运动参数与图像的非线性最小二乘(NLS)问题,再采用Gauss