关闭

ANS1 研究3

333人阅读 评论(0) 收藏 举报

二、标签模式

  

         EXPLICIT tagging:----------------------默认的模式,即默认使用显式模式,它会在已存在的标签之前添加自定义的值
– Default tagging mode
– EXPLICIT tag is added in front of the existing tag


• IMPLICIT tagging:-------------------------------------,覆盖已存在的标签的值
– IMPLICIT tag replaces an existing tag

 

明确定义的标签:

Primary use of tags
• Avoid ambiguous descriptions
• Example:
Unambiguous ::= SEQUENCE {
val1 [0] INTEGER OPTIONAL,
val2 INTEGER OPTIONAL
}

Tagging distinguishes val1 and val2 encodings

 

结构类型标注规则:

• Tags values must be sequential from 0------------------标签值必须是连续的从0开始的
• Tagging class must not be UNIVERSAL--------------------标签类不能是UNIVERSAL
InvalidSeq ::= SEQUENCE {
version INTEGER,
name [UNIVERSAL 0] PrintableString
}

这不是一个有效的声明

 

透明类型标注规则

OpenType and CHOICE types are always explicitly
tagged (even when not mentioned in an IMPLICIT
TAGS module header)------开放类型和选择类型总是显式的标签(即使在一个使用隐式标签的模块使用)

• CHOICE inner elements tags must be distinct-----选择类型内部的元素标签必须不同

Generic ::= [0] IMPLICIT OpenType---------这不是有效的,(因为只能使用显式标签)


 

多个标签

asn1提供多标签(或者递归标签)

TaggedInt ::= [1] EXPLICIT [0] IMPLICIT INTEGER
Equivalent to:
TaggedInt ::= [1] EXPLICIT Int


Int ::= [0] IMPLICIT INTEGER

隐藏的含糊不清的声明

HiddenSequence ::= SEQUENCE {
first Seq OPTIONAL,
second SeqOfInt
}
Seq ::= SEQUENCE {
val INTEGER
}
SeqOfInt ::= SEQUENCE OF INTEGER

 

When first is not present and second holds a
single INTEGER value, the encoding is successfully
generated…-------------当第一个不在,第二个只有一个integer值,可以正确的编码
… but the decoder cannot determine whether first or
second is encoded!--------但是解码者不能区分是第一个还是第二个编码

修正后:

HiddenSequence ::= SEQUENCE {
first Seq OPTIONAL,
second [0] SeqOf
}

标签执行中的错误

TrickySequence ::= SEQUENCE {
first Seq OPTIONAL,
second SeqOfBool
}
Seq ::= SEQUENCE {
val INTEGER
}
SeqOfBool ::= SEQUENCE OF BOOLEAN

 

first and second hold different inner elements
types (INTEGER and BOOLEAN)…


… but when first is absent, decoders have to go inside
the SEQUENCE OF and fail to decode the first
INTEGER value to know that the encoding does not
enclose first…-----------但是当第一个不在,解码者必须进入sequence of 标签,解释第一个integer失败,不能够知道没有将第一个元素添加到编码中。

修正:

TrickySequence ::= SEQUENCE {
first Seq OPTIONAL,
second [0] SeqOfBool
}

Sequence是有序的,而Set是无序的

0
0

查看评论
* 以上用户言论只代表其个人观点,不代表CSDN网站的观点或立场
    个人资料
    • 访问:126619次
    • 积分:1782
    • 等级:
    • 排名:千里之外
    • 原创:42篇
    • 转载:28篇
    • 译文:7篇
    • 评论:14条
    最新评论