security for PRF when key is changed often
Yes, this is secure since the keys are chosen randomly. Remember that even in the "traditional" PRF game, the adversary can generate keys at random, so the output of F on past keys does not help him (since he can generate such outputs anyway).