![](/img/cover-not-exists.png)
[IEEE 2009 14th IEEE International Conference on Engineering of Complex Computer Systems - Potsdam, Germany (2009.06.2-2009.06.4)] 2009 14th IEEE International Conference on Engineering of Complex Computer Systems - A Rigorous Approach to Uncovering Security Policy Violations in UML Designs
Yu, Lijun, France, Robert, Ray, Indrakshi, Ghosh, SudiptoYear:
2009
Language:
english
DOI:
10.1109/iceccs.2009.16
File:
PDF, 394 KB
english, 2009