Home
Staff
Publications
Research Projects
Open Projects
CONCORDIA
SMART BEAR
THREAT-ARREST
IMPETUS
EVOTION
PGS
Closed Projects
JDEM
TOREADOR
PRACTICE
ARISTOTELE
CUMULUS
Security Horizons
GeoBI
KITE.it
ASSERT4SOA
BI Initiative
DESIRE Network
Network Management
SecureSCM
TEKNE
Dissemination
Books
Journals
Calls For Papers
Work with us
Awards
News
Teaching
Reti di Calcolatori
Soft. Arch. for Services
Business Process Engin.
SOA Security
Prot. Avanz. di Rete
Available Thesis
Announcements
Teaching
Lab
SEcure Service-oriented Architectures Research Lab
Home
Staff
Publications
Research Projects
Open Projects
CONCORDIA
SMART BEAR
THREAT-ARREST
IMPETUS
EVOTION
PGS
Closed Projects
JDEM
TOREADOR
PRACTICE
ARISTOTELE
CUMULUS
Security Horizons
GeoBI
KITE.it
ASSERT4SOA
BI Initiative
DESIRE Network
Network Management
SecureSCM
TEKNE
Dissemination
Books
Journals
Calls For Papers
Work with us
Awards
News
Teaching
Reti di Calcolatori
Soft. Arch. for Services
Business Process Engin.
SOA Security
Prot. Avanz. di Rete
Available Thesis
Announcements
Couse Description
Final Project
Course Notes & Contents
Examination texts
Examination Results
Books & Readings
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
Ernesto Damiani: Spatio-Temporal Tracking and Tracing
Marco Aimar (Opera21): BPM e SOA
Romaric Sagbo: STS-based Model for Web Service Performance Evaluation
Incoming Lesson
No Eventi
Calendar
Thesis
Ambiente collaborativo per il design e l’innovazione
Il lavoro si concentrerà sullo sviluppo di specifici componenti di …
Analisi di trend musicali sulla base delle conversazioni on-line
Lo studente dovrà progettare e sviluppare un prodotto software in …
Announcements
Platinum – Sole 24 Ore
ASSINTEL Webinar Series