Credit-card payment protocols such as iKP and SET use digital signatures to authenticate messages and authorize transactions. It is assumed that these digital signatures make the parties' authorizations non-repudiable, i.e., provable to a third-party veriier. In this paper, we deene a set of statements which participants in a payment may want to prove. We then investigate which of these stateme...