Cite
HARVARD Citation
Ma, X. et al. (2008). Verifying security protocols by knowledge analysis. International journal of security and networks. pp. 183-192. [Online].
This is an interim version of our Electronic Legal Deposit Catalogue-eJournals and eBooks while we continue to recover from a cyber-attack.
Ma, X. et al. (2008). Verifying security protocols by knowledge analysis. International journal of security and networks. pp. 183-192. [Online].