Composing system integrity using I/O automata.
Edward AmorosoMichael MerrittPublished in: ACSAC (1994)
Keyphrases
- input output
- finite automata
- cellular automata
- regular expressions
- probabilistic automata
- integrity checking
- trusted computing
- integrity constraints
- lattice gas
- finite state machines
- finite state
- main memory
- tree automata
- data integrity
- file system
- high speed
- database
- ibm power processor
- secondary storage
- data transfer
- model checking
- multi dimensional
- data structure
- data sets