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

Lijun Yu, Robert B. France, Indrakshi Ray, Sudipto Ghosh

Browse the full ICECCS paper archive.