如何全面掌控session?且看WebSocket跨站劫持
WebSockets是一個能夠給單TCP連接提供全雙工信道的HTML5特性。它的持續(xù)性連接功能,使得構(gòu)建B/S模式的實時應(yīng)用成為可能。Websockets常常用在那些帶有聊天功能的WEB應(yīng)用上。
下面的圖片就非常貼切地闡釋了一個APT攻擊用到的websockets:
科普:
同源策略(Same origin policy):同源是指,域名,協(xié)議,端口相同,即瀏覽器會檢查同一瀏覽器的不同選項卡中,來源相同的腳本才能跨選項卡執(zhí)行。
Origin字段:瀏覽器在發(fā)送POST請求的時候可能會加上一個Origin字段,這個Origin字段主要是用來標識出最初請求是從哪里發(fā)起的。如果瀏覽器不能確定源在哪里,那么在發(fā)送的請求里面Origin字段的值就為空。
IronWASP:某開源WEB測試平臺,用戶可以自定義安全掃描,并且可以自己用python/ruby來定義插件系統(tǒng)。相關(guān)介紹見:http://www.freebuf.com/tools/32948.html
ZAP(Zed Attack Proxy):是一款集成各種工具的滲透測試框架,可以發(fā)現(xiàn)在WEB應(yīng)用程序中的漏洞,相關(guān)介紹見:http://www.freebuf.com/tools/5427.html
WebSocket的安全評估
最近,我們對一個擁有復(fù)雜菜單選項和功能的WEB應(yīng)用做了安全評估。該應(yīng)用中大部分操作都用到了web-sockets,這意味著其大多數(shù)行為都不會記錄到http代理日志上。
首先,我們打開主頁后,網(wǎng)站會加載一個帶有JS腳本和CSS文件的靜態(tài)網(wǎng)頁。此后,整個通信交互會轉(zhuǎn)為Websockets模式,瀏覽器和服務(wù)端之間會建立websocket連接,從而加載網(wǎng)站里所有可見的HTML資源。點擊鏈接或者提交Form表單時,瀏覽器會向服務(wù)端發(fā)送一些WebSocket消息。服務(wù)器處理了這些消息后,會通過WebSocket進行反饋,而后客戶端瀏覽器會展示新的HTML內(nèi)容。
這時當websocket消息在進行交互時,通信數(shù)量是非常巨大的。每隔一秒它們之間會有心跳探測包的交互。然而現(xiàn)有的工具達不到我的要求,我不得不給IronWASP添加了一個Websocket消息分析裝置和一個WebSocket客戶端,這樣它才能識別Websocket從而嘗試fuzz其漏洞。你可以在在這里了解下相關(guān)知識。
在測試這個應(yīng)用時,我發(fā)現(xiàn)它存在WebSocket跨站劫持(Cross-Site WebSocket Hijacking)漏洞(由christian schneider首創(chuàng))。當然,我會在給大家介紹測試方法之前,解釋下這個漏洞的影響。在測試相關(guān)Websockets應(yīng)用之前,我們需要先做下準備。#p#
WebSocket跨站劫持漏洞實驗準備
大家應(yīng)該明白,同源策略(SOP)不會通過瀏覽器在websockets上強制執(zhí)行(同一瀏覽器下,受SSL保護的頁面,不會讓非SSL的WebSocket通過),我們測試的應(yīng)用采用了http cookie作為session認證,WebSocket通過瀏覽器發(fā)送的消息不會有Session ID或是隨機參數(shù)。
這樣一來,如果某用戶登錄了帶有漏洞的WEB應(yīng)用,然后在同一瀏覽器還打開了http://attacker.com(攻擊者的網(wǎng)站),http://attacker.com可以嘗試通過該漏洞應(yīng)用與應(yīng)用的服務(wù)端建立一個WebSocket連接,然后通過瀏覽器發(fā)送一個帶有效的認證Session ID的請求包。于是,這個由攻擊者網(wǎng)站建立的WebSocket連接會和應(yīng)用本身有相同的權(quán)限。
由于整個應(yīng)用都是以websockets為基礎(chǔ)運行的,劫持了WebSocket就相當于劫持了用戶的session。所以這個漏洞在本質(zhì)上和存儲型跨站腳本漏洞是一樣的。
如果你認為這就很糟了,那當你聽到某些情況下WebSocket跨站腳本,甚至可以在用戶系統(tǒng)上實現(xiàn)遠程代碼執(zhí)行的時候,會不會更驚訝呢?事見IPython Notebook的案例。
測試之前,你首先要做的就是確認該應(yīng)用是否存在WebSockets。幸運的是,做這個非常簡單,你只需要知道以下三點:
1.WebSocket的URL連接一般是以ws://或者wss://開頭的。
2.需要檢測建立連接的Origin頭,該網(wǎng)頁可能是通過Origin字段建立的WebSocket鏈接。
3.瀏覽器和服務(wù)端之間發(fā)送的消息中,我們可以從中檢查出普通WebSocket連接的特征。
下面這張圖會給你展示:如何通過IronWASP日志得到Origin字段的值和WebSocket的URL值。
一旦你得到這些信息,你可以使用一些特殊方法,對跨站W(wǎng)ebSocket劫持漏洞進行檢測。我在這里例舉三個簡單的例子:
使用代理軟件(如Burpsuite):
這里必須提到的是,burpsuite可以捕獲和記錄WebSockets的消息。而ZAP和IronWASP是我所知道的,可以重放websocket請求的軟件。
在burpsuite里,我們不能重放websockets消息,但我們還是可以在有限條件下,檢測WebSocket握手包是否成功。為了進行測試,我們需要分析websocket的升級請求包:它們會通過http或者https發(fā)送,因此可以被重放。
以下截圖為burpsuite重放器(Repeat選項卡)的記錄,其顯示了websocket連接的有效請求和應(yīng)答情況:
為了測試這個漏洞,我們需要發(fā)送另一個帶有重制后的Origin頭的請求包。如果我們回應(yīng)包里有“101 Web Socket Protocol Handshake”的標志,這就表示W(wǎng)ebSocket已經(jīng)建立成功了。
如果連接沒有建立成功,那就意味著該應(yīng)用不存在這個漏洞,因為它會拒絕外部的WebSocket連接。建立成功后,我們就可以開始下一步測試,看看該應(yīng)用是否有WebSocket跨站劫持漏洞。這里需要說明一下:即使已經(jīng)建立連接,也需要其如Origin的正常連接一般,確認得到服務(wù)端對WebSocket消息的應(yīng)答之后,才能證明該應(yīng)用存在漏洞。這是因為開發(fā)者可能會同時啟用Origin檢測與連接權(quán)限認證。因此我們的實驗中也許會出下面這種情況:建立的連接可以一直保持,但擁有外部來源的Origins不會通過認證。
ZAP可以重放WebSocket消息,但據(jù)我了解,它并不能更改Origin頭。下面介紹的方法可以給你科普下,如何通過CSWSH(WebSocket跨站劫持)來獲得更多的東西。#p#
使用WebSocket跨站劫持的在線測試工具
打開需要測試的WEB應(yīng)用登入其中,然后在同一瀏覽器中開一個新選項卡,訪問http://ironwasp.org/cswsh.html(模擬的黑客網(wǎng)站),輸入該WebSocket的URL地址,然后點擊網(wǎng)頁上的Connect按鈕。一旦建立連接,你就可以通過這個頁面向WebSocket的服務(wù)器發(fā)送消息。我們需要通過重放有效session發(fā)送過的消息,然后查看服務(wù)器的回應(yīng)包。
如果服務(wù)端的回應(yīng)與前面有效session發(fā)送的正常包相同,那就說明該應(yīng)用可能存在WebSocket跨站劫持漏洞。
使用IronWASP
IronWASP可以做到更多,即使是最基礎(chǔ)的檢測也能提供自動化腳本檢查。
使用IronWASP的WebSocket客戶端
以上測試Origin的方法的使用的服務(wù)端是http://ironwasp.org,如果你想要更加靈活地設(shè)置Origin值,你可以使用IronWASP的客戶端功能。它允許你自定義Origin值來測試WebSocket連接。
在以下環(huán)境下可能會用到客戶端功能:
1.應(yīng)用允許來自開放的Origin的WebSocket連接
2.應(yīng)用允許來自localhost和內(nèi)網(wǎng)IP的Origin字段值
這種做法是為了方便開發(fā)者和應(yīng)用的內(nèi)部測試。通過使用IronWASP的客戶端,你可以嘗試內(nèi)網(wǎng)IP或者localhost作為Origin是否能夠生效。如果可以的話,那沒準兒你可以耍一點小手段,在真實環(huán)境下利用這個漏洞。比如,如果某個應(yīng)用允許http:/127.0.0.1:8080作為Origin字段,那我們就可以這樣做:若受害者正好有個在本地8080端口運行的WEB應(yīng)用,而且其存在跨站腳本漏洞。如果滿足這些條件,黑客可以先在該WEB應(yīng)用上進行跨站攻擊,然后再向目標應(yīng)用服務(wù)端建立WebSocket連接:
使用IronWASP的WebSocket API進行自動化檢測
如果你需要利用localhost或者內(nèi)網(wǎng)IP進行測試Origin頭,使用客戶端腳本進行自動化檢測會讓你的行動更加輕松。IronWASP允許你使用Python或者Ruby進行實現(xiàn)自定義腳本編寫。
下面這個腳本可以單獨檢測Origin頭里填充的內(nèi)網(wǎng)IP地址,測試服務(wù)端對此是否認可:
import clr clr.AddReference("WebsocketClient.exe") from WebsocketClient import * def check_conn(origin): print "Testing origin - " + origin ws = SyncWebsockClient() ws.Connect("ws://tatgetapp.com/ws", origin, "SessionID=KSDI2923EWE9DJSDS01212") ws.Send("first message to send") msg = ws.Read() ws.Close() if msg == "message that is part of valid session": print "Connection successful!!" return True else: return False def check_nw(): for nws in ["192.168.0.0/16", "172.16.0.0/12", "10.0.0.0/8"]: for ip in Tools.NwToIp(nws): if check_conn("http://" + ip): break check_nw()
原文地址:https://www.notsosecure.com/blog/2014/11/27/how-cross-site-websocket-hijacking-could-lead-to-full-session-compromise/