Login / Signup
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