every software on that site comes with a loader (also software) which will work out on your computer, to communicate with the receiver before download to receiver.
on the sats you have mentioned there is both viacess and nagra, and the receiver shows what encryption used on the channel you are on.
just by pressing ok.
ird- i r d e t o
cr- cry pto