Rational Cryptography: Novel Constructions, Automated Verification And Unified Definitions