A tool to parse informal security protocol narrations into other formats.