Logic, Language, and Security