# proofs

注入防禦的形式化驗證

研究用於驗證注入防禦性質、並為防禦有效性提供數學保證的形式化方法。