A UML-Based Methodology for Secure Systems: The Design Stage In Proceedings of the 3rd International Workshop on Security in Information Systems - Volume 0ICEIS, 207-216, 2005 , Miami, United States