Verifying Implementation of Security Design Patterns Using a Test Template. - Masatoshi Yoshizawa; Takanori Kobashi; Hironori Washizaki; Yoshiaki Fukazawa; Takao Okubo; Haruhiko Kaiya; Nobukazu Yoshioka (ARES, 2014)

TESEM: A Tool for Verifying Security Design Pattern Applications by Model Testing. - Takanori Kobashi; Masatoshi Yoshizawa; Hironori Washizaki; Yoshiaki Fukazawa; Nobukazu Yoshioka; Takao Okubo; Haruhiko Kaiya (ICST, 2015)

A Metamodel for Security and Privacy Knowledge in Cloud Services. - Hironori Washizaki; Sota Fukumoto; Misato Yamamoto; Masatoshi Yoshizawa; Yoshiaki Fukazawa; Takehisa Kato; Shinpei Ogata; Haruhiko Kaiya; Eduardo B. Fernández; Hideyuki Kanuka; Yuki Kondo; Nobukazu Yoshioka; et al. (SERVICES, 2016)

Implementation Support of Security Design Patterns Using Test Templates . - Masatoshi Yoshizawa; Hironori Washizaki; Yoshiaki Fukazawa; Takao Okubo; Haruhiko Kaiya; Nobukazu Yoshioka (Inf., 2016)