ZRTP-based Trusted Transmission of VoIP Traffic and Formal Verification

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.