Title :
ZRTP-based Trusted Transmission of VoIP Traffic and Formal Verification
Author :
Xiaolin Chang ; Ying Qin ; Zhi Chen ; Bin Xing
Author_Institution :
Sch. of Comput. & Inf. Technol., Beijing JiaoTong Univ., Beijing, China
Abstract :
The SRTP/ZRTP security mechanism provides a secure channel for VoIP (Voice-over-IP) traffic transmission. This paper examines the use of TCG remote attestation technique to improve the security of SRTP/ZRTP channel technology. We first generalize the security properties which a trust channel technique should have. Then we propose a trusted SRTP/ZRTP channel technique and apply model checker SPIN to verify that the proposed technique can achieve the declared security properties.
Keywords :
Internet telephony; formal verification; protocols; telecommunication channels; telecommunication security; telecommunication traffic; SPIN model checker; SRTP channel technology; SRTP security mechanism; TCG remote attestation technique; VoIP traffic transmission; ZRTP channel technology; ZRTP protocol; ZRTP security mechanism; ZRTP-based trusted transmission; formal verification; security improvement; security properties; trust channel technique; voice-over-IP traffic transmission; Cryptography; Educational institutions; Formal verification; Internet telephony; Protocols; Software; Remote attestation; SPIN; VoIP; ZRTP;
Conference_Titel :
Multimedia Information Networking and Security (MINES), 2012 Fourth International Conference on
Conference_Location :
Nanjing
Print_ISBN :
978-1-4673-3093-0
DOI :
10.1109/MINES.2012.250
