Soundness Analysis Protocol Design | Soundness Analysis | Mathematics | NEROS