Efficient algorithmic safety analysis of HRU security models
Secure Computer Systems: Mathematical Foundations