Design and analysis of provably secure pseudorandom generators door