Symbol Signature Design Protocol | Axiomatization | Mathematics | NEROS