Course Notes & Contents
- 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
- OAuth 2.0 from scratch
- OAuth 2.0 Tutorial
- 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
- Simple BPEL Programming [Link to Netbeans 6.1] [Netbeans Example]
- WS-Policy Example: Aritmetica Sicura [Eclipse Project]
Seminars
Università degli Studi di Milano
Via Celoria 18, 20133 Milano MI - Italy
+39 02 503 16333 - sesarlab@unimi.it