面向Web的細(xì)粒度信息流控制模型研究.pdf

1、當(dāng)前的Web應(yīng)用程序是由多個(gè)作者撰寫的JavaScript的集合：開發(fā)人員經(jīng)常性地集成來(lái)自第三方的代碼，并且mashup應(yīng)用需要集成在不同站點(diǎn)托管的數(shù)據(jù)和代碼。由于當(dāng)前的瀏覽器本質(zhì)上缺乏足夠限制不受信任的第三方代碼的機(jī)制，無(wú)法保障用戶隱私的安全性和應(yīng)用程序的完整性。
　　針對(duì)第三方代碼所引發(fā)的安全問(wèn)題，通過(guò)研究各類Web應(yīng)用的特點(diǎn)和安全需求，提出了可應(yīng)用于瀏覽器的基于標(biāo)簽的細(xì)粒度信息流控制模型，兼顧職責(zé)分離原則和最小特權(quán)原則，能夠

2、高效靈活地保障用戶信息的私密性和應(yīng)用程序完整性。模型引入兩種不同粒度的信息流標(biāo)簽，即頁(yè)面標(biāo)簽和消息標(biāo)簽，并通過(guò)跟蹤這些動(dòng)態(tài)變化的標(biāo)簽來(lái)實(shí)現(xiàn)靈活準(zhǔn)確的信息流控制策略。頁(yè)面標(biāo)簽用來(lái)關(guān)聯(lián)瀏覽器組件，代表組件中所有數(shù)據(jù)的特權(quán)。它不僅能夠表示私密性和完整性，也能夠嚴(yán)格定義授權(quán)和降密操作。消息標(biāo)簽用來(lái)關(guān)聯(lián)組件間傳遞的通信消息，表示被標(biāo)記的消息中包含相關(guān)組件的私密信息。模型可以通過(guò)消息標(biāo)簽跟蹤私密信息，防止其泄露出瀏覽器。此外，通過(guò)證明信息流控制技術(shù)