Formal Development of Secure Email. - Dan Zhou; Joncheng C. Kuo; Susan Older; Shiu-Kai Chin (HICSS, 1999)