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

fYear

2012

fDate

2-4 Nov. 2012

Firstpage

560

Lastpage

563

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Multimedia Information Networking and Security (MINES), 2012 Fourth International Conference on

Conference_Location

Nanjing

Print_ISBN

978-1-4673-3093-0

Type

conf

DOI

10.1109/MINES.2012.250

Filename

6405762