Verifying the SET purchase protocols
scientific article; zbMATH DE number 5119735