モデルテストによるセキュリティ分析・設計パターンの適用支援

• Item type: Symposium(1)
• 公開日: 2012-10-23
• タイトル: モデルテストによるセキュリティ分析・設計パターンの適用支援
• タイトル / 言語: en
• タイトル: Model-Driven Security Analysis-Design Patterns Application Using Model Testing
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: セキュリティパターン，モデル駆動開発，モデルテスト
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_5794
• 資源タイプ: conference paper
• 著者所属: 早稲田大学
• 著者所属: 株式会社 富士通研究所
• 著者所属: 信州大学
• 著者所属: 国立情報学研究所
• 著者所属: 早稲田大学
• 著者所属: 早稲田大学
• 著者所属: 早稲田大学
• 著者所属(英): en
• 著者所属(英): Waseda University
• 著者所属(英): en
• 著者所属(英): Fujitsu Laboratories limited
• 著者所属(英): en
• 著者所属(英): Shinshu University
• 著者所属(英): en
• 著者所属(英): National Institute of Informatics
• 著者所属(英): en
• 著者所属(英): Waseda University
• 著者所属(英): en
• 著者所属(英): Waseda University
• 著者所属(英): en
• 著者所属(英): Waseda University
• 著者名: 小橋, 孝紀; 大久保, 隆夫; 海谷, 治彦; 吉岡, 信和; 伊永, 祥太; 鷲崎, 弘宜; 深澤, 良彰
• 著者名(英): Takanori, Kobashi; Takao, Okubo; Haruhiko, Kaiya; Nobukazu, Yoshioka; Shota, Inaga; Hironori, Washizaki; Yoshiaki, Hukazawa
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 現在のソフトウェア開発では開発者が必ずしもセキュリティの専門家ではなく，システムに起こりうる脅威を確認，検討することができていない.本稿ではUMLモデルのシミュレーション環境を用いたモデルテストによる，セキュリティパターンの適用支援を提案する. 本手法を用いる事によりセキュリティに精通しない開発者であっても分析・設計段階でのシステムにおける脆弱性の把握が可能になり，セキュアな設計が可能になる.更に本稿では既存のセキュリティパターンに対し構造・振る舞いを定義し新たに加え用意しておく事で，パターン毎に異なっていた構造の抽象度や表現の仕方を統一し，形式的なパターンの適用を可能にした.
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Current software developer is not necessarily an expert in security. So check the possible threat to the system, have not been able to examine. In this paper, we propose Model-Driven security analysis-design patterns application using model testing. By using this method, secure design of analysis and design stages is possible even developers who are not familiar with the security. In addition, to define structure and behavior for existing security patterns uniformity, developers can application patterns formally.
• 書誌情報: コンピュータセキュリティシンポジウム2012論文集; 巻 2012, 号 3, p. 655-662, 発行日 2012-10-23
• 出版者 / 言語: ja
• 出版者: 情報処理学会