In an inner memory type tamper resistant microprocessor, a requested
secret protection attribute requested for each access target memory page
by a task is set and stored exclusively from other tasks, at a time of
reading a program into memory pages and executing the program as the
task, and a memory secret protection attribute is set and stored for each
access target memory page by the task, at a time of executing the task.
Then, an access to each access target memory page is refused when the
requested secret protection attribute for each access target memory page
and the memory secret protection attribute for each access target memory
page do not coincide.