Investigations on smart card-based secure protocols for autenticated key establishment in Digital pay-TV systems | IEEE Conference Publication | IEEE Xplore