• Service Oriented Architectures: Course Introduction
• Introduction to SOAP
• SOA Security Concepts
• SOAP Message Structure
• Web service: Interface definition (Part I)
• Web service: Interface definition (Part II)
• Directory Service (Part I)
• Directory Service (Part II)
• Process Languages (Part I)
• Process Languages (Part II)
• BPEL Introduction
• Programming Language
• Introduction to Web Service Security
• Auxiliary Protocols
• SOA with REST (Part I)
• SOA with REST (Part II)
• A Practical SOA Example
• Advanced Web Services
• Web Services and Service Oriented Architectures
• Software Engineering Aspects
• WS-Policy
• REST Services Security
• Enterprise Security Patterns for RESTful Web Services [link]
• XACML
• Designing Distributed Interactions
• Process Languages
• Security in Process Calculi
• Web Services Security
• Samoa: Formal Tools for Securing Web Services
• Business Process Security
• Modeling Web Services for Test Case Generation
• HLPSL Tutorial
• Tutorial Hands-On Examples OFMC
• AVISPA: example – exercise
• STS: schema – exercise
• Example OAuth Exchange
• The Problem of Handling Multiple Headers in WS-Security Implementations
• Cloud-based Enterprise Identity Management using OAuth
• Internet Security Protocols: Specification and Modeling
• Cloud Virtualization
• Introduction to F#
• Cryptographic and Probabilistic Programming
• Approaches to Formal Verification of Security Protocols

Lab Exercise

• WS-Security Examples [Download the Lab Package]
• Simple BPEL Programming [Link to Netbeans 6.1] [Netbeans Example]
• WS-Policy Example: Aritmetica Sicura [Eclipse Project]

Seminars

• Marco Aimar (Opera21): BPM e SOA
• Romaric Sagbo: STS-based Model for Web Service Performance Evaluation