基于SDL语言的SIP协议的形式化研究

摘要

会话初始协议SIP作为推荐的Internet会议和VoIP应用层信令控制协议,在RFC中没有严格地给出其行为的形式化模型.介绍了SIP协议,简要阐述了SDL(specification and description language)的基本概念及使用它描述网络协议的优点,并利用SDL给出了SIP协议的形式化描述,为进一步的协议实现和验证奠定了基础.