基于XML的安全策略分析

张达利

（浙江工商职业技术学院，浙江 宁波 315012）

XML（extensible markup language）可扩展标记语言，是一种由一系列法规组成的定义语言。在数据上它有可扩展性、灵活性、可读性、简单性，与平台无关性等优点。这使得XML成为了各种数据交换的首选格式。XML以一种开放的，自我描述的文本方式定义数据结构，在描述数据内容的同时以优秀的树型方式突出对结构的描述，清晰地体现出数据之间关系的同时还可以使开发者根据各自不同的需要定义自己的标识。

1 问题的提出

互联网技术的发展，大大提高了信息流通的速度和效率，吸引了越来越多的企业、个人通过网络从事其相关活动，基于网络的数据交换和业务协作越来越频繁。XML技术的发展使得基于网络的数据交互越来越方便，但是互联网开放性所带来的信息安全隐患却是一个日趋严重的问题。作为一个开放的平台，由于资源的共享性和互操作性，互联网也面临着各种各样的安全威胁，如信息窃取、恶意欺骗、伪装、非法修改以及各种扰乱破坏等。保证XML数据交换的安全，是当今社会需解决的一大重要问题。

2 安全策略分析

2.1 基于逻辑的安全策略分析

安全策略的一致性分析可通过SDL Logic来解决。一致性可从冲突性来理解，SDL可采用给角色相关的规则权限一个优先权序列来解决的。

2.2.1 一致性分析

① SDL规范概述。SDL是一阶逻辑可判定子集。

语言符号：L：SDL 语言

O，F，W，P 四种模态，表示强制的（Obligatory），不允许的（Forbidden），放弃的（Waived），允许的（Permitted）。

其公式定义遵循递归定义。

关……