Right-Invariance: A Property for Probabilistic Analysis of Cryptography Based on Infinite Groups