Analysis of random number generation in virtual environments / Federal Office for Information Security ; Authors Stephan Müller (atsec information security GmbH), Gerald Krummeck (atsec information security GmbH), Helmut Kurth (atsec information security GmbH)