Functional specs for selinux functionality introduced by file provider refactor.