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