%0 Journal Article %1 journals/tse/GeorgABHRT10 %A Georg, Geri %A Anastasakis, Kyriakos %A Bordbar, Behzad %A Houmb, Siv Hilde %A Ray, Indrakshi %A Toahchoodee, Manachai %D 2010 %J IEEE Trans. Software Eng. %K %N 3 %P 338-356 %T Verification and Trade-Off Analysis of Security Properties in UML System Models. %U http://dblp.uni-trier.de/db/journals/tse/tse36.html#GeorgABHRT10 %V 36

@article{journals/tse/GeorgABHRT10, added-at = {2023-12-13T06:21:17.000+0100}, author = {Georg, Geri and Anastasakis, Kyriakos and Bordbar, Behzad and Houmb, Siv Hilde and Ray, Indrakshi and Toahchoodee, Manachai}, biburl = {https://www.bibsonomy.org/bibtex/2422251e30d5f84f736311f84a4d8c0fa/admin}, ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.2010.36}, interhash = {acde8a9c8d1db547a534d842b29c887a}, intrahash = {422251e30d5f84f736311f84a4d8c0fa}, journal = {IEEE Trans. Software Eng.}, keywords = {}, number = 3, pages = {338-356}, timestamp = {2023-12-13T06:21:17.000+0100}, title = {Verification and Trade-Off Analysis of Security Properties in UML System Models.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse36.html#GeorgABHRT10}, volume = 36, year = 2010 }