Paper Available: "The Halting Problem and Security's Language-Theoretic Approach ..."