Sound methods and effective tools for model-based security engineering with UML | IEEE Conference Publication | IEEE Xplore