Security of Park-Lim key agreement schemes for VSAT satellite communications | IEEE Journals & Magazine | IEEE Xplore