Vitess security audit

• 语言: 英语
• 格式: .pdf
• 来源: vitess.io

摘要

The document presents a security audit conducted by Ada Logics on the Vitess project's VTAdmin component. The audit aimed to formalize a threat model, perform manual code reviews, enhance the fuzzing suite, and assess SLSA compliance. Key findings included two moderate severity vulnerabilities (CVE-2023-29194 and CVE-2023-29195) allowing users to deny access to existing resources. The audit also resulted in the addition of three new fuzzers to improve coverage. The report highlights the importance of secure design practices and ongoing threat modelling for maintaining a robust security posture.

AI总结

### Vitess 安全审计总结

#### 1. **审计概述**
- **审计时间**：2023年3月和4月。
- **审计目标**：由Ada Logics对Vitess的VTAdmin组件进行全面安全审计，涵盖威胁建模、代码审查、模糊测试改进和SLSA合规性审查。
- **主要目标**：
- 建立VTAdmin的威胁模型。
- 审查VTAdmin和其他Vitess代码的安全性。
- 优化Vitess的模糊测试套件。
- 审查SLSA合规性。
- **成果**：发现12个安全问题，其中2个被分配为CVE（CVE-2023-29194和CVE-2023-29195），并改进了模糊测试和威胁建模。

#### 2. **主要发现**
- **关键漏洞**：
- **ADA-VIT-SA23-5**：用户可创建命名空间，导致现有命名空间访问被拒绝（ Moderate）。
- **ADA-VIT-SA23-12**：用户可创建分片，导致其他功能访问被拒绝（Moderate）。
- **其他问题**：
- 文档缺失、默认未认证、未受保护的API等。

#### 3. **威胁建模与架构**
- **VTAdmin架构**：分为前端（VTAdmin-web，使用React）和后端（VTAdmin-api，使用Go）。
- **威胁模型**：明确了威胁来源和潜在攻击场景，重点保护VTAdmin的安全设计。

#### 4. **模糊测试改进**
- Vitess已建立完善的模糊测试套件，审计期间新增3个模糊器，进一步提升代码覆盖范围。

#### 5. **SLSA合规性**
- Vitess达到SLSA1合规性，但需改进生成和发布 provenance声明。

#### 6. **结论**
- **总体评价**：VTAdmin组件设计和代码实践安全，漏洞处理及时，团队反应迅速。
- **建议**：继续完善文档、默认安全配置和SLSA合规性。

#### 7. **团队与支持**
- 审计由Ada Logics、Vitess团队和OSTIF合作完成，CNCF提供资金支持。

总结：本次审计全面提升了Vitess的安全性，发现并修复了关键漏洞，同时改进了模糊测试和供应链安全措施。