A Development of Finite State Machine Create Tool for Cryptography Module Validation. - Jae-goo Jeong; Seung-yong Hur; Gang-Soo Lee (FGIT-SecTech, 2009)