Formal modeling of authentication in SIP registration
Publication details
Part of:Proceedings of the International Conference on Emerging Security Information, Systems and Technologies (SECURWARE) (IEEE (Institute of Electrical and Electronics Engineers), 2008)