A Non-Repudiation Protocol for E-Mail and Its Formal Analysis.

Hongyan Peng Xiaojian Li Chunhe Xia Jianfeng Deng Xiaofa Zhou

Published in: J. Comput. Res. Dev. (2006)

Keyphrases

formal analysis
email
ban logic
multi party non repudiation
formal methods
spam filtering
electronic commerce
signature scheme
payment protocol
digital signature
knowledge based systems
agent model
case study
building blocks
instant messaging
trusted third party