Towards Automation of Testing High-Level Security Properties.

Aiman Hanna, Hai Zhou Ling, Jason Furlong, Mourad Debbabi

Browse the full DBSEC paper archive.