Data and applications security 23 : 23rd annual IFIP WG 11.3 working conference : Montreal, Canada, July 12-15, 2009 : proceedings. : DBSEC : stimulating tutorial on "how to protect information: inference control for logic-oriented information systems" : Jul 2009, Montreal, Canada.