Noninterference and the Unwinding for LOCK.

Todd Fine J. Thomas Haigh Richard C. O'Brien Dana L. Toups

Published in: CSFW (1989)

Keyphrases

security policies
concurrency control
locking protocol
transaction processing systems
machine learning
databases
artificial intelligence
decision trees
high level
data analysis
access control