ASN.1笔记——语法规则与类型概述
转载：https://blog.csdn.net/sever2012/article/details/7672699
一.简介
ASN.1(Abstract Syntax Notation dotone),抽象语法标记1。是定义抽象数据类型形式的标准,是用于描述数据表示、表示、传输、编码的记法。
ASN.1只包含信息结构，不处理具体业务数据，它不是一个编程语言。
ASN.1没有限定编码方法，各种ASN.1编码规则提供了由ASN.1描述其抽象句法的数据的值的传送语法（具体表达），常见的编码规则有：基本编码规则(BER),规范编码规则（CER，CanonicalEncoding Rules）、唯一编码规则（DER，DistinguishedEncoding Rules）、压缩编码规则（PER，PackedEncoding Rules）和XML编码规则（XER，XMLEncoding Rules）。这些编码规则描述了如何将定义在ASN.1中的值译成适合传输的电码。
ASN.1在OSI的ISO8824/ITU X.208（说明语法）和ISO8825/ITU X.209（说明基本编码规则）规范。
几个概念：
(1)实际语法
指诸如C、ObjectiveCaml等这样实际编程语言；
(2)抽象语法（AbstractSyntax）
指ASN.1，是协议采用ASN.1规范描述的描述文本。描绘了与任何表示数据的编码技术无关的通用数据结构。抽象语法使得人们能够定义数据类型，并指明这些类型的值。抽象语法只描述数据的结构形式，与具体的编码格式无关，同时也不涉及这些数据结构在计算机内如何存放。
(3)传输语法（TransferSyntax）
指表示层交换数据的表示方法，是实际通讯系统间的码流。当数据在两个表示层实体之间传输时，这些数据的实际比特模式表示方法就是传送语法。
(4)编码
指将抽象语言法转换成实际通讯系统间比特流;
(5)编码规则
将抽象语言法转换成实际通讯系统间比特流所遵循的语法规则;
二.相关背景知识
1.为了顺利完成应用音的通讯，需使用以下概念：
(1)抽象语法：定义了数据的常用结构（包括不同的数据类型），并且建立了和应用层对话所用的构架。
(2)实际语法：本地的，并且定义本地系统的数据表示方法。
(3)传输语法：定义两个系统间的表示层间交换数据的表示方法。
(4)编码规则：提供从本地实际语法到传输语法和其相反操作的方法。(从抽象语法到传输语法，由ASN.1编译器按照编解码规则实现)
2.应用层Application Layer
应用层向表示层发送数据时，同时告知表示层自己的ASN.1名字(即对象标识符)，ASN.1名字标记了一个ASN.1语法——用以解释数据中各字段的含义。通过参考ASN.1定义，表示可以得知数据单元的类型和长度，以及传输时应当采用的编码方法。
3.表示层Presentation Layer
两个系统在传输数据前需要协商共用的编码方式，事实上编码方式在应用层发出的数据中已经确定，应用数据中包含抽象语法/传输语法的组合关系，告诉表示层数据的结构、含义以及传输语法规则。表示层参考抽象语法，将应用数据转换为传输语法定义的比特流。
4.边界对齐
同样一条消息，在计算机内存中是以Byte为单位存储的，在链路上则是以bit为单位传送的。
如果一个信元的第一个bit也恰好是Byte流中某Byte的开始bit时，我们称之为开始于边界对齐的；
如果信元的最后一个bit也恰好是Byte流中某Byte的最后一个bit时，则可以称之为结束于边界对齐的。
对于不是结束于边界对齐的情况，一般要进行补位。有两种方式：
(1)对每个信元的结束立即进行补位，保证下一个信元是开始于边界对齐的；
(2)从信元结束的位置开始新的信元，到消息结束时再进行一次补位操作。(用于无线空口中)
5.大小端(BigEndian vs Little Endian)
(1).大端方式，也叫网络序，从左往右，第一个8位表示高位，例如0X0102,用比特流表示是0000000100000010。
(2).小端方式，也叫主机序，与大端方式相反，数字0X0102用比特流表示则是0000001000000001，低8位在前，高8位在后。
Motorola的PPC系列、IP协议中使用大端方式;VAX计算机、Intel的x86系列中使用小端方式。
三.ASN.1的基本语法规则
1.ASN.1使用巴科斯范式(BNF):
在双引号中的字("word")代表着这些字符本身。而double_quote用来代表双引号。
在双引号外的字（有可能有下划线）代表着语法部分。
尖括号(< > )内包含的为必选项。
方括号([ ] )内包含的为可选项。
大括号({ } )内包含的为可重复0至无数次的项。
竖线(| )表示在其左右两边任选一项，相当于"OR"的意思。
::=是“被定义为”的意思。
这是用BNF来定义的Java语言中的For语句的实例：
FOR_STATEMENT::=
"for""(" ( variable_declaration |
(expression ";" ) | ";" )
[expression ] ";"
[expression ]
")"statement
2.在ASN.1中，符号的定义没有先后次序：只要能够找到该符号的定义即可。
3.所有的标识符、参考、关键字都要以一个字母开头，后接字母(大、小写都可以)、数字或者连字符“-”(但不能以连字符“-”结尾，也不能连续出现两个连字符)，不能出现下划线“_”。
4.关键字一般都是全部大写。
5.在标识符中，只有类型和模块名字是以大写字母开头的，其它标识符都是以小写字母开头。
6.ASN.1中实数实际定义为三个整数：尾数、基数和指数。没有小数表示方式。
7.ASN.1不对空格、制表符、换行符和注释做翻译。但是在定义符号（或者分配符号Assignment）“::=”中不能有分隔符。
四.ASN.1中的类型
类型是一个非空的值的集合，可以被编码后传输。相比与高级语言中复杂的数据结构，ASN.1中的类型主要是为了数据的传输。
1.ASN.1中的类型分为基本类型(内建数据类型)和组合类型，组合类型由一个或多个基本类型构成。
内建数据类型
-
类型
含义
NULL
只包含一个值NULL，用于传送一个报告或者作为CHOICE类型中某些值
INTEGER
全部整数（包括正数和负数）
REAL
实数，表示浮点数
ENUMERATED
标识符的枚举（实例状态机的状态）
BITSTRING
比特串
OCTETSTRING
字节串
OBJECT IDENTIFIER,
RELATIVE-OID
一个实体的标识符，它在一个全世界范围树状结构中注册
EXTERNAL,EMBEDDED PDV
表示层上下文交换类型
…String(除了BITSTRING、OCTETSTRING外)
各种字符串，有NumericString、PrintableString、VisibleStirng、ISO64String、IA5String、TeletexStirng、T61String、VideotexString、GraphicString、GeneralString、UniversalString、BMPString和UTF8String
CHARACTERSTRING
允许为字符串协商一个明确的字符表
UTCTime,GeneralizedTime
日期
组合类型
-
类型
含义
CHOICE
在类型中选择(相当于C中的联合)
SEQUENCE
由不同类型的值组成一个有序的结构(相当于C中的结构体)
SET
由不同类型的值组成一个无序的结构
SEQUENCEOF
由相同类型的值组成一个有序的结构(相当于C中的数组)
SETOF
由相同类型的值组成一个无序的结构
2.类型定义
<新类型的名字>::= <类型描述>
例：
Married ::= BOOLEAN
Age ::= INTEGER
Picture ::= BIT STRING
Form ::= SEQUENCE
{
name PrintableString,
age Age,
married Married,
marriage-certificate PictureOPTIONAL
}
Married类型是一个基本类型BOOLEAN，Form类型是一组基本类型的有序序列
注意：在SEQUENCE和SET等(好像应该是所有组合类型的)定义中，最后一个成员结尾没有逗号“,”。
为了接收方能正确解码，发送方为每个值的类型附加一个数，称为tag，在描述中以“[]”标识。缺省情况下，编码器会使用universal的tag。在给合类型中，为了明确各个成员，有必要指明每个成员的Tag：
Coordinates ::= SET
{
x [1] INTEGER, //这证明好像也可以用类来直接声明变量
y [2]INTEGER,
z [3]INTEGER OPTIONAL
}
Tag会在传输规则使用到，用于在比特流中指明数据的具体类型。
为了准确描述一个类型，我们需要对值的集合进行一定的限制。这用到子类型约束，在类型之后用圆括号进行标识。
如：
Lottery-number::= INTERGER(1..49)表示取1-49任一一个值
Lottery-draw ::=SEQUENCESIZE(6) OF Lottery-number指定了该SEQUENCE类型由6个Lottery-number类型有序组成。
Upper-case-words::= IA5String (FROM(“A”..”Z”))表示按ASCII取A-Z中任一一个，IA5String是ASCII字符串类型
为了方便在新的版本中往现有类型中添加新成员，可用“…”来标记可能以后是其它类型的地方：
Type ::= SEQUENCE
{
component1 INTERGER,
component2 BOOLEAN,
…
}
以后新的版本中，描述可能为：
Type ::= SEQUENCE
{
component1 INTERGER,
component2 BOOLEAN,
…,
[[component3REAL]], -- version 2
…
}
注意：新加入的类型成员要嵌套在“[[]]”中,--version 2指定新版本号
3.值定义
<新的值的名字><该值的类型> ::=<值描述>
其中：
<新的值的名字>是以小写字母开头的标识符；
<该值的类型>可以是一个类型的名字，也可以是类型描述；
<值描述>是基于整数、字符串、标识符的组合。
如：
counter Lottery-number ::= 45
sextuple Lottery-draw ::= { 7, 12, 23, 31, 33, 41 }
4.信息对象类和信息对象
<信息对象类>::= CLASS <类描述>
WITHSYNTAX <信息描述>
用于表达比注释更为正式的一些信息
5.模块定义
<模块名字> DEFINITIONS <缺省Tag>::=
BEGIN
EXPORTS <导出描述>
IMPORTS <导入描述>
<模块体描述>
END
一般协议由一个或者多个模块组成，模块用来收集数据结构定义。
模块名字必须以大写字母开头。模块能以一种“全局指针”(UniversalPointer)的方式来引用，称为对象标识符（ObjectIdentifier），用花括号标识在名字之后。
如：
Module2 { isomember-body(2) f(250) type-org(1) ft(16)
asn1-book(9)chapter5(0) module2(1) }
DEFINITIONS AUTOMATICTAGS ::=
BEGIN
EXPORTS Type2;
IMPORTS Type1, valueFROM Module1 {iso member-body(2)
f(250) type-org(1)ft(16) asn1-book(9) chapter5(0) module1(0)};
Type2 ::= SEQUENCE OFChoice
Choice ::= CHOICE
{
a INTEGER (0..value),
b Type1
}
END
(1).AUTOMATICTAGS是指缺省Tag，说明不关注模块的Tag。
(2).IMPORTS声明在其它模块定义但在本模块会用到的类型或者值。
EXPORT声明在本模块之外可以访问的类型或者值。
IMPORTS的语法为：
IMPORTS <名字>,value FROM <其它模块的ObjectIdentifier >;
EXPORTS的语法为：
EXPORTS<名字>;
(3).对象标识符(OBJECTIDENTIFIER,OID)类型用层次的形式来表示标准规范。标识符树通过一个点分的十进制符号来定义，这个符号以组织，子部分然后是标准的类型和各自的子标识符开始．
例如：MD5的OID是1.2.840.113549.2.5表示为"iso(1)member-body (2) US (840) rsadsi(113549) digestAlgorithm (2) md5 (5)",所以当解码程序看到这个OID时,就知道是MD5散列。
OID在公钥算法标准中很流行,它指出证书绑定了哪种散列算法。
OID在传输时编码规则:
-
前两部分如果定义为x.y,那么它们将合成一个字40*x+ y,其余部分单独作为一个字节进行编码。
-
每个字首先被分割为最少数量的没有头零数字的7位数字.这些数字以big-endian格式进行组织,并且一个接一个地组合成字节.除了编码的最后一个字节外,其他所有字节的最高位(位8)都为1。
MD5OID的编码:
<1>.将1.2.840.113549.2.5转换成字数组{42,840, 113549, 2, 5}。
<2>.然后将每个字分割为带有最高位的7位数字，{{0x},{0x86,0x48},{0x86,0xF7,0x0D},{0x02},{0x05}}。
<3>.最后完整的编码为0x0608 86 48 7 0D 02 05。
6.模块和分配(Assignment)
(1).定义一个新类型
TypeReference ::=CHOICE
{
integer INTEGER,
boolean BOOLEAN
}
(2).给类型赋值
在ASN.1中给类型赋的值不会被编码(ASN.1语法只是一种语法规则用来描述业务数据，而不会被当成业务数据)，这种值常用作DEFAULT，上下界或者信息对象中。
value-referenceTypeReference ::= integer:12
如果两个类型在语法上是完全一样的，则这两种类型的值可以相互赋值。如：
Pair::= SEQUENCE
{
x INTEGER,
y INTEGER
}
Couple::= SEQUENCE
{
x INTEGER,
y INTEGER
}
pairPair ::= {x 5, y 13}
coupleCouple ::= pair
(3).值集合
在语义上，一个值集合相当于一个添加约束后的类型。如：
PrimeNumbers INTEGER ::= {2 | 3 | 5 | 7 | 11 | 13}
