Information Flow in Operating Systems: Eager Formal Methods
Joshua D. Guttman, Amy L. Herzog, John D. Ramsdell · 2003
In the 1980s, most of the rigorous work in information security was focused on operating systems, but the 1990s saw a strong trend toward network and dis-tributed system security. The difficulty of having an impact in securing operating systems was part of the motivation for this trend.