Roman Zilka, Vashek Matyás, Libor Kyncl. Four Authorization Protocols for an Electronic Payment System. In Zdenek Kotásek, Jan Bouda, Ivana Cerná, Lukás Sekanina, Tomás Vojnar, David Antos, editors, Mathematical and Engineering Methods in Computer Science - 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers. Volume 7119 of Lecture Notes in Computer Science, pages 205-214, Springer, 2011. [doi]
Abstract is missing.