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. 155-171 2005 4 Int. J. Inf. Sec. 3 http://dx.doi.org/10.1007/s10207-004-0057-5 db/journals/ijisec/ijisec4.html#OheimbLW05