Art

J-GLOBAL ID：201602206829261086   Reference number：16A0305749

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

Author (4)： OKUBO TAKAO (情報セキュリティ大学院大) ,  KAIYA HARUHIKO (神奈川大) ,  WASHIZAKI HIRONORI (早稲田大) ,  YOSHIOKA NOBUKAZU (国立情報学研)
Material： 情報処理学会シンポジウムシリーズ(CD-ROM)  (IPSJ Symposium Series (CD-ROM))
Volume： 2015  Issue： 3  Page： 282-289  Publication year： Oct. 14, 2015 
JST Material Number： L6741A  ISSN： 1882-0840  Document type： Proceedings
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： verification ,  formal method ,  *Computer Security ,  *software development ,  requirement specification ,  risk assessment ,  *cyberattack ,  software requirement
Semi thesaurus term： formal verification ,  *Fragile attack ,  software requirements

JST classification (1)： Computer system development  (JD02010R)

Terms in the title (5)： 形式検証 ,  攻撃 ,  分析 ,  フレームワーク ,  提案