Secure Software Design

This course presents the fundamental principles and practices for designing and implementing secure applications. It provides basic knowledge to achieve the design and analyses of secure software by testing and static analyses techniques.

At the end of the course students are able to plan the development of software projects having security aspects. They have skills on modeling software requirements by means of finite state machines and UML statecharts, on developing Java code from models and performing code testing.