Formal Verification of Cardholder Registration in SET