Formal modeling for magnetic resonance images tamper mitigation