Timing-Sensitive Noninterference through Composition.

Willard Rafnsson Limin Jia Lujo Bauer

Published in: POST (2017)

Keyphrases

security policies
composition of web services
music composition
information systems
e learning
knowledge base
bayesian networks
multiscale
object recognition
special case
intrusion detection