该论文针对当前最先进的计算机病毒——变形病毒（metamorphic viruses）提出了一种数学层面的形式化建模与检测挑战。变形病毒具有独特的自我变异能力，能够将自身代码几乎无限地改写为大量高度不同的副本，同时保持相同的恶意功能。这种变形能力结合其他高级混淆技术，使得它们几乎无法被当前市场上的防病毒软件检测。论文的核心贡献在于证明，通过采用 van Wijngaarden 文法（一种形式语法，具有极强的生成能力），可以完全实现病毒行为上的变形特性。具体而言，作者构造了一种文法，其生成的语言恰好对应于所有变形病毒的可能形态集合。由此，防病毒软件所面临的挑战被转化为：需要构建一个能够判定该文法所生成语言的图灵机。该文将病毒检测问题提升到了计算理论层面，指出通用检测在理论上不可判定，而实际检测则受限于特定变形的识别能力。文章适合关注恶意代码演化、形式语言与自动机理论在安全中应用的研究人员阅读，也为下一代检测技术（如基于语义的检测）提供了理论基础。

本文从形式语言理论的角度出发，针对基于注入的漏洞（如SQL注入、命令注入等）提出了一种新的防御思路。当前许多系统通过将用户输入与开发者编写的固定模板拼接来构造结构化命令（如SQL查询、XML文档或网络消息），但恶意用户可能通过精心构造输入改变命令的预期语义，导致注入攻击。现有解决方案多依赖于开发者的经验和警惕性，缺乏系统性保证。作者首先形式化定义了两个新的安全属性："意图等价性"（intent-equivalence）和"意图安全性"（intent-security）。意图等价性确保开发者编写的任何模板都不会导致恶意注入；意图安全性则保证语言中所有可能的模板都满足意图等价性，从而编程语言本身是安全的。基于这些定义，作者展示了新的设计模式可以帮助创建天然安全的编程语言。本文的主要贡献在于将注入漏洞的防御提升到语言设计层面，而非依赖运行时检测或输入验证，为从根本上消除注入漏洞提供了理论基础。