Algorithmic Verification on Finite Structures Protocol Design | Algorithmic Verification on Finite Structures | Mathematics | NEROS