Formal Language Theory for Practical Security - Extended Abstract - | IEEE Conference Publication | IEEE Xplore