Formal analysis of a security protocol for e-passports based on rewrite theory specifications. - Manjukeshwar Reddy Mandadi; Varuneshwar Reddy Mandadi; Kazuhiro Ogata 001 (J. Inf. Secur. Appl., 2018)