Abstract:
Certified email protocols to facilitate secure
electronic mail delivery are necessary if the Internet
is to achieve its true potential as a communications
tool. So, the proposed system is aimed to provide a
certified email protocol which guarantees the fairness
and confidentiality of the message so that the
participants can communicate via email in a fair and
secret form and no one else but only the intended user
can see the mail content. In order to resolve the
disputes and provide fairness, off-line (optimistic)
trusted third party (TTP) will be participated in this
system. The system is also aimed not to reveal any
secret things: the mail content and the key, to TTP so
that the importance of its role can be reduced as much
as possible. The key security properties of the
proposed system are verified using model checking
tool, Automated Validation of Internet Security
Protocols and Applications (AVISPA).
