Benjamin W. Long. Formalising Key-Distribution in the Presence of Trust using Object-Z. In Chris Johnson, Paul Montague, Chris Steketee, editors, ACSW Frontiers 2003, 2003 ACSW Workshops - the Australasian Information Security Workshop (AISW) and the Workshop on Wearable, Invisible, Context-Aware, Ambient, Pervasive and Ubiquitous Computing (WICAPUC), Adelaide, South Australia, February 2003. Volume 21 of CRPIT, pages 59-66, Australian Computer Society, 2003. [doi]
Abstract is missing.