Formalising key distribution in the presence of trust using object-z

---

Autoria(s): Long, B. W.

Contribuinte(s)	C. Johnson P. Montague C. Steketee
Data(s)	01/01/2003
Identificador	http://espace.library.uq.edu.au/view/UQ:98496
Publicador	Australian Computer Society
Palavras-Chave	#E1 #280302 Software Engineering #700199 Computer software and services not elsewhere classified
Tipo	Conference Paper