抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
Ahkaweら(CSF2010)により提案されたセキュリティモデルは,形式手法によるウェブの安全性解析において,初の汎用的なモデルとして広く利用されている。しかし,この既存研究のモデルには現実のウェブでは欠かせない概念であるキャッシュが含まれていない。実際にBrowser Cache Poinsoning攻撃といったキャッシュを用いたHTTPSに対する攻撃法が存在することから,キャッシュの概念はウェブの安全性解析には不可欠である。本稿では,キャッシュを包括したウェブセキュリティモデルを提案する。提案モデルではキャッシュの概念に加え,その運用を行うHTTPヘッダや中継者の概念も新たに提案する。(著者抄録)