Aller au menu Aller au contenu
Une voie, plusieurs choix
Informatique et Mathématiques appliquées
Une voie, plusieurs choix

> Formation > Cursus ingénieur

Security for applications and services - 5MMMSSI7

A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail Partagez cet article Facebook Twitter Linked In Google+ Viadeo
  • Number of hours

    • Lectures : 15.0
    • Laboratory works : 3.0
    ECTS : 1.5

Goals

These lessons aims to acquire the knowledge and skills to develop secure applications. More precisely the targeted skills are the following ones :

  • knowledge about classical vulnerabilities, mitigations and characteristics of adequate tools/platforms
  • to be able to build security requirements, starting from risk analysis to protection mechanisms
  • be able to formalize and verify security properties and security requirements

These lessons are illustrated by several examples and exercises. Two laboratory labs are planned. The first one is dedicated to reverse activity in order to exploit a vulnerable code. The second one is dedicated to formalization and verification of cryptographic protocols.

Contact Marie-Laure POTET

Content

  • Access control model and implementation (DAC, MAC, RBAC)
  • Vulnerability and attack : programming languages and security features
  • Java : a secure platform
  • program analsis (high and low level)
  • security protocola and property verification
  • cryptography, properties and proofs
  • Certification and Common Criteria


Prerequisites

Knowledge in compilation and semantics

Tests

exam



N1=E1
N2=max(N1,E2)

Additional Information

Curriculum->Information Systems Engineering->Semester 5

A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail Partagez cet article Facebook Twitter Linked In Google+ Viadeo

Date of update June 18, 2017

Grenoble INP Institut d'ingénierie Univ. Grenoble Alpes