Towards Formally Verified Compilation of Tag-Based Policy Enforcement.

C. H. R. Chhak Andrew Tolmach Sean Anderson

Published in: CoRR (2020)

Keyphrases

policy enforcement
access control
enterprise network
security management
database
distributed systems
security issues
recommender systems
network security
security policies
knowledge compilation