John McLean The Specification and Modeling of Computer Security. 9-16 1990 23 IEEE Computer 1 db/journals/computer/computer23.html#McLean90