Reasoning about accountability in protocols for electronic commerce

This publication has 15 references indexed in Scilit:

• How to Break and Repair a “Provably Secure” Untraceable Payment System
  Published by Springer Nature ,2001
• A Calculus for Access Control in Distributed Systems
  Published by Springer Nature ,2001
• NetCash
  Published by Association for Computing Machinery (ACM) ,1993
• Digital signatures
  Published by Association for Computing Machinery (ACM) ,1993
• Why cryptosystems fail
  Published by Association for Computing Machinery (ACM) ,1993
• A logic of authentication
  ACM Transactions on Computer Systems, 1990
• A “Paradoxical” Indentity-Based Signature Scheme Resulting from Zero-Knowledge
  Published by Springer Nature ,1990
• Undeniable Signatures
  Published by Springer Nature ,1990
• Social processes and proofs of theorems and programs
  Communications of the ACM, 1979
• A Course in Mathematical Logic
  Published by Springer Nature ,1977