Analyzing SLE 88 memory management security using Interacting State Machines.

David von Oheimb Volkmar Lotz Georg Walter

Published in: Int. J. Inf. Sec. (2005)

Keyphrases

state machines
memory management
state machine
operating system
petri net
information security
recurrent networks
hardware implementation
computing environments
parallel computation
data management
distributed systems
computer systems