Implementation Support of Security Design Patterns Using Test Templates

Masatoshi Yoshizawa 1,*, Hironori Washizaki 1, Yoshiaki Fukazawa 1, Takao Okubo 2, Haruhiko Kaiya 3 and Nobukazu Yoshioka 4 1 Global Software Engineering Laboratory, Department of Computer Science and Engineering, Waseda University, Shinjuku-ku, Tokyo 169-8555, Japan; [email protected] (H.W.); [email protected] (Y.F.) 2 Information Security Division, Institute of Information Security, 2-14-1 Tsuruyacho, Kanagawa-ku, Yokohama, Kanagawa 221-0835, Japan; [email protected] 3 Department of Information Sciences, Kanagawa University, 2946 Tsuchiya, Hiratsuka-shi, Kanagawa 259-1293, Japan; [email protected] 4 GRACE Center, National Institute of informatics, 2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo 101-8430, Japan; [email protected] * Correspondence: [email protected]; Tel.: +81-03-5286-3272 † This paper is an extended version of Verification of Implementing Security Design Patterns Using a Test Template, Proceedings of the 9th International Conference on Availability, Reliability and Security (ARES2014), Fribourg, Switzerland, 8–12 September 2014.