该论文提出并系统化定义了“信任边界语义间隙”（Trust Boundary Semantic Gap, TBSG）这一概念：当一个工件跨过信任边界时，即使通过了正确的语法验证（如格式、协议、签名检查），其语义安全属性仍可能无法满足接收域的隐含安全需求，从而导致安全漏洞。作者通过对2014-2025年间75起公开安全事件进行边界层分析，归纳出一个四维分析模型（MDTBSG）：身份（Identity）、空间（Spatial）、时间（Temporal）和解读（Interpretation）。基于该模型，他们开发了TBSAM（信任边界语义分析与缓解）设计时框架，该框架能够从设计规范中识别TBSG、对其排序、追踪传播间隙至其起源边界，并映射到候选架构控制。论文通过回溯重建SolarWinds/SUNBURST供应链攻击案例，展示了TBSAM如何显式化接收域的假设、区分本地起源与传播性间隙，并识别出能中断攻击路径的控制措施。研究主要贡献包括：首次形式化TBSG概念、提出多维度分类模型、以及一个可操作的设计时分析框架。适合安全架构师、安全设计人员和研究人员阅读。

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