Yoon, E.-J.and K.-Y. Yoo. Robust Key Exchange Protocol Between Set-top Box and Smart Card in DTV Broadcasting. Vilnius University Press, Jan. 2009, doi:10.15388/informatica.2009.241.