Android 9 支持 APK 密钥轮替,这使应用能够在 APK 更新过程中更改其签名密钥。为了实现轮替,APK 必须指示新旧签名密钥之间的信任级别。为了支持密钥轮替,我们将 APK 签名方案从 v2 更新为 v3,以允许使用新旧密钥。v3 在 APK 签名分块中添加了有关受支持的 SDK 版本和 proof-of-rotation 结构体的信息。
APK 签名分块
为了保持与 v1 APK 格式的向后兼容性,v2 和 v3 APK 签名存储在 APK 签名分块内,紧邻 ZIP 中央目录且位于该目录之前。
v3 APK 签名分块的格式与 v2 的相同。APK 的 v3 签名会存储为一个“ID-值”对,其中 ID 为 0xf05368c0。
APK 签名方案 v3 分块
v3 方案的设计与 v2 方案非常相似,它们采用相同的常规格式,并支持相同的签名算法 ID、密钥大小和 EC 曲线。
但是,v3 方案增添了有关受支持的 SDK 版本和 proof-of-rotation 结构体的信息。
格式
APK 签名方案 v3 分块存储在 APK 签名分块内,ID 为 0xf05368c0
。
APK 签名方案 v3 分块沿用了 v2 的格式:
- 带长度前缀的
signer
(带长度前缀)序列:- 带长度前缀的
signed data
:- 带长度前缀的
digests
(带长度前缀)序列:signature algorithm ID
(4 个字节)digest
(带长度前缀)
- 带长度前缀的 X.509
certificates
序列:- 带长度前缀的 X.509
certificate
(ASN.1 DER 形式)
- 带长度前缀的 X.509
minSDK
(uint32) - 如果平台版本低于此数字,应忽略该签名者。maxSDK
(uint32) - 如果平台版本高于此数字,应忽略该签名者。- 带长度前缀的
additional attributes
(带长度前缀)序列:ID
(uint32)value
(可变长度:附加属性的长度 - 4 个字节)ID - 0x3ba06f8c
value -
Proof-of-rotation 结构体
- 带长度前缀的
minSDK
(uint32) - 签名数据部分中 minSDK 值的副本 - 用于在当前平台不在相应范围内时跳过对此签名的验证。必须与签名数据值匹配。maxSDK
(uint32) - 签名数据部分中 maxSDK 值的副本 - 用于在当前平台不在相应范围内时跳过对此签名的验证。必须与签名数据值匹配。- 带长度前缀的
signatures
(带长度前缀)序列:signature algorithm ID
(uint32)signed data
上带长度前缀的signature
- 带长度前缀的
public key
(SubjectPublicKeyInfo,ASN.1 DER 形式)
- 带长度前缀的
Proof-of-rotation 和 self-trusted-old-certs 结构
proof-of-rotation 结构体允许应用轮替其签名证书,而不会使这些证书在与这些应用通信的其他应用上被屏蔽。为此,应用签名需包含两个新数据块:
- 告知第三方,应用的签名证书可信(只要其先前证书可信)的断言
- 应用的旧签名证书(应用本身仍信任这些证书)
签名数据部分中的 proof-of-rotation 属性包含一个单链表,其中每个节点都包含用于为之前版本的应用签名的签名证书。此属性旨在包含概念性 proof-of-rotation 和 self-trusted-old-certs 数据结构。该单链表按版本排序,最旧的签名证书对应于根节点。在构建 proof-of-rotation 数据结构时,系统会让每个节点中的证书为列表中的下一个证书签名,从而为每个新密钥提供证据来证明它应该与旧密钥一样可信。
在构造 self-trusted-old-certs 数据结构时,系统会向每个节点添加标记来指示它在组中的成员资格和属性。例如,可能存在一个标记,指示给定节点上的签名证书可信,可获得 Android 签名权限。此标记允许由旧证书签名的其他应用仍被授予由使用新签名证书签名的应用所定义的签名权限。由于整个 proof-of-rotation 属性都位于 v3 signer
字段的签名数据部分中,因此用于为所含 APK 签名的密钥会保护该属性。
此格式排除了多个签名密钥的情况和将不同祖先签名证书收敛到一个证书的情况(多个起始节点指向一个通用接收器)。
格式
proof-of-rotation 存储在 APK 签名方案 v3 分块内,ID 为 0x3ba06f8c
。其格式为:
- 带长度前缀的
levels
(带长度前缀)序列:- 带长度前缀的
signed data
(由上一个证书签名 - 如果存在上一个证书)- 带长度前缀的 X.509
certificate
(ASN.1 DER 形式) signature algorithm ID
(uint32) - 上一级证书使用的算法
- 带长度前缀的 X.509
flags
(uint32) - 这些标记用于指示此证书是否应该在 self-trusted-old-certs 结构体中,以及针对哪些操作。signature algorithm ID
(uint32) - 必须与下一级签名数据部分中的相应 ID 一致。- 上述
signed data
上带长度前缀的signature
- 带长度前缀的
多个证书
Android 目前将使用多个证书签名的 APK 视为具有与所含证书不同的签名身份。因此,签名数据部分中的 proof-of-rotation 属性构成了一个有向无环图,最好将其视为单链表,其中给定版本的每组签名者都表示一个节点。这为 proof-of-rotation 结构(下面的多签名者版本)带来了额外的复杂性。排序成为一个特别突出的问题。更重要的是,无法再单独为 APK 签名,因为 proof-of-rotation 结构体必须让旧签名证书为新的证书集签名,而不是逐个签名。例如,如果希望由两个新密钥 B 和 C 签名的 APK 是由密钥 A 签名的,则它不能让 B 签名者仅包含 A 或 B 的签名,因为这是与 B 和 C 不同的签名身份。这意味着签名者必须在构建此类结构之前进行协调。
多个签名者 proof-of-rotation 属性
- 带长度前缀的
sets
(带长度前缀)序列:signed data
(由上一组证书签名 - 如果存在上一组证书)- 带长度前缀的
certificates
序列- 带长度前缀的 X.509
certificate
(ASN.1 DER 形式)
- 带长度前缀的 X.509
signature algorithm IDs
(uint32) 序列 - 上一组证书中的每个证书对应一个序列,且采用相同顺序。
- 带长度前缀的
flags
(uint32) - 这些标记用于指示这组证书是否应该在 self-trusted-old-certs 结构体中,以及针对哪些操作。- 带长度前缀的
signatures
(带长度前缀)序列:signature algorithm ID
(uint32) - 必须与签名数据部分中的相应 ID 一致- 上述
signed data
上带长度前缀的signature
proof-of-rotation 结构体中有多个祖先
v3 方案也无法处理两个不同密钥轮替到同一个应用的同一签名密钥的情形。这不同于收购情形,在收购情形中,收购公司希望转移收购的应用,以使用其签名密钥来共享权限。收购被视为受支持的用例,因为新应用将通过其软件包名称来区分,并且可以包含自己的 proof-of-rotation 结构体。不受支持的用例是,同一应用有两个不同的路径指向相同的证书,这打破了在密钥轮替设计中做出的许多假设。
验证
在 Android 9 及更高版本中,可以根据 APK 签名方案 v3、v2 或 v1 验证 APK。较旧的平台会忽略 v3 签名而尝试验证 v2 签名,然后尝试验证 v1 签名。
APK 签名方案 v3 验证
- 找到 APK 签名分块并验证以下内容:
- APK 签名分块的两个大小字段包含相同的值。
- “ZIP 中央目录”后面紧跟“ZIP 中央目录结尾”记录。
- “ZIP 中央目录结尾”之后没有任何数据。
- 找到 APK 签名分块中的第一个 APK 签名方案 v3 分块。如果 v3 分块存在,则继续执行第 3 步。否则,回退至使用 v2 方案验证 APK。
- 对 APK 签名方案 v3 分块中的每个
signer
(最低和最高 SDK 版本在当前平台的范围内)执行以下操作:- 从
signatures
中选择安全系数最高的受支持signature algorithm ID
。安全系数排序取决于各个实现/平台版本。 - 使用
public key
并对照signed data
验证signatures
中对应的signature
。(现在可以安全地解析signed data
了。) - 验证签名数据中的最低和最高 SDK 版本是否与为
signer
指定的版本匹配。 - 验证
digests
和signatures
中的签名算法 ID 列表(有序列表)是否相同。(这是为了防止删除/添加签名。) - 使用签名算法所用的同一种摘要算法计算 APK 内容的摘要。
- 验证计算出的摘要是否与
digests
中对应的digest
一致。 - 验证
certificates
中第一个certificate
的 SubjectPublicKeyInfo 是否与public key
相同。 - 如果
signer
存在 proof-of-rotation 属性,请验证结构体是否有效,以及此signer
是否为列表中的最后一个证书。
- 从
- 如果在当前平台范围内仅找到了一个
signer
,并且对该signer
成功执行第 3 步,则验证成功。
验证
如需测试您的设备能否正确支持 v3,请运行 cts/hostsidetests/appsecurity/src/android/appsecurity/cts/
中的 PkgInstallSignatureVerificationTest.java
CTS 测试。