文献

J-GLOBAL ID：201602206829261086   整理番号：16A0305749

形式検証を用いた攻撃分析フレームワークの提案

著者 (4件)： 大久保隆夫 (情報セキュリティ大学院大) ,  海谷治彦 (神奈川大) ,  鷲崎弘宣 (早稲田大) ,  吉岡信和 (国立情報学研)
資料名： 情報処理学会シンポジウムシリーズ(CD-ROM)  (IPSJ Symposium Series (CD-ROM))
巻： 2015  号： 3  ページ： 282-289  発行年： 2015年10月14日 
JST資料番号： L6741A  ISSN： 1882-0840  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： プロトコルなどの仕様の誤り,ないし仕様の誤った実装によるソフトウェア脆弱性や,脆弱性をついた攻撃が問題となっている。また,ソフトウェアを安全にするためには技術的対策だけではなく,運用時に人的な管理策が必要となる場合もある。本稿では,ソフトウェアの開発の途中段階あるいはプロトコルの実装段階を,脆弱性や外部環境に依存する形式でモデル化し,段階が進んだ時に脆弱性により攻撃が可能になるかどうかを,脆弱性や外部環境によりモデルを変化させつつ形式検証により検査するフレームワークを提案する。更に,提案フレームワークを用いれば検査の結果,開発や運用の際に防がなければならない脆弱性や管理策が明らかになることを示す。(著者抄録)

シソーラス用語： 検証 ,  形式的手法【計算機】 ,  *コンピュータセキュリティ ,  *ソフトウェア開発 ,  要求仕様 ,  リスク評価 ,  *サイバー攻撃 ,  ソフトウェア要件
準シソーラス用語： 形式検証 ,  *脆弱性攻撃 ,  ソフトウェア要求仕様

分類 (1件)： 計算機システム開発  (JD02010R)

タイトルに関連する用語 (5件)： 形式検証 ,  攻撃 ,  分析 ,  フレームワーク ,  提案