Description: SIP Session Initiation Protocol, as recommended by Internet meetings and VoIP application layer control protocol signaling, in the RFC is not strictly given formal model of his actions. Introduced the SIP agreement, briefly expounded on SDL (specification and description language) the basic concept and use it to describe the advantages of network protocols and to make use of SDL is given formal description SIP agreement, in order to further the achievement of the agreement laid the foundation and validation .
To Search:
File list (Check if you may need any files):
基于SDL语言的SIP协议的形式化研究.pdf