Objectives introduction some notions and problems that concern the security of net applications and presentation of some formalisms and techniques to address them.
- Introduction to security
- Security models
- Cryptographic protocols: formal description, security properties, static and dynamic analysis techniques
- Language-based security: problems and properties, formalisms, methods and techniques, history-based security, web-services security and service orchestration.