Optimal key scheduling for secure satellite broadcasting to mobile users | IEEE Conference Publication | IEEE Xplore