Verifying Information Flow Control over Unbounded Processes.

William R. Harris Nicholas Kidd Sagar Chaki Somesh Jha Thomas W. Reps

Published in: FM (2009)

Keyphrases

information flow control
process model
databases
neural network
model checking
artificial intelligence
clustering algorithm
image sequences
expert systems
probabilistic model
computational models