Automated attack synthesis by extracting protocol FSMs from RFCs
by Maria Leonor Pacheco, Max von Hippel, Ben Weintraub, Dan Goldwasser, and Cristina Nita-Rotaru.
Tags: fm, nlp, rfc, security