Analyzing SLE 88 memory management security using Interacting State Machines

David von Oheimb, Volkmar Lotz, Georg Walter. Analyzing SLE 88 memory management security using Interacting State Machines. Int. J. Inf. Sec., 4(3):155-171, 2005. [doi]

Abstract

Abstract is missing.