Giuseppe Di Modica, Orazio Tomarchio: Semantic Security Policy Matching in Service Oriented Architectures. SERVICES 2011: 399-405