The Limits of Formal Security Models – Dorothy E. Denning (1999) | Not Hacker News!