Models for CSPRNGs