It's in the published specs of the satellites. They have a whole key schedule bit.