Art

J-GLOBAL ID：201302255915463994   Reference number：13A0734244

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

Author (7)： KOBASHI TAKANORI (早稲田大) ,  OKUBO TAKAO (富士通研) ,  KAIYA HARUHIKO (信州大) ,  YOSHIOKA NOBUKAZU (国立情報学研) ,  INAGA SHOTA (早稲田大) ,  WASHIZAKI HIRONORI (早稲田大) ,  FUKAZAWA YOSHIAKI (早稲田大)
Material： 情報処理学会シンポジウムシリーズ(CD-ROM)  (IPSJ Symposium Series (CD-ROM))
Volume： 2012  Issue： 3  Page： ROMBUNNO.2E4-1  Publication year： Oct. 23, 2012 
JST Material Number： L6741A  ISSN： 1882-0840  Document type： Proceedings
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *Computer Security ,  *software development ,  *UML ,  model ,  simulation ,  security system ,  system design ,  system analysis ,  property ,  program execution ,  formal method
Semi thesaurus term： UMLモデル ,  vulnerability ,  抽象度

JST classification (2)： Data protection  (JD01020V) ,  Applied programming languages  (JD03052Y)

Terms in the title (5)： モデルテスト ,  セキュリティ ,  分析 ,  設計パターン ,  支援