A logic for secure memory access of abstract state machines.

Stanislas Nanchen Robert F. Stärk

Published in: Theor. Comput. Sci. (2005)

Keyphrases

memory access
data access
main memory
external memory
shared memory
memory management
data storage
memory hierarchy
access patterns
processing units