文献

J-GLOBAL ID：202002245526750837   整理番号：20A1749671

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

Language-Based Web Session Integrity

著者 (5件)： Calzavara Stefano (Universita` Ca’ Foscari Venezia) ,  Focardi Riccardo (Universita` Ca’ Foscari Venezia) ,  Grimm Niklas (TU Wien) ,  Maffei Matteo (TU Wien) ,  Tempesta Mauro (TU Wien)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2020  号： CSF  ページ： 107-122  発行年： 2020年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

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

シソーラス用語： 自動化 ,  *言語 ,  完全性 ,  ソフトウェア開発 ,  セキュリティ ,  *Web【情報システム】
準シソーラス用語： 表現力 ,  セッション管理 ,  Webアプリケーション ,  型システム , 【Automatic Indexing@JST】

分類 (1件)： 図形・画像処理一般  (JE04010I)

タイトルに関連する用語 (4件)： 言語 ,  Web ,  セッション ,  完全性