John DeTreville Binder, a Logic-Based Security Language. 105-113 2002 IEEE Symposium on Security and Privacy http://computer.org/proceedings/sp/1543/15430105abs.htm db/conf/sp/sp2002.html#DeTreville02