A Rigorous Approach to Uncovering Security Policy Violations in UML Designs.

Lijun Yu Robert B. France Indrakshi Ray Sudipto Ghosh A Rigorous Approach to Uncovering Security Policy Violations in UML Designs. 126-135 2009 ICECCS http://dx.doi.org/10.1109/ICECCS.2009.16 conf/iceccs/2009 db/conf/iceccs/iceccs2009.html#YuFRG09