Interacting State Machines: A Stateful Approach to Proving Security.

David von Oheimb

Published in: FASec (2002)

Keyphrases

state machines
state machine
petri net
recurrent networks
information security
access control
intrusion detection
sequence diagrams
neural network
multi modal
biologically inspired
artificial intelligence
high level
recurrent neural networks