 描述
扩展描述
当一个证书是无效的或恶意的,它可能允许攻击者欺骗信任实体通过干涉主机和客户端之间的通信路径。产品可能会连接到一个恶意主机虽然认为这是一个可信的主机,或产品可能欺骗接受欺骗似乎来自一个可信主机的数据。
的关系
 此表显示了弱点和高水平类别相关的这一弱点。这些关系被定义为ChildOf、ParentOf MemberOf,并洞察类似项目可能存在的在较高和较低的抽象级别。此外,关系如PeerOf和CanAlsoBe定义显示类似的弱点,用户可能想要探索。
相关的视图”研究概念”(cwe - 1000)
| 自然 |
类型 |
ID |
的名字 |
| ChildOf |
 类——一个弱点,描述的是一个非常抽象的时尚,通常独立于任何特定的语言或技术。更具体的比一个支柱的弱点,但更普遍的基本的弱点。类级别的弱点通常描述问题的1或2以下维度:行为、财产和资源。 |
287年 |
不适当的身份验证 |
| ParentOf |
 Base -一个弱点,仍主要是独立的资源或技术,但有足够的细节来提供特定的检测和预防方法。基础水平的弱点通常描述问题的2或3以下维度:行为、财产、技术、语言,和资源。 |
296年 |
不当的证书链的信任 |
| ParentOf |
 变体——一个弱点与某种类型的产品,通常涉及到一个特定的语言或技术。更具体的比基本的弱点。变异水平弱点通常描述问题的3到5以下维度:行为、财产、技术、语言,和资源。 |
297年 |
与主机不匹配不当的验证证书 |
| ParentOf |
变体——一个弱点与某种类型的产品,通常涉及到一个特定的语言或技术。更具体的比基本的弱点。变异水平弱点通常描述问题的3到5以下维度:行为、财产、技术、语言,和资源。 |
298年 |
不当的验证证书过期 |
| ParentOf |
Base -一个弱点,仍主要是独立的资源或技术,但有足够的细节来提供特定的检测和预防方法。基础水平的弱点通常描述问题的2或3以下维度:行为、财产、技术、语言,和资源。 |
299年 |
检查证书撤销不当 |
| ParentOf |
变体——一个弱点与某种类型的产品,通常涉及到一个特定的语言或技术。更具体的比基本的弱点。变异水平弱点通常描述问题的3到5以下维度:行为、财产、技术、语言,和资源。 |
599年 |
失踪的OpenSSL的验证证书 |
| PeerOf |
Base -一个弱点,仍主要是独立的资源或技术,但有足够的细节来提供特定的检测和预防方法。基础水平的弱点通常描述问题的2或3以下维度:行为、财产、技术、语言,和资源。 |
322年 |
没有实体认证密钥交换 |
此表显示了弱点和高水平类别相关的这一弱点。这些关系被定义为ChildOf、ParentOf MemberOf,并洞察类似项目可能存在的在较高和较低的抽象级别。此外,关系如PeerOf和CanAlsoBe定义显示类似的弱点,用户可能想要探索。
相关观点“软件开发”(cwe - 699)
| 自然 |
类型 |
ID |
的名字 |
| MemberOf |
 类别——CWE条目包含一组其他条目,共享一个共同的特点。 |
1211年 |
身份验证错误 |
此表显示了弱点和高水平类别相关的这一弱点。这些关系被定义为ChildOf、ParentOf MemberOf,并洞察类似项目可能存在的在较高和较低的抽象级别。此外,关系如PeerOf和CanAlsoBe定义显示类似的弱点,用户可能想要探索。
 简化映射的相关视图”缺点漏洞发布”(cwe - 1003)
| 自然 |
类型 |
ID |
的名字 |
| ChildOf |
类——一个弱点,描述的是一个非常抽象的时尚,通常独立于任何特定的语言或技术。更具体的比一个支柱的弱点,但更普遍的基本的弱点。类级别的弱点通常描述问题的1或2以下维度:行为、财产和资源。 |
287年 |
不适当的身份验证 |
此表显示了弱点和高水平类别相关的这一弱点。这些关系被定义为ChildOf、ParentOf MemberOf,并洞察类似项目可能存在的在较高和较低的抽象级别。此外,关系如PeerOf和CanAlsoBe定义显示类似的弱点,用户可能想要探索。
相关视图”架构概念”(cwe - 1008)
| 自然 |
类型 |
ID |
的名字 |
| MemberOf |
类别——CWE条目包含一组其他条目,共享一个共同的特点。 |
1014年 |
确定的演员 |
背景细节
证书是一个伙伴身份令牌密钥(校长)。证书可以用来检查一个公钥属于所有者承担。
模式的介绍
不同模式的引入提供了信息如何以及何时可以纳入这一弱点。生命周期的阶段识别点的介绍可能发生,而相关的报告提供了一个典型的场景介绍在给定的阶段。
| 阶段 |
请注意 |
| 架构和设计 |
|
| 实现 |
实现:造成这一弱点在建筑安全策略的实施。 |
| 实现 |
当产品使用证书寄,开发人员可能不正确验证证书的所有相关组件之前寄证书。这可以使它困难或昂贵的测试后,将完成。 |
常见的后果
这个表指定不同的个人相关后果的弱点。标识应用程序范围的安全领域侵犯,而影响了负面的技术影响,如果敌人成功利用这个弱点。可能提供的信息如何可能的具体结果预计将看到列表中相对于其它后果。例如,可能会有高可能性,缺点将被利用来实现一定的影响,但较低的可能性,它将被利用来实现不同的影响。
示范例子
示例1
这段代码检查连接对等的证书。
如果((cert = SSL_get_peer_certificate (ssl) & &主机)
foo = SSL_get_verify_result (ssl);
如果((X509_V_OK = = foo) | | X509_V_ERR_SELF_SIGNED_CERT_IN_CHAIN = = foo))
在这种情况下,因为是自签名证书,没有外部权威可能是主人的身份。程序可以与欺骗主机不同的系统,如缓存DNS中毒或使用一个Adversary-in-the-Middle (AITM)攻击修改交通从服务器到客户端。
示例2
下面的OpenSSL代码获得一个证书,验证它。
cert = SSL_get_peer_certificate (ssl); 如果(cert & & (SSL_get_verify_result (ssl) = = X509_V_OK)) { }
即使返回X509_V_OK“验证”的一步,这一步不包括检查常见的名字对主机的名称。也就是说,没有保证所需主机的证书。已建立SSL连接可能与恶意主机提供一个有效的证书。
示例3
下面的OpenSSL代码确保有一个证书,允许使用过期的证书。
如果(cert = SSL_get_peer(证书(ssl)) {
foo = SSL_get_verify_result (ssl); 如果((X509_V_OK = = foo) | | (X509_V_ERR_CERT_HAS_EXPIRED = = foo))
如果调用SSL_get_verify_result()返回X509_V_ERR_CERT_HAS_EXPIRED,这意味着证书已经过期。随着时间的推移,越来越有可能对攻击者妥协证书。
示例4
下面的OpenSSL代码确保有一个证书在继续之前执行。
如果(cert = SSL_get_peer_certificate (ssl)) {
因为这段代码不使用ssl_get_verify_result()检查证书,它可以接受证书被吊销(X509_V_ERR_CERT_REVOKED)。可以与一个恶意的主机进行通信的软件。
示例5
下面的OpenSSL代码确保主机有一个证书。
如果(cert = SSL_get_peer_certificate (ssl)) {
/ /得到证书,主机可以信任
/ / foo = SSL_get_verify_result (ssl);
/ /如果(X509_V_OK = = foo)……
}
注意,代码不叫SSL_get_verify_result (ssl),这有效地禁用验证步骤检查证书。
观察到的例子
| 参考 |
描述 |
|
|
一个框架去机器人、无人机和物联网设备跳过验证默认的根CA证书。 |
|
|
|
|
|
链:路由器的固件更新过程使用curl - k”(不安全)选项,禁用验证证书( cwe - 295),允许adversary-in-the-middle (AITM)与恶意固件图像(妥协 cwe - 494)。 |
|
|
验证函数信托证书链中最后一个自签名证书。 |
|
|
Web浏览器使用TLS-related函数不正确,防止验证服务器的证书是由受信任的证书颁发机构(CA)签署 |
|
|
Web浏览器不检查任何中间证书撤销。 |
|
|
操作系统不会检查证书撤销列表(CRL)在某些情况下,允许使用撤销证书欺骗。 |
|
|
移动银行应用程序不验证主机名,导致经济损失。 |
|
|
云的支持库编写的Python时使用不正确的正则表达式匹配主机名。 |
|
|
Web浏览器并不能正确地处理' \ 0 '字符(空)的通用名称,允许https网站的欺骗。 |
|
|
智能手机设备不验证主机名,允许欺骗的邮件服务。 |
|
|
应用程序使用第三方库,不验证主机名。 |
|
|
云存储管理应用程序并不验证主机名。 |
|
|
Java库使用JSSE SSLSocket和SSLEngine类,不验证主机名。 |
|
|
链:不正确的计算允许攻击者绕过证书检查。 |
|
|
LDAP客户端接受证书,即使他们不受信任的CA。 |
|
|
链:DNS服务器不正确检查返回值的OpenSSL EVP_VerifyFinal函数允许绕过验证的证书链。 |
|
|
链:产品检查客户端是否信任当它打算检查服务器是否可信,允许验证签名的代码。 |
|
|
加密API,用于web浏览器、邮件的客户,和其他软件,不正确验证基本约束。 |
|
|
链:操作系统的包管理器不检查正确检查返回值,允许绕过使用撤销证书。 |
潜在的缓解措施
阶段:体系结构和设计;实现
证书应该小心地管理和检查,以确保数据与目的所有者的公钥加密。 |
实施阶段:
如果证书将被使用,确保所有相关证书之前完全验证证书的属性是固定的,包括主机名。 |
检测方法
自动静态分析——二进制或字节码
根据飙升,以下检测技术可能是有用的:
-
字节码的弱点分析,包括反汇编程序+源代码弱点分析
-
二进制弱点分析,包括反汇编程序+源代码弱点分析
|
人工静态分析——二进制或字节码
根据飙升,以下检测技术可能是有用的:
|
动态分析与自动化的结果解释
根据飙升,以下检测技术可能是有用的:
|
动态分析与人工解释结果
根据飙升,以下检测技术可能是有用的:
|
人工静态分析源代码
根据飙升,以下检测技术可能是有用的:
-
关注人工抽查,手动分析来源
-
手工源代码审查(不检查)
|
自动静态分析源代码
根据飙升,以下检测技术可能是有用的:
-
源代码缺陷分析仪
-
Context-configured源代码分析器
|
体系结构或设计审查
根据飙升,以下检测技术可能是有用的:
|
会员资格
这MemberOf关系表显示额外CWE类别和视图引用这个弱点作为成员。这些信息通常是有用的在理解一个弱点符合外部信息源的上下文中。
分类法映射
| 映射分类名称 |
节点ID |
适合 |
映射节点名 |
| OWASP十大2004 |
A10 |
CWE更具体 |
不安全的配置管理 |
引用
|
|
|
ref - 244 m .主教。“电脑安全:艺术和科学”。addison - wesley。2003年。 |
|
描述
此表显示了弱点和高水平类别相关的这一弱点。这些关系被定义为ChildOf、ParentOf MemberOf,并洞察类似项目可能存在的在较高和较低的抽象级别。此外,关系如PeerOf和CanAlsoBe定义显示类似的弱点,用户可能想要探索。
简化映射的相关视图”缺点漏洞发布”(cwe - 1003)
