Protocol Analysis — Numerical Problems in… | OneNoughtOne