Towards a Secure and Complete Protocol for Electronic Commerce. - Runzhuo He; Kecheng Liu (ICEIS, 2000)