ISS9AD

Information systems risks and security

 

Duration : 42 hours

Credits : 2 ECTS 

Half term: S7

Person(s) in charge :

Guillaume Bonfante, Associate Professor, guillaume.bonfante@univ-lorraine.fr

Keywords :   Security, Confidentiality, Integrity, Cryptography, model-checking, time logic

Prerequisites : None

Objective : Security issues of information systems

 

Content:


Digital security

  • Cryptography
  • Access control
  • Protocols
  • Malwares

Software security

  • State of the art of the issue
  • Model checking
  • TLA
  • Automatized proof

Abilities: 

Levels

Description and operational verbs

Know

The risks of information systems, the different types of threats, the protection methods, their limits, the security issues, the links with security

Understand

The ordeals of security, the protection methods, the model checking, the TLA language, the link between modelling and security

Apply

Implement the methods linked to security issues

System Verification

Analyse

Threats, system security issues, entry ports, failures costs

Summarise

Information System models

Assess

 

Evaluations:

  • Written test
  • Continuous Control
  • Oral Report
  • Project
  • Written Report