Masatoshi Yoshizawa, Takanori Kobashi, Hironori Washizaki, Yoshiaki Fukazawa, Takao Okubo, Haruhiko Kaiya, Nobukazu Yoshioka. Verifying Implementation of Security Design Patterns Using a Test Template. In Ninth International Conference on Availability, Reliability and Security, ARES 2014, Fribourg, Switzerland, September 8-12, 2014. pages 178-183, IEEE Computer Society, 2014. [doi]
Abstract is missing.