言語ベースのWebセッション完全性【JST・京大機械翻訳】

Calzavara Stefano; Focardi Riccardo; Grimm Niklas; Maffei Matteo; Tempesta Mauro

プレプリント

J-GLOBAL ID：202202206858187712 整理番号：22P0105418

言語ベースのWebセッション完全性【JST・京大機械翻訳】

Language-Based Web Session Integrity

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (5件)： , , , ,
資料名：
発行年： 2020年01月28日プレプリントサーバーでの情報更新日： 2020年06月02日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

セッション管理は,Webアプリケーションの基本的要素である:見かけの単純さにもかかわらず,Webセッションを正しく実装することは,多数の既存の攻撃によって目撃されるように,極めて厳格である。これは,適切な自動化検証技法によって現在サポートされていないWebセッションセキュリティについて厳密に推論する形式的手法の設計を動機づけた。本論文では,Webアプリケーションのコアモデルにセッションセキュリティを強制する最初のセキュリティ型システムを導入し,特にサーバサイドコードに焦点を当てた。ソフトウェア開発者によって認識された新しいセキュリティ欠陥を明らかにする,HotCRP,Modle,およびphpMyAdminのセッション管理論理を分析することによって,著者らの型システムの表現性を示した。【JST・京大機械翻訳】

, , , , , , , , ,
, , , , 【Automatic Indexing@JST】

データ保護 , 計算機網

, , ,

前のページに戻る