Security modelling using hierarchical state machines.

Published in: ACSAC (1991)

Keyphrases

state machines
state machine
petri net
intrusion detection
recurrent networks
access control
information security
sequence diagrams
genetic algorithm
training set
test set
fault tolerant