本文關(guān)鍵詞：北京大學(xué)計算機科學(xué)技術(shù)研究所在國際系統(tǒng)安全頂級會議NDSS發(fā)表高水平論文

  更多相關(guān)文章： 計算機科學(xué) 系統(tǒng)安全 技術(shù)研究所 北京大學(xué) 國際會議 發(fā)表論文 國際互聯(lián)網(wǎng) 前沿研究成果 課題組 漏洞

【摘要】：
【關(guān)鍵詞】： 計算機科學(xué) 系統(tǒng)安全 技術(shù)研究所 北京大學(xué) 國際會議 發(fā)表論文 國際互聯(lián)網(wǎng) 前沿研究成果 課題組 漏洞
【分類號】：TP3-2
【正文快照】： 北京大學(xué)計算機科學(xué)技術(shù)研究所2006級直博生王鐵磊(導(dǎo)師:鄒維研究員)的論文“IntScope:Automatically DetectingInteger OverflowVulnerability In X86Binary Using Symbolic Execution”在NDSS09(16thAnnual NetworkDistributed System SecuritySymposium)國際會議上發(fā)表。

【相似文獻】

中國期刊全文數(shù)據(jù)庫 前10條

1 ;歡迎閱讀/訂閱2011年《計算機科學(xué)》雜志[J];計算機科學(xué);2011年08期

2 謝寧一;;計算機科學(xué)與技術(shù):精英的搖籃[J];數(shù)學(xué)教學(xué)通訊;2009年32期

3 付宏才;隨中華;;探討計算機科學(xué)與技術(shù)專業(yè)人才培養(yǎng)模式[J];科技創(chuàng)新導(dǎo)報;2011年20期

4 梁大衛(wèi);;企業(yè)管理信息系統(tǒng)的安全策略[J];企業(yè)技術(shù)開發(fā);2011年11期

5 何麗麗;;高校計算機專業(yè)綜合性實驗探索與研究[J];科技信息;2011年15期

6 ;2011年《計算機科學(xué)》“物聯(lián)網(wǎng)與網(wǎng)絡(luò)新技術(shù)”專輯征文通知[J];計算機科學(xué);2011年07期

7 祁進林;;淺談企業(yè)信息系統(tǒng)維護與管理[J];現(xiàn)代營銷(學(xué)苑版);2011年07期

8 ;計算機科學(xué)技術(shù)學(xué)院簡介[J];新疆師范大學(xué)學(xué)報(自然科學(xué)版);2011年02期

9 張瑩;;校園一卡通系統(tǒng)的規(guī)范化部署方案[J];科技傳播;2011年15期

10 李愛平;張滬寅;丁紅莉;;從學(xué)術(shù)型碩士到專業(yè)型碩士的教學(xué)改革探索[J];信息與電腦(理論版);2011年06期

中國重要會議論文全文數(shù)據(jù)庫 前10條

1 丁祖錚;劉茂松;姚德馨;;基于B/S框架結(jié)構(gòu)的企業(yè)管理信息系統(tǒng)的實現(xiàn)[A];全國冶金自動化信息網(wǎng)年會論文集[C];2004年

2 劉岌虹;史少陽;;系統(tǒng)安全管理論在醫(yī)療安全管理中的應(yīng)用[A];中國成人醫(yī)藥教育論壇[2010（3）][C];2010年

3 丁祖錚;劉茂松;姚德馨;;基于B/S框架結(jié)構(gòu)的企業(yè)管理信息系統(tǒng)的實現(xiàn)[A];冶金自動化信息網(wǎng)年會論文集[C];2004年

4 劉巖;王箭;;LSM實現(xiàn)機制的研究[A];2009通信理論與技術(shù)新發(fā)展——第十四屆全國青年通信學(xué)術(shù)會議論文集[C];2009年

5 梁曉光;;UNIX系統(tǒng)安全檢測軟件中數(shù)據(jù)庫的設(shè)計及其實現(xiàn)[A];中國工程物理研究院科技年報（2003）[C];2003年

6 ;2008年計算機應(yīng)用技術(shù)交流會論文集序言[A];2008年計算機應(yīng)用技術(shù)交流會論文集[C];2008年

7 逄建;張廣勝;于朝萍;;基于Petri網(wǎng)的網(wǎng)絡(luò)系統(tǒng)脆弱性評估[A];第十九次全國計算機安全學(xué)術(shù)交流會論文集[C];2004年

8 龔海南;王軼;;電臺網(wǎng)絡(luò)系統(tǒng)自動補丁管理[A];2007第二屆全國廣播電視技術(shù)論文集2（下）[C];2007年

9 王培國;;信息系統(tǒng)開發(fā)中的系統(tǒng)安全防范設(shè)計[A];四川省通信學(xué)會2009年學(xué)術(shù)年會論文集[C];2009年

10 ;《計算機科學(xué)》繼續(xù)被編入《中文核心期刊要目總覽》2000年版[A];第十七屆全國數(shù)據(jù)庫學(xué)術(shù)會議論文集（研究報告篇）[C];2000年

中國重要報紙全文數(shù)據(jù)庫 前10條

1 記者 焦新;中國計算機科學(xué)2020研討會舉行[N];中國教育報;2009年

2 記者 周襄楠　程曦 李含;世界名家聚焦“中國計算機科學(xué)2020計劃”[N];新清華;2009年

3 邳州市新世紀中學(xué) 王麗;淺談數(shù)學(xué)在計算機科學(xué)及應(yīng)用中的作用[N];學(xué)知報;2010年

4 荊晶;最小計算機在美問世[N];經(jīng)濟參考報;2011年

5 記者 劉霞;新程序讓計算機學(xué)會“后悔”[N];科技日報;2011年

6 劉麗 孟彥蘋;站在現(xiàn)代信息科學(xué)的前沿陣地[N];科技日報;2005年

7 本報記者 宋莉邋滕繼濮;創(chuàng)新科技英雄 鑄就大師夢想[N];科技日報;2008年

8 徐兵;計算機界的“諾貝爾獎”——圖靈獎[N];電腦報;2010年

9 記者 原亮亮;全市教育系統(tǒng)安全穩(wěn)定工作會召開[N];漢中日報;2010年

10 四川 王素華;用精銳V3.6保衛(wèi)系統(tǒng)安全[N];電腦報;2003年

中國博士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 陳辰;VANET系統(tǒng)安全的關(guān)鍵問題研究[D];復(fù)旦大學(xué);2011年

2 張春玉;高技術(shù)研究所綜合實力自我評價研究[D];吉林大學(xué);2010年

3 左偉;基于RS、GIS和Models的區(qū)域生態(tài)環(huán)境系統(tǒng)安全綜合評價研究[D];南京師范大學(xué);2002年

4 趙文智;提高民航安全性的研究[D];天津大學(xué);2006年

5 肖軍;面向?qū)ο蟮亩嗝襟w信息系統(tǒng)控制和安全機制的關(guān)鍵技術(shù)研究[D];吉林大學(xué);2005年

6 李琪;集成化鉆井智能決策支持系統(tǒng)的理論與應(yīng)用研究[D];西南石油學(xué)院;2002年

7 雷銀彬;Domain理論及Rough集理論若干相關(guān)問題研究[D];四川大學(xué);2007年

8 趙國冬;嵌入式系統(tǒng)彈性應(yīng)對方法研究[D];哈爾濱工程大學(xué);2011年

9 俞俏燕;中國單科性院校專業(yè)趨同問題研究[D];廈門大學(xué);2008年

10 劉興高;內(nèi)部熱耦合精餾塔的建模與優(yōu)化[D];浙江大學(xué);1999年

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 葉家艷;基于工作流管理的協(xié)同OA系統(tǒng)的實現(xiàn)[D];西南交通大學(xué);2005年

2 楊勤;寧夏公安偵察專網(wǎng)雙因素身份認證的研究與實現(xiàn)[D];同濟大學(xué);2007年

3 劉志祥;Linux系統(tǒng)安全性研究及其新型Sniffer設(shè)計與實現(xiàn)[D];南昌大學(xué);2005年

4 馮文超;電子商務(wù)的風(fēng)險與防范對策[D];暨南大學(xué);2006年

5 李相鶴;電子政務(wù)信息安全若干技術(shù)的分析與研究[D];武漢大學(xué);2004年

6 杜成昊;電子商務(wù)中網(wǎng)絡(luò)安全問題的探討[D];武漢理工大學(xué);2006年

7 尹強;工程建設(shè)交易管理系統(tǒng)研究與開發(fā)[D];北京工業(yè)大學(xué);2006年

8 于瑤瑤;企業(yè)進銷存管理系統(tǒng)的設(shè)計與實現(xiàn)[D];山東大學(xué);2009年

9 陳傳庚;基于Web數(shù)據(jù)庫的火炮信息系統(tǒng)及其安全性研究[D];南京理工大學(xué);2005年

10 錢曉明;人工免疫在入侵檢測系統(tǒng)中的應(yīng)用研究[D];四川大學(xué);2005年

，

本文編號：1106926