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]
@inproceedings{Long03,
title = {Formalising Key-Distribution in the Presence of Trust using Object-Z},
author = {Benjamin W. Long},
year = {2003},
url = {http://crpit.com/confpapers/CRPITV21ALong.pdf},
researchr = {https://researchr.org/publication/Long03},
cites = {0},
citedby = {0},
pages = {59-66},
booktitle = {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},
editor = {Chris Johnson and Paul Montague and Chris Steketee},
volume = {21},
series = {CRPIT},
publisher = {Australian Computer Society},
isbn = {1-920682-00-7},
}