The access control mechanism prevents access to the value whereby the program cannot be executed unless access has been permitted by the access control mechanism.
During the step of storing the program as a value, the program can be encrypted such that it cannot be used unless it is first decrypted.