Towards formally verified compilation of tag-based policy enforcement.

C. H. R. Chhak Andrew Tolmach Sean Anderson

Published in: CPP (2021)

Keyphrases

policy enforcement
access control
enterprise network
security management
operating system
security issues
knowledge compilation