%0 Conference Paper %1 conf/iceccs/YuFRG09 %A Yu, Lijun %A France, Robert B. %A Ray, Indrakshi %A Ghosh, Sudipto %B ICECCS %D 2009 %I IEEE Computer Society %K dblp %P 126-135 %T A Rigorous Approach to Uncovering Security Policy Violations in UML Designs. %U http://dblp.uni-trier.de/db/conf/iceccs/iceccs2009.html#YuFRG09 %@ 978-0-7695-3702-3

@inproceedings{conf/iceccs/YuFRG09, added-at = {2024-06-26T00:00:00.000+0200}, author = {Yu, Lijun and France, Robert B. and Ray, Indrakshi and Ghosh, Sudipto}, biburl = {https://www.bibsonomy.org/bibtex/2d022de1027de1ad63da69ba935fec8f8/dblp}, booktitle = {ICECCS}, crossref = {conf/iceccs/2009}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2009.16}, interhash = {7c3383e3a830ab7cdc32d1f03a3da497}, intrahash = {d022de1027de1ad63da69ba935fec8f8}, isbn = {978-0-7695-3702-3}, keywords = {dblp}, pages = {126-135}, publisher = {IEEE Computer Society}, timestamp = {2024-07-01T07:15:36.000+0200}, title = {A Rigorous Approach to Uncovering Security Policy Violations in UML Designs.}, url = {http://dblp.uni-trier.de/db/conf/iceccs/iceccs2009.html#YuFRG09}, year = 2009 }