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:
Software security
| ||||
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: | ||||
|
|
|
|
|