Mandadi, MR and Mandadi, VR and Ogata, K (2018) Formal analysis of a security protocol for e-passports based on rewrite theory specifications. In: Journal of Information Security and Applications, 42 . pp. 71-86.
