待验证50% 置信事实精确时间
亚马逊、微软等公司已在关键系统（如S3存储协议、Azure Cosmos DB）中使用TLA+发现过仅凭代码审查和测试无法暴露的并发缺陷
1
来源数
50%
置信度
长期有效
时效性
2026/10/8
首次发现
来源
涉及实体
相关事实
待验证2017 年 S3 宕机事件波及了 Slack、Trello、IFTTT 等大量知名服务，AWS 自身的服务健康状态仪表盘也因依赖 S3 而无法正常显示故障信息。61% 相似待验证Amazon Bedrock提供企业级安全合规保障，包括数据不用于模型训练、支持VPC私有部署，并与AWS IAM权限体系集成61% 相似待验证现代TLS协议的安全性建立在X.509证书体系和公钥基础设施（PKI）之上，浏览器和操作系统内置了数百个受信任的根CA59% 相似待验证VICE 的安全扫描覆盖打包文件中泄露的密钥、Supabase RLS 配置错误、暴露的 API 接口、弱 HTTP 头部与基础设施配置等高危问题58% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/989320API
curl https://kongchang.com/api/v1/knowledge/claims/989320MCP
get_claim(id=989320)