Aiman Hanna Hai Zhou Ling Jason Furlong Mourad Debbabi Towards Automation of Testing High-Level Security Properties. 268-282 2008 DBSec http://dx.doi.org/10.1007/978-3-540-70567-3_21 conf/dbsec/2008 db/conf/dbsec/dbsec2008.html#HannaLFD08