Grammatical Inference and Language Frameworks for LANGSEC | IEEE Conference Publication | IEEE Xplore