Catégorie: Séminaire
Auteur: Olivier Levillain
Date: avril 2014
Série: Mind your Languages

Il existe de nombreux langages informatiques, et les débats concernant leurs avantages et inconvénients respectifs sont nombreux, mais peu considèrent la question du développement d'applications sécurisées, c'est-à-dire robustes contre les actions d'agents malveillants. C'est l'optique abordée dans cette présentation, qui rebondit sur de nombreuses illustrations dans différents langages afin de pouvoir cerner ce que seraient les bonnes propriétés d'un langage vis-à-vis de la sécurité, mais aussi des recommandations de codage pertinentes ou encore des outils pertinents pour le développement et l'évaluation d'applications de sécurité.

Présenté lors du séminaire Méthodes formelles et langages pour le développement de logiciels fiables dans l'industrie à Paris, France en avril 2014

BibTeX Présentation