Cite
APA Citation
Ma, X., & Cheng, X. (2008). verifying security protocols by knowledge analysis. International journal of security and networks, 3, 183–192. http://access.bl.uk/ark:/81055/vdc_100074104652.0x00000c
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., & Cheng, X. (2008). verifying security protocols by knowledge analysis. International journal of security and networks, 3, 183–192. http://access.bl.uk/ark:/81055/vdc_100074104652.0x00000c