Non-repudiation with mandatory proof of receipt.

Tom Coffey Puneet Saidha

Published in: Comput. Commun. Rev. (1996)

Keyphrases

theorem proving
electronic commerce
neural network
proof planning
real time
evolutionary algorithm
digital signature
linear logic
proof theory
complete axiomatization
mathematical proofs
multi party non repudiation