ANS.1笔记:语法规则与类型概述

一、简介

       ASN.1(Abstract Syntax Notation dotone),抽象语法标记1。是定义抽象数据类型形式的标准,是用于描述数据表示、表示、传输、编码的记法。

        ASN.1只包含信息结构,不处理具体业务数据,它不是一个编程语言。

        ASN.1没有限定编码方法,各种ASN.1编码规则提供了由ASN.1描述其抽象句法的数据的值的传送语法(具体表达),常见的编码规则有:

  •         1、基本编码规则(BER),规范编码规则(CER,CanonicalEncoding Rules)、
  •         2、唯一编码规则(DER,DistinguishedEncoding Rules)、
  •         3、压缩编码规则(PER,PackedEncoding Rules)
  •         4、XML编码规则(XER,XMLEncoding Rules)。

        这些编码规则描述了如何将定义在ASN.1中的值译成适合传输的电码。

(1)实际语法

        指诸如C、ObjectiveCaml等这样实际编程语言;

(2)抽象语法(AbstractSyntax)

        指ASN.1,是协议采用ASN.1规范描述的描述文本。描绘了与任何表示数据的编码技术无关的通用数据结构。抽象语法使得人们能够定义数据类型,并指明这些类型的值。抽象语法只描述数据的结构形式,与具体的编码格式无关,同时也不涉及这些数据结构在计算机内如何存放。

(3)传输语法(TransferSyntax)

        指表示层交换数据的表示方法,是实际通讯系统间的码流。当数据在两个表示层实体之间传输时,这些数据的实际比特模式表示方法就是传送语法。

(4)编码

        指将抽象语言法转换成实际通讯系统间比特流;

(5)编码规则

        将抽象语言法转换成实际通讯系统间比特流所遵循的语法规则;        

二、ASN.1的基本语法规则

        1、ASN.1使用巴科斯范式(BNF):

  • 在双引号中的字("word")代表着这些字符本身。而double_quote用来代表双引号。
  • 在双引号外的字(有可能有下划线)代表着语法部分。
  • 尖括号(< > )内包含的为必选项。
  • 方括号([ ] )内包含的为可选项。
  • 大括号({ } )内包含的为可重复0至无数次的项。
  • 竖线(| )表示在其左右两边任选一项,相当于"OR"的意思
  • ::=是“被定义为”的意思。
  • 在ASN.1中,符号的定义没有先后次序:只要能够找到该符号的定义即可
  • 所有的标识符、参考、关键字都要以一个字母开头,后接字母(大、小写都可以)、数字或者连字符“-”(但不能以连字符“-”结尾,也不能连续出现两个连字符),不能出现下划线“_”。
  • 关键字一般都是全部大写。
  • 在标识符中,只有类型模块名字是以大写字母开头的,其它标识符都是以小写字母开头。
  • ASN.1中实数实际定义为三个整数:尾数、基数指数。没有小数表示方式。
  • ASN.1不对空格、制表符、换行符注释做翻译。但是在定义符号(或者分配符号Assignment)“::=”中不能有分隔符

这是用BNF来定义的Java语言中的For语句的实例:

  FOR_STATEMENT::=

  "for""(" ( variable_declaration |

  (expression ";" ) | ";" )

  [expression ] ";"

  [expression ]

  ")"statement

三、ASN.1中的类型

1、ASN.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、BMPStringUTF8String

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}

  • 0
    点赞
  • 4
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值