Runtime Enforcement of Hyperproperties.

Norine Coenen Bernd Finkbeiner Christopher Hahn Jana Hofmann Yannick Schillo

Published in: CoRR (2022)

Keyphrases

access control
three dimensional
information systems
image processing
objective function
data structure
management system
fine grained
digital rights