Cite
MLA Citation
Xiaoqi Ma and Xiaochun Cheng. “Verifying security protocols by knowledge analysis.” International journal of security and networks, vol. 3, 2008, pp. 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.
Xiaoqi Ma and Xiaochun Cheng. “Verifying security protocols by knowledge analysis.” International journal of security and networks, vol. 3, 2008, pp. 183–192. http://access.bl.uk/ark:/81055/vdc_100074104652.0x00000c