%0 Conference Paper %1 conf/dbsec/HannaLFD08 %A Hanna, Aiman %A Ling, Hai Zhou %A Furlong, Jason %A Debbabi, Mourad %B DBSec %D 2008 %E Atluri, Vijay %I Springer %K dblp %P 268-282 %T Towards Automation of Testing High-Level Security Properties. %U http://dblp.uni-trier.de/db/conf/dbsec/dbsec2008.html#HannaLFD08 %V 5094 %@ 978-3-540-70566-6

@inproceedings{conf/dbsec/HannaLFD08, added-at = {2020-03-12T00:00:00.000+0100}, author = {Hanna, Aiman and Ling, Hai Zhou and Furlong, Jason and Debbabi, Mourad}, biburl = {https://www.bibsonomy.org/bibtex/215302c1f0e0bc563d39d5e00af235bb8/dblp}, booktitle = {DBSec}, crossref = {conf/dbsec/2008}, editor = {Atluri, Vijay}, ee = {http://dl.ifip.org/db/conf/dbsec/dbsec2008/HannaLFD08.pdf}, interhash = {3e7dbff1a28bab55091ef15f58c902d6}, intrahash = {15302c1f0e0bc563d39d5e00af235bb8}, isbn = {978-3-540-70566-6}, keywords = {dblp}, pages = {268-282}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-03-13T12:39:18.000+0100}, title = {Towards Automation of Testing High-Level Security Properties.}, url = {http://dblp.uni-trier.de/db/conf/dbsec/dbsec2008.html#HannaLFD08}, volume = 5094, year = 2008 }