%0 Conference Paper %1 conf/hase/MaarabaniCHZ11 %A Maarabani, Mazen El %A Cavalli, Ana R. %A Hwang, Iksoon %A Zaïdi, Fatiha %B HASE %D 2011 %E Khoshgoftaar, Taghi M. %I IEEE Computer Society %K dblp %P 376-381 %T Verification of Interoperability Security Policies by Model Checking. %U http://dblp.uni-trier.de/db/conf/hase/hase2011.html#MaarabaniCHZ11 %@ 978-1-4673-0107-7

@inproceedings{conf/hase/MaarabaniCHZ11, added-at = {2023-03-24T00:00:00.000+0100}, author = {Maarabani, Mazen El and Cavalli, Ana R. and Hwang, Iksoon and Zaïdi, Fatiha}, biburl = {https://www.bibsonomy.org/bibtex/2b2527d0ec9234d576383f7ae1bd46437/dblp}, booktitle = {HASE}, crossref = {conf/hase/2011}, editor = {Khoshgoftaar, Taghi M.}, ee = {https://doi.ieeecomputersociety.org/10.1109/HASE.2011.17}, interhash = {69cfd977709da2217049ad1c85142bc2}, intrahash = {b2527d0ec9234d576383f7ae1bd46437}, isbn = {978-1-4673-0107-7}, keywords = {dblp}, pages = {376-381}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T18:23:46.000+0200}, title = {Verification of Interoperability Security Policies by Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/hase/hase2011.html#MaarabaniCHZ11}, year = 2011 }