Data for: Formal Analysis of a Security Protocol for e-Passports based on Rewrite Theory Specifications - Ogata, Kazuhiro (Mendeley, 2018)