Développement Logiciel sécurité

  • Voir la page en français

    In brief

  • Code : N9EN25C


Learn the following concepts:

    Static analysis
    Formal proofs for design of secure systems by construction


The objective of this course is to present a set of best practices for developing software in a secure manner. These best practices are illustrated with the OpenBSD system, which is known to have adopted rigorous development methods. A presentation of formal methods for vulnerability detection will also be given. will also be presented.

At the end of this course, the student should be able to understand the stakes of secure software development, to know the main methods and to be able to propose the use of these methods according to the software being developed, its function and the context in which it is used.




The National Institute of Electrical engineering, Electronics, Computer science,Fluid mechanics & Telecommunications and Networks

2, rue Charles Camichel - BP 7122
31071 Toulouse Cedex 7, France

+33 (0)5 34 32 20 00


  • Logo MENESR
  • Logo UTFTMP
  • Logo INP
  • Logo INPT
  • Logo Mines télécoms
  • Logo CTI
  • Logo CDEFI
  • Logo midisup