Applying the layered decision model to the design of language-based security systems