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