Cosign多签名验证中的线程安全问题分析与修复

在软件供应链安全领域，签名验证是确保软件完整性和来源可信性的关键环节。Cosign作为一款流行的容器镜像签名工具，其验证机制的可靠性至关重要。本文将深入分析Cosign在多签名验证场景下发现的线程安全问题，以及相应的修复方案。

问题背景

在实际生产环境中，一个容器镜像可能会被多个实体签名。例如，软件供应商使用自己的PKI基础设施签名后，客户也可能使用自己的证书链对同一镜像进行二次签名。这种情况下，镜像会附加多个签名，每个签名对应不同的证书链。

当使用Cosign验证这类多重签名镜像时，如果仅提供根证书作为验证依据，验证过程会出现随机性失败。经过深入分析，发现这是由于Cosign验证过程中的线程安全问题导致的。

技术原理分析

Cosign的验证流程采用多线程并行处理多个签名。核心问题出现在以下几个关键环节：

1. 共享状态污染：验证函数接收一个CheckOpts结构体指针，该结构体包含验证所需的各种选项，包括根证书和中间证书池。当中间证书池为空时，各线程会尝试从各自处理的签名中提取中间证书填充该池。

2. 竞态条件：由于多个验证线程共享同一个CheckOpts实例，哪个线程先执行就会先设置中间证书池。这导致后续线程可能使用错误的中间证书链进行验证，特别是当不同签名使用不同中间证书时。

3. 验证逻辑缺陷：TrustedCert函数使用当前设置的中间证书池与提供的根证书构建信任链。如果中间证书与根证书不匹配，验证就会失败。

问题复现

假设有以下两个签名：

• 签名1：使用证书链CompanyRootCA → CompanyIntermediate → CompanyLeaf
• 签名2：使用证书链ClientRootCA → ClientIntermediate → ClientLeaf

当仅提供CompanyRootCA进行验证时：

1. 如果签名1的验证线程先执行，会设置CompanyIntermediate到中间证书池
2. 签名2的验证会失败，因为ClientLeaf无法通过CompanyIntermediate验证到CompanyRootCA

反之亦然，这解释了验证结果的随机性。

解决方案

修复方案的核心思想是消除共享状态，具体实现包括：

1. 引入中间证书局部变量：在验证每个签名时，使用局部变量而非共享的CheckOpts来存储中间证书。

2. 新增安全验证函数：创建ValidateAndUnpackCertWithIntermediates函数，显式接收中间证书参数，避免修改共享状态。

3. 保持API兼容性：保留原有函数签名，通过内部调用新函数的方式确保向后兼容。

实现细节

关键修改集中在verifyInternal函数中：

var pool *x509.CertPool
if len(chain) > 0 {
    if len(chain) == 1 {
        co.IntermediateCerts = nil
    } else if co.IntermediateCerts == nil {
        pool = x509.NewCertPool()
        for _, cert := range chain[:len(chain)-1] {
            pool.AddCert(cert)
        }
    }
}
verifier, err = ValidateAndUnpackCertWithIntermediates(cert, co, pool)

新函数ValidateAndUnpackCertWithIntermediates显式处理中间证书：

func ValidateAndUnpackCertWithIntermediates(cert *x509.Certificate, co *CheckOpts, intermediates *x509.CertPool) (signature.Verifier, error) {
    if intermediates == nil {
        intermediates = co.IntermediateCerts
    }
    chains, err := TrustedCert(cert, co.RootCerts, intermediates)
    // ...其余验证逻辑
}

总结

该修复方案有效解决了多签名验证中的线程安全问题，同时保持了API的兼容性。这提醒我们在设计并发系统时：

1. 需要谨慎处理共享状态
2. 验证逻辑应当是无状态的
3. 并行处理时，各任务应保持独立性

对于安全关键系统，这类线程安全问题可能导致严重的安全隐患，因此及时发现和修复至关重要。该问题的解决进一步提升了Cosign在多签名场景下的可靠性和稳定性。