@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00086722,
 author = {小橋, 孝紀 and 大久保, 隆夫 and 海谷, 治彦 and 吉岡, 信和 and 伊永, 祥太 and 鷲崎, 弘宜 and 深澤, 良彰 and Takanori, Kobashi and Takao, Okubo and Haruhiko, Kaiya and Nobukazu, Yoshioka and Shota, Inaga and Hironori, Washizaki and Yoshiaki, Hukazawa},
 book = {コンピュータセキュリティシンポジウム2012論文集},
 issue = {3},
 month = {Oct},
 note = {現在のソフトウェア開発では開発者が必ずしもセキュリティの専門家ではなく，システムに起こりうる脅威を確認，検討することができていない.本稿ではUMLモデルのシミュレーション環境を用いたモデルテストによる，セキュリティパターンの適用支援を提案する. 本手法を用いる事によりセキュリティに精通しない開発者であっても分析・設計段階でのシステムにおける脆弱性の把握が可能になり，セキュアな設計が可能になる.更に本稿では既存のセキュリティパターンに対し構造・振る舞いを定義し新たに加え用意しておく事で，パターン毎に異なっていた構造の抽象度や表現の仕方を統一し，形式的なパターンの適用を可能にした., 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.},
 pages = {655--662},
 publisher = {情報処理学会},
 title = {モデルテストによるセキュリティ分析・設計パターンの適用支援},
 volume = {2012},
 year = {2012}
}