Fenix Secure Operating System: Principles, Models and Architecture. - Dmitry P. Zegzhda; Pavel G. Stepanov; Alexey D. Otavin (MMM-ACNS, 2001)