2011 年度研究成果報告書

シナリオからのプロトタイプ生成によるセキュリティ要求の妥当性確認に関する研究

研究課題

研究課題/領域番号	21700043
研究種目	若手研究(B)
配分区分	補助金
研究分野	ソフトウエア
研究機関	立命館大学
研究代表者	糸賀裕弥立命館大学, 情報理工学部, 准教授 (00373100)
研究期間 (年度)	2009 – 2011
キーワード	ソフトウエア工学
研究概要	本研究では,ソフトウェアの利用者が記述した正常シナリオに対して,セキュリティの専門家が記述したシナリオを組み合わせて,セキュリティを考慮したソフトウェアのふるまいを明らかするとともに,実際にセキュリティを考慮したふるまいを示すシナリオのプロトタイプを生成することで,安全・安心かつ使いやすいソフトウェアであるかを,利用者が実際に確認する方法を明らかにした.

(1件)