|
- Session 1: Service Collaboration and Access Control
- Policy Composition based on Petri Nets
Hejiao Huang, Helene Kirchner (slides) - Verification of Access Control Policies for REA Business Processes
Vahid R. Karimi, Donald D. Cowan (slides)
- Towards the Verification of Services Collaboration
Yue Xie, Jing Liu, Dehui Du, Zuohua Ding (slides)
- Session 2: Service Security and Protection
- Towards Validating Security Protocol Deployment in the Wild
Luca Compagna, Ulrich Flegel, Volkmar Lotz (slides)
- On a Classification Approach for SOA Vulnerabilities
Lutz Lowis, Rafael Accorsi (slides)
- SN2K Attacks and Honest Services
Ashish Kundu
- PhishCatch – A Phishing Detection Tool
Weider Yu, Shruti Nargundkar, Nagapriya Tiruthani
|