A logic for secure memory access of abstract state machines
scientific article; zbMATH DE number 2174900