Xiaolei Qian: View-Based Access Control with High Assurance. S&P 1996: 85-93