气象数据发布网关系统的设计与开发.docVIP

气象数据发布网关系统的设计与开发 1、相关定义 1.1、XML 数据的发布定义 管理服务器发布的 XML 数据是由嵌套的标签元素所构成,每个标签元素具有 0 个或多个子元素和 0 个或多个属性,而且元素本身也可以包含文本信息,即元 素的数据内容。XML 数据文档中标签元素可以嵌套任意的深度,属性可以是不同 的数据类型,其中也可以在其中的一个属性中指定元素标识 ID。另外,节点还可 以表示文档元素的附加信息,如文本信息的 CDATA 类型属性,文档中其他元素 的连接信息,如 IDREF(S)/URI(s)类型元素等。 为了安全地发布 XML 数据,作为算法基础,下面介绍在整个发布过程中都要 用到的一个 XML 文档的公式模型。以下我们使用Label 表示元素标签名和属性名 集合,用Value表示属性和元素值集合。 定义 2 (XML 文档):一个 XML 文档是一个集合d=(Vd,vd, Ed, Φ Ed ) ,其中: Vd=Vde V da 是一个分别表述元素和属性的节点集,对于任意属性vV da , 必然有一个val Value 与之对应,而对于任意一个元素vV de ,Value中有 可能有一个数值与之相关联,也可能没有,因为元素节点本身可以不包含 任何数据内容; v d 是描述一个 XML 文档的元素节点,是 XML 文档的根节点; 17 Ed=Ede Eda?Vd × V d 是边的集合,其中eE de 是一个描述元素和子元素 的关系的边,它也可以是元素之间的连接,即由 IDREF(s)/URI(s)属性引 出的连接边。eE da 是代表一个属性到元素的关系的连接边; ΦEd :Ed → Label 是边标识映射函数,即实现边到标识符之间的映射。 根据上面的定义,假设一个 XML 数据文档d=(Vd,vd, Ed, Φ Ed ) 为某单位的年 报表,为阐述报表内容和内容安全控制,可以将此 XML 数据文档表示成一个如 图 2.4 所示的树形结构。在此 XML 树形结构中,白色顶点代表 XML 元素,灰色 顶点代表 XML 属性,实线边代表元素-属性和元素-子元素的关系。在实际应 用系统当中,为了规范 XML 数据的格式,可以利用文档类型定义(DTD)或 XML 架构(XML Schema)定义在各种应用程序中的文档类型及结构。 Annual-report Year 2007Name Southwest University Assets Asset Expenses FundsExpenses Funds Asset Funding Funding Funding Patents Patent Patent Date ID Dept DescrTech Authors Date ID Dept Descr Tech Authors DICO03/26/2007 01/17/2007 EED Dept EED Dept Tot Tot Date Type Amount 03/18/2006 CNR Date Type Amount 01/20/2006CNR Date Type CNR Amount 02/28/2006 图 2.4 一个 XML 数据图形表示例子 Fig. 2.4 An example of graph representation of an XML document 在图2.4中的XML数据表示的树形结构中,为了实现查询结果的完整性校验, 我们假定元素的孩子存在顺序关系,这个顺序关系在客户端确定一个查询结果的 真实性是非常重要。那么我们怎样定义这个顺序呢?对于一个元素e,我们让它 的属性在顺序中总是排在前面(如图 2.4 所示),为此定义一个函数child () ,对于 18 一个 XML 文档d=(Vd,vd, Ed, Φ Ed ) 的任一元素vV de 和一个整数i {1Ncv } , 这个函数就按照定义的顺序返回图中元素v的第i个孩子,其中Nc v 代表节点v的 孩子总数。 2.3.2 XML 数据的 Merkle 哈希树 Merkle 哈希树[21]是一个使用在多个计算领域的著名的真实性和完整性校验处 理机制,Naor 和 Nissim 在[23]中就利用这种机制来创建了一个认证数据结构,从 而实现了认证数据结构的高效率创建和维护。这种结构包含的是用户证书的认证 信息。准确来讲,该结构存储了一个排序的哈希树架构,树的叶子节点与撤销的 证书相对应,在应用中验证一个证书是否撤销就变成了验证这个证书是否包含在 哈希树的叶子节点中。Devanbu 也在[24]中也采用了类似的方法来验证提交到关 系数据库中的查询结果的真实性和完整性。这种方法还用在电子支付平台中用来 实现公钥签名数目的最小化,这些