- To ensure fiability and security throughout the specification, the design, the implementation and the operation of distributed softwares
Main themes
- Threats that could affect fiability and security of computer systems, especially distributed systems
- Vulnerabilty of computer softwares and attack types
- Indenfication of threats: hypostheses founding indentification, identificatin methods and applications
- Models of definition of access rights : multilevel, multilateral, role-based models, ...
- Security of operating systems
- Methodologies of secure software development
- Case study; Development and validation of a secure application
Other information (prerequisite, evaluation (assessment methods), course materials recommended readings, ...)
Prerequisites:
- To master programming in a high level language
- To understand the role and architecture of operation systems
Reference book
- Gary McGraw, Software Security: Building Security In, Addison Wesley, 2006