A data-driven finite state machine model for analyzing security vulnerabilities | IEEE Conference Publication | IEEE Xplore