Peter Y. A. Ryan Mathematical Models of Computer Security. 1-62 2000 conf/fosad/2000 FOSAD http://link.springer.de/link/service/series/0558/bibs/2171/21710001.htm db/conf/fosad/fosad2000.html#Ryan00