北京大学计算机科学技术研究所在国际系统安全顶级会议NDSS发表高水平论文

发布时间：2017-10-28 06:01

  本文关键词：北京大学计算机科学技术研究所在国际系统安全顶级会议NDSS发表高水平论文

  更多相关文章： 计算机科学 系统安全 技术研究所 北京大学 国际会议 发表论文 国际互联网 前沿研究成果 课题组 漏洞

【摘要】：
【关键词】： 计算机科学 系统安全 技术研究所 北京大学 国际会议 发表论文 国际互联网 前沿研究成果 课题组 漏洞
【分类号】：TP3-2
【正文快照】： 北京大学计算机科学技术研究所2006级直博生王铁磊(导师:邹维研究员)的论文“IntScope:Automatically DetectingInteger OverflowVulnerability In X86Binary Using Symbolic Execution”在NDSS09(16thAnnual NetworkDistributed System SecuritySymposium)国际会议上发表。

【相似文献】

中国期刊全文数据库 前10条

1 ;欢迎阅读/订阅2011年《计算机科学》杂志[J];计算机科学;2011年08期

2 谢宁一;;计算机科学与技术:精英的摇篮[J];数学教学通讯;2009年32期

3 付宏才;随中华;;探讨计算机科学与技术专业人才培养模式[J];科技创新导报;2011年20期

4 梁大卫;;企业管理信息系统的安全策略[J];企业技术开发;2011年11期

5 何丽丽;;高校计算机专业综合性实验探索与研究[J];科技信息;2011年15期

6 ;2011年《计算机科学》“物联网与网络新技术”专辑征文通知[J];计算机科学;2011年07期

7 祁进林;;浅谈企业信息系统维护与管理[J];现代营销(学苑版);2011年07期

8 ;计算机科学技术学院简介[J];新疆师范大学学报(自然科学版);2011年02期

9 张莹;;校园一卡通系统的规范化部署方案[J];科技传播;2011年15期

10 李爱平;张沪寅;丁红莉;;从学术型硕士到专业型硕士的教学改革探索[J];信息与电脑(理论版);2011年06期

中国重要会议论文全文数据库 前10条

1 丁祖铮;刘茂松;姚德馨;;基于B/S框架结构的企业管理信息系统的实现[A];全国冶金自动化信息网年会论文集[C];2004年

2 刘岌虹;史少阳;;系统安全管理论在医疗安全管理中的应用[A];中国成人医药教育论坛[2010（3）][C];2010年

3 丁祖铮;刘茂松;姚德馨;;基于B/S框架结构的企业管理信息系统的实现[A];冶金自动化信息网年会论文集[C];2004年

4 刘岩;王箭;;LSM实现机制的研究[A];2009通信理论与技术新发展——第十四届全国青年通信学术会议论文集[C];2009年

5 梁晓光;;UNIX系统安全检测软件中数据库的设计及其实现[A];中国工程物理研究院科技年报（2003）[C];2003年

6 ;2008年计算机应用技术交流会论文集序言[A];2008年计算机应用技术交流会论文集[C];2008年

7 逄建;张广胜;于朝萍;;基于Petri网的网络系统脆弱性评估[A];第十九次全国计算机安全学术交流会论文集[C];2004年

8 龚海南;王轶;;电台网络系统自动补丁管理[A];2007第二届全国广播电视技术论文集2（下）[C];2007年

9 王培国;;信息系统开发中的系统安全防范设计[A];四川省通信学会2009年学术年会论文集[C];2009年

10 ;《计算机科学》继续被编入《中文核心期刊要目总览》2000年版[A];第十七届全国数据库学术会议论文集（研究报告篇）[C];2000年

中国重要报纸全文数据库 前10条

1 记者 焦新;中国计算机科学2020研讨会举行[N];中国教育报;2009年

2 记者 周襄楠　程曦 李含;世界名家聚焦“中国计算机科学2020计划”[N];新清华;2009年

3 邳州市新世纪中学 王丽;浅谈数学在计算机科学及应用中的作用[N];学知报;2010年

4 荆晶;最小计算机在美问世[N];经济参考报;2011年

5 记者 刘霞;新程序让计算机学会“后悔”[N];科技日报;2011年

6 刘丽 孟彦苹;站在现代信息科学的前沿阵地[N];科技日报;2005年

7 本报记者 宋莉邋滕继濮;创新科技英雄 铸就大师梦想[N];科技日报;2008年

8 徐兵;计算机界的“诺贝尔奖”——图灵奖[N];电脑报;2010年

9 记者 原亮亮;全市教育系统安全稳定工作会召开[N];汉中日报;2010年

10 四川 王素华;用精锐V3.6保卫系统安全[N];电脑报;2003年

中国博士学位论文全文数据库 前10条

1 陈辰;VANET系统安全的关键问题研究[D];复旦大学;2011年

2 张春玉;高技术研究所综合实力自我评价研究[D];吉林大学;2010年

3 左伟;基于RS、GIS和Models的区域生态环境系统安全综合评价研究[D];南京师范大学;2002年

4 赵文智;提高民航安全性的研究[D];天津大学;2006年

5 肖军;面向对象的多媒体信息系统控制和安全机制的关键技术研究[D];吉林大学;2005年

6 李琪;集成化钻井智能决策支持系统的理论与应用研究[D];西南石油学院;2002年

7 雷银彬;Domain理论及Rough集理论若干相关问题研究[D];四川大学;2007年

8 赵国冬;嵌入式系统弹性应对方法研究[D];哈尔滨工程大学;2011年

9 俞俏燕;中国单科性院校专业趋同问题研究[D];厦门大学;2008年

10 刘兴高;内部热耦合精馏塔的建模与优化[D];浙江大学;1999年

中国硕士学位论文全文数据库 前10条

1 叶家艳;基于工作流管理的协同OA系统的实现[D];西南交通大学;2005年

2 杨勤;宁夏公安侦察专网双因素身份认证的研究与实现[D];同济大学;2007年

3 刘志祥;Linux系统安全性研究及其新型Sniffer设计与实现[D];南昌大学;2005年

4 冯文超;电子商务的风险与防范对策[D];暨南大学;2006年

5 李相鹤;电子政务信息安全若干技术的分析与研究[D];武汉大学;2004年

6 杜成昊;电子商务中网络安全问题的探讨[D];武汉理工大学;2006年

7 尹强;工程建设交易管理系统研究与开发[D];北京工业大学;2006年

8 于瑶瑶;企业进销存管理系统的设计与实现[D];山东大学;2009年

9 陈传庚;基于Web数据库的火炮信息系统及其安全性研究[D];南京理工大学;2005年

10 钱晓明;人工免疫在入侵检测系统中的应用研究[D];四川大学;2005年

，

本文编号：1106926