Cloud security requirements analysis and security policy development using a high-order object-oriented modeling technique