%0 Conference Paper %1 conf/safeconfig/AlsalehAE12 %A Alsaleh, Mohammed Noraden %A Al-Shaer, Ehab %A El-Atawy, Adel %B SafeConfig %D 2012 %E Al-Shaer, Ehab %E Ou, Xinming %E Xie, Geoffrey G. %I Springer %K dblp %P 3-19 %T Towards a Unified Modeling and Verification of Network and System Security Configurations. %U http://dblp.uni-trier.de/db/conf/safeconfig/safeconfig2012.html#AlsalehAE12 %@ 978-3-319-01433-3

@inproceedings{conf/safeconfig/AlsalehAE12, added-at = {2014-02-06T00:00:00.000+0100}, author = {Alsaleh, Mohammed Noraden and Al-Shaer, Ehab and El-Atawy, Adel}, biburl = {https://www.bibsonomy.org/bibtex/251efd296db114bf9d80aefed201dd20f/dblp}, booktitle = {SafeConfig}, crossref = {conf/safeconfig/2012}, editor = {Al-Shaer, Ehab and Ou, Xinming and Xie, Geoffrey G.}, ee = {http://dx.doi.org/10.1007/978-3-319-01433-3_1}, interhash = {23aad7ccb04ab4034bbc0ce72fca9b10}, intrahash = {51efd296db114bf9d80aefed201dd20f}, isbn = {978-3-319-01433-3}, keywords = {dblp}, pages = {3-19}, publisher = {Springer}, timestamp = {2015-06-18T15:26:30.000+0200}, title = {Towards a Unified Modeling and Verification of Network and System Security Configurations.}, url = {http://dblp.uni-trier.de/db/conf/safeconfig/safeconfig2012.html#AlsalehAE12}, year = 2012 }