DevRandom
Last edit December 11, 2005
A file on Linux systems, /dev/random, that implements a
TrueRandom
number generator by mixing up data from the user like mouse movements.