Proving Concurrent Noninterference.

Andrei Popescu Johannes Hölzl Tobias Nipkow

Published in: CPP (2012)

Keyphrases

security policies
mutual exclusion
web services
three dimensional
computer networks
real time
data sets
real world
machine learning
artificial intelligence
computer vision
data streams
artificial neural networks
multiresolution
data model
probability distribution