密码协议XML描述方法研究

Research on XML Description Method for Cryptographic Protocols

针对密码协议仿真过程中系统模型难以向仿真模型转换、概念建模过程静态结构和动态行为描述不清晰的问题,提出一种基于UML的密码协议XML描述方法。在形式化分析密码协议静态结构和动态行为的基础上,利用UML类图和UML顺序图建立了密码协议概念模型;通过定义相关映射规则,实现了UML类图和UML顺序图向XML Schema文档的转换,为利用XML文档描述密码协议奠定了语法规范;以IKEv2协议为例,基于OMNe T++仿真平台进行仿真实验,验证了密码协议XML描述方法的有效性和仿真模型的可用性。

To address the difficulties in transforming system models to simulation models in cryptographic protocols simulation, and the fuzziness of describing both static structure and dynamic behavior in concept modeling, a UML-based XML description method for cryptographic protocols was proposed. After formally analyzing the static structure and dynamic behaviors of cryptographic protocols, we established the concept models of cryptographic protocols using UML class diagram and UML sequence diagram. And then the UML class diagram and UML sequence diagram were transformed to XML Schema documents by defining some mapping rules, which laid syntax specifications for describing cryptographic protocols in XML documents. Last, the validity of the XML specification method for cryptographic protocols and the usability of simulation models were proved by simulating and testing IKEv2 XML models on the OMNeT ＋＋ simulation platform.