A State-Machine Approach to Non-Interference.

William R. Bevier William D. Young

Published in: J. Comput. Secur. (1995)

Keyphrases

state machine
state machines
fault tolerant
finite state machines
multipath
real time
neural network
database
machine learning
high level
database systems
peer to peer
power line