Lijun Yu, Robert B. France, Indrakshi Ray, Sudipto Ghosh. A Rigorous Approach to Uncovering Security Policy Violations in UML Designs. In 14th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2009, Potsdam, Germany, 2-4 June 2009. pages 126-135, IEEE Computer Society, 2009. [doi]
Abstract is missing.