【摘 要】
：
北京大学计算机科学技术研究所2006级直博生王铁磊（导师：邹维研究员）的论文“IntScope： Automatically Detecting Integer Overflow Vulnerability In X86 Binary Using Symbolic
论文部分内容阅读
北京大学计算机科学技术研究所2006级直博生王铁磊（导师：邹维研究员）的论文“IntScope： Automatically Detecting Integer Overflow Vulnerability In X86 Binary Using Symbolic Execution：在 NDSS＇09 （16^th Annum Network ＆ Distributed System Security Symposium）国际会议上发表。文章介绍了程序整数溢出漏洞挖掘的一种新方法。这是自NDSS创立16
其他文献
本文以17—18世紀歐洲人如何開始認識中國儒家典籍爲背景,考察了《詩經》在當時歐洲的傳播,特别是《詩經》在英國的流傳,以此透視出中國典籍在西方文化流傳初期的具體面貌與
目的:针对郴州市法官及检察官群体的心理健康状况进行调查研究。方法:抽取该市法官133名、检察官 198名,采用症状自评量表(SCL-90)进行测量。结果:全体被试总分和除躯体化之
为研究波形钢腹板组合曲线梁的挠度偏载系数,文中综合箱梁的弯、扭和腹板的剪切变形因素,基于能量法建立了箱梁的弹性控制微分方程,结合边界条件对方程进行了变分求解。通过
经典的蛋白质组学研究方法包括IEF／SDS-PAGE双向电泳和质谱技术的联用，但由于IEF的一些不足，限制了其应用范围。对角线电泳是蛋白质组学研究中的一项特殊分离技术，由于其原理与IE
缩短游线可抽象为旅行商问题。本文依照基本蚁群算法求解旅行商问题,再通过研究最大最小蚁群算法分析证明通过改进蚂蚁的路径选择机制和信息素更新机制,可有效提升算法性能。
<正>磷酸钙生物陶瓷（TCP、HA等）作为人体硬组织修复材料,具有很多优点,但是,羟基磷灰石(Ca10（PO4）6（OH）2,简称HA)降解速度慢,很难吸收,会对新骨的生长产生阻碍作用,限制了其在临床
<正>任何一个民族的科学教育都有其产生、发展的特定环境和历史渊源,因而表现出各自不同的风格和特点。中国古代数学教育是在中国传统思想文化这块园地里生长和发展起来的,它
对硬件设计进行功能验证的一个关键问题是需要大量的模拟矢量来保证验证的充分性。本文针对Verilog语言，采用遗传算法（Genetic Algorithm，GA）作为解决方案，设计了一个使用遗传算法
<正>奉贤,地处上海的南大门,北靠奔腾不息的黄浦江,南临浩瀚无垠的杭州湾,域内大小河流纵横密布,是典型的江南水乡;奉贤,又具有深厚的历史文化渊源,相传孔子唯一的江南弟子言
课堂教学在教育教学中占有尤其重要的作用,它是学生学习和理解书本知识、培养和提高自身能力的主要渠道,每位教师都应该认真考虑如何提高课堂教学效率的问题。本文认为,要提