论文部分内容阅读
程序分析已成为软件安全研究的一个重要手段.从宏观的视角看,程序分析为软件安全的研究提供了一种更细粒度的手段.也就是说,通过程序分析我们可以不再把程序当作黑盒,而是可以进一步深入到程序的内部.然而,程序分析最初并不针对软件安全,这使得许多传统的程序分析技术并不能很好地适应软件安全研究的需要.
程序分析与软件安全
【摘 要】
：
程序分析已成为软件安全研究的一个重要手段.从宏观的视角看,程序分析为软件安全的研究提供了一种更细粒度的手段.也就是说,通过程序分析我们可以不再把程序当作黑盒,而是可
【机 构】
：
北京大学
【出 处】
：
中国科学院学部“科学与技术前沿论坛”———软件与网络安全
【发表日期】
：
2014年11期
其他文献
This talk is concerned with the construction of global solutions near Maxwellians to the Cauchy problem of the Vlasov-Maxwell-Boltzmann system for the whole
会议
江西是我国南方典型的双季稻产区,在我国水稻生产中占有十分重要的地位。培肥是提高和保障作物产量的重要措施,但长期大量施用无机肥容易导致土壤退化、肥力下降及面源污染等问题。增加绿肥、厩肥、秸秆等有机肥料的投入不仅可以改善土壤结构、提高土壤有机质含量、保障作物高产稳产,而且可以减少无机肥的投入、降低环境污染的风险。因此,比较分析长期绿肥还田对双季稻田系统的生产力和抗逆性的影响,探讨双季稻田绿肥等有机肥的
目的:从中国传统中药大黄中寻找抗SARS病毒的活性部位。材料:从常用抗病毒中药中选择了红豆杉、苦参碱、甘草、紫玉盘、甜茶、木耳多糖、青蒿琥脂、荔枝核、鸦胆子、雄蚕蛾、罗汉果甜甙、罗汉果鞣质、黄芩甙、芒果、大黄、贯众十六种中药。分别用植物化学方法提取分离,制备十六种药材的提取物。方法:底物序列Thr-Ser-Ala-Val-Leu-Gln-pNA被活性3CLpro蛋白酶识别并切割序列...
油田污水含有大量的无机盐及HS和CO，从而会引起金属设备的严重腐蚀，影响油田的正常生产。本论文以石油酸、多乙烯多胺、甲醛和亚磷酸等为原料，合成了一种新型油田污水缓蚀剂膦甲
In this talk,I will discuss the existence of the boundary layer solution for Boltzmann equation.It could be obtained in the following two steps.Firstly,we l
会议
在激光间接驱动惯性约束聚变过程中，辐射驱动的靶丸内爆过程直接关系到核燃料是否能够发生核聚变并持续燃烧释放大量能量，辐射烧蚀、物质界面的不稳定性发展和物质混合是物
会议
荷电温敏性膜是一种非常新颖的药物释放体系，它具有离子交换膜(荷电膜)和温敏性膜所具有的多重特性，是一种多功能性膜。由于其骨架内存在大量的电荷，因此，它具有高含水量，非常适合
为了抑制渣油在延迟焦化加热炉热反应过程中的生焦，延长加工装置运行周期，以克拉玛依减压渣油，焦化馏分油A和B（以一定量掺兑入渣油中来模拟工业中的循环，即A和B是作为焦化循环油来