ASN.1 BER 解码器的输入中存在未声明的标签

Question

我有一个 ASN.1 语法规范，我希望通过添加一些字段来修改它。如果我使用 BER 和新字段创建一个编码字符串，然后尝试使用不知道这些附加字段的解码器对该字符串进行解码，结果应该是什么？是否会因为存在解码器无法识别的字段而导致解码失败？解码器是否会仅解码它可以识别的字段并完全忽略它不能识别的字段？这完全是解码器实现问题吗？因此，这两种结果都是可能的，具体取决于解码器的实现方式？

现在，我正在使用开源 ASN.1 编译器/解码器，它似乎完全失败，但我不确定这是因为实现还是因为 ASN.1 规则规定了这种结果？

Answer 1

它肯定不依赖于实施。也就是说，如果不同的实现以不同的方式处理它，则其中一个实现是错误的。
如果您使用不需要未知字段的解码器来解码未知字段，则解码应该会失败。它不会跳过未知字段。

然而，有一种方法可以在知道附加字段之前提供它们。它是使用扩展标记（“...”）。假设我们开发了 ASN.1 规范的各种版本。我们称它们为 V1、V2、V3 等。V1 是原始规范，但我们在设计 V1 时了解到，我们可能必须在某个时候对其进行修改。为了允许这种情况，

Z ::= SEQUENCE { a INTEGER,
                 b OCTET STRING,
                 c Message1
}

我们不会像这样声明 Z 是可扩展的。

Z ::= SEQUENCE { a INTEGER,
                 b OCTET STRING,
                 c Message1,
                 ...
}

扩展标记表示，在 c 之后，可能有更多尚未未知的字段。解码器应该将包含此类字段的消息（只要它们遵循 c）视为有效。解码器将无法解码它们，因为它不知道它们应该是什么，但它知道它们是允许的。

假设我们通过插入两个新字段将 V1 更新为 V2，有点像这样

Z ::= SEQUENCE { a INTEGER,            -- V1
                 b OCTET STRING,       -- V1
                 c Message1,           -- V1
                 ...,
             [[  d PrintableString,    -- V2
                 e BOOLEAN          ]] -- V2
}

在这种情况下，V1 版本可以与 V2 版本互操作。 V1 编码器不包括 d 或 e，而 V2 编码器将包括它们。从解码器的角度来看，V1 解码器将接受（但不解码）d 和 e，而 V2 解码器将在找到 d 和 e 时对其进行解码。因此，V1 解码器会接受 V1 和 V2 编码，只要找到 d 和 e，就会忽略它们； V2 解码器也接受 V1 和 V2 编码，注意 V1 编码不包括 d 或 e，但它仍然有效。

我们可以通过其他版本继续这一点，例如，

Z ::= SEQUENCE { a INTEGER,            -- V1
                 b OCTET STRING,       -- V1
                 c Message1,           -- V1
                 ...,
             [[  d PrintableString,    -- V2
                 e BOOLEAN         ]], -- V2
             [[  f PrintableString,    -- V3
                 g ExtensionMessage]]  -- V3
}

V1、V2 和 V3 都可以互操作。

但请注意，由于我们正在处理序列，因此必须保留顺序。没有 d 就没有 e，没有 d、e 和 f 就没有 g。

因此，结论是，如果您的类型定义包含扩展标记，则您可以添加新字段，但如果不包含，则可能不会。

Answer 2

这完全取决于规范和实现。简而言之 - 没有办法告诉。这取决于实施。使用 asn.1 的任何给定协议/格式的某些规范将明确声明要忽略未知元素，在这种情况下解码不应失败。

但更常见的是，解码器将拒绝任何不严格符合其应解码的 ASN.1 语法的输入。