Text this: Automating the security analysis process of secure ad hoc routing protocols