Intentional Services Specification Enhancement with Scenario-Based Techniques to Analyze Security Threats | IEEE Conference Publication | IEEE Xplore