Verification of Security Properties in Electronic Payment Protocols (2002)

by M. Panti , L. Spalazzi , S. Tacconi
Citations:3 - 1 self