state transition system
abstract machine used in the study of computation
Biba model
formal state transition system of computer security policy that describes a set of access control rules designed to ensure data integrity
abstract machine used in the study of computation