瀏覽器擴(kuò)展安全缺陷檢測(cè)工具的設(shè)計(jì)與實(shí)現(xiàn).pdf

1、瀏覽器擴(kuò)展可以為瀏覽器帶來(lái)新的特性,而瀏覽器擴(kuò)展機(jī)制允許用戶利用第三方擴(kuò)展為瀏覽器添加新的個(gè)性化功能,從而提升瀏覽器的性能和改變?yōu)g覽器外觀。然而,擴(kuò)展機(jī)制的引入也同時(shí)為瀏覽器帶來(lái)更多的安全相關(guān)的缺陷?，F(xiàn)存一些針對(duì)擴(kuò)展所引發(fā)的安全問(wèn)題的研究并不能消除擴(kuò)展安全缺陷為瀏覽器帶來(lái)的威脅,而當(dāng)擴(kuò)展的安全缺陷需要通過(guò)其行為序列加以判斷時(shí),其引發(fā)的安全問(wèn)題尤為突出。
　　在對(duì)火狐瀏覽器擴(kuò)展的行為的大規(guī)模調(diào)查研究之后,本文以火狐瀏覽器為例,提出了

2、一種基于行為序列安全性的瀏覽器擴(kuò)展安全缺陷檢測(cè)方法。方法中,首先需要插樁火狐原生瀏覽器,用于動(dòng)態(tài)監(jiān)測(cè)火狐擴(kuò)展的動(dòng)作,提取擴(kuò)展運(yùn)行過(guò)程中的所有相關(guān)的XPCOM(跨平臺(tái)組件對(duì)象模型)接口調(diào)用信息,并給出擴(kuò)展安全初步檢測(cè)結(jié)果以及擴(kuò)展動(dòng)作報(bào)告;同時(shí)需要完成擴(kuò)展行為序列的研究,以及存在安全缺陷的行為序列的抽象和缺陷有限狀態(tài)自動(dòng)機(jī)的定義。繼而,在監(jiān)測(cè)平臺(tái)和缺陷定義的基礎(chǔ)上,本文給出擴(kuò)展行為序列的化簡(jiǎn)方法,以及擴(kuò)展缺陷自動(dòng)判定方式和人工審查方式。最后