When having received an instruction that a program should be activated,
the program execution system judges whether or not the program to be
activated has been updated. When the activation of the program has
resulted from an update of the program, an authentication process is
performed with the use of the authentication information inputted during
the immediately preceding activation process.