ZRTP-based Trusted Transmission of VoIP Traffic and Formal Verification
Xiaolin Chang, Ying Hua Qin, Zhi Chen, Bin Xing · 2012
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.