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

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

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

【相似文獻】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

6 ;2008年計算機應用技術交流會論文集序言[A];2008年計算機應用技術交流會論文集[C];2008年

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

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

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

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

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

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

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

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

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

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

6 劉麗 孟彥蘋;站在現(xiàn)代信息科學的前沿陣地[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年

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

4 馮文超;電子商務的風險與防范對策[D];暨南大學;2006年

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

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

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

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

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

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

，

本文編號：1106926