Design and formal analysis of a new Fair Multi-Party Certified Mail Protocol.

Yue-Xiang Gao Dai-Yuan Peng Li-Li Yan

Published in: ICMLC (2010)

Keyphrases

formal analysis
multi party
formal methods
ban logic
privacy preserving
cooperative
case study
agent model
machine learning
email
access control
design process
electronic commerce
software architecture
modeling language
negotiation mechanism