Search Log in FR EN

Sécurité des infrastructures de virtualisation et Cloud ComputingVirtualisation et Cloud Computing (STI)

FISEFISA STI Semester 9 Option: Embedded and Cloud Systems Security Machine translation

Security of Virtualization and Cloud Computing Infrastructures

Teaching unit Virtualization and Cloud Computing · S09T_ 2SU2  |  EC Code S09O_2SU2-3
8ECTS (EU)
1Coefficient
21:20Hours

Séquencement

C TD C TD C TD C TD C TD C TD C TD C TD

Learning objectives

The aim of this module is to deepen understanding of the functioning of virtualization infrastructure and the technologies on which it is based in order to evaluate, design or ensure safety.

Prerequisites

ModuleTeaching unitSemester
C ProgrammingProgramming PrinciplesS5
NetworksIntroduction to Systems and NetworksS5
System ProgrammingSystem IntroductionS5
Computer SecurityNetwork and System AdministrationS6
System SecurityComputer SecurityS7
Network SecurityComputer SecurityS7
Linux System AdministrationNetwork and System AdministrationS6
Principles of Virtualization and Cloud ComputingVirtualization and Cloud ComputingS9
Containers and Cloud ComputingVirtualization and Cloud ComputingS9

Program

  • General introduction on cloud infrastructure and introduction of the module framework

  • Containers under Linux

  • Availability: UNIX concepts and cgroups

  • Insulation with namespaces

  • Linux Capabilities

  • seccomp-bpf

  • TD 1:

  • Containers with Docker

  • Using the kernel interface to create C-namespaces

  • systemd

  • Background

  • Operation and general use

  • Security features

  • Threat model, attack surface, potential and known vulnerability

  • TD 2:

  • Systemd & logd operation

  • Hardening of a unit systemd

  • Managing with cgroups

  • SELinux

  • Basic Security Concepts

  • Confidentiality / Integrity / Diposability

  • Extensions: Authenticity / Auditability / No repudiation

  • Principle of every privilege

  • Access control models

  • Discretionary Access Control (DAC)

  • Mandatory Access Control (MAC)

  • Basic concepts for SELinux

  • Concepts needed to write a SELinux policy

  • TD 3:

  • Operation of SELinux

  • Context and Boolean Management

  • Writing a Policy Module

  • User confidence

  • Security of container managers (Podman, Docker, etc.)

  • Operation of a container manager

  • Threat model, attack surface, potential and known vulnerability

  • Hardening of container managers

  • Safety and hardening of KVM

  • Operation of virtualization with KVM

  • Operation of virtual machine managers

  • Threat model, attack surface, potential and known vulnerability

  • Hardening of virtual machine managers and virtualization with KVM

  • TD 4:

  • Containment of containers with SELinux

  • Creation and hardening of a container image

  • Publication of a container image on a public register

  • Infrastructure security

  • OpenStack General Operation and Security

  • Operation and security of Kubernetes

  • Cloud provider security

  • Security-sensitive deployment models

  • Infrastructure as Code

  • Immutable Infrastructure

  • TD 5:

  • Introduction to Terraform (Infrastructre as Code)

  • Introduction to Fedora CoreOS (Immutable Infrastructure)

  • Kubernetes and OpenShift Security

Assessment

Final examination in the form of a QCM, carried out in progress, at the end of the intervention.

Project to be completed within 2-3 weeks, requiring the application of skills acquired during TDs:

  • Creation of a unit systemd taking into account security constraints
  • Creating a SELinux policy module for a demon-like application
  • Creation (Dockerfile) and execution of a container taking into account security constraints

References

Skills

3
Ref.VerbDescriptionLevel
C2_3implementImplementation of the security features proposed by container managers3
C2_3implementImplementation of systemd security features3
C2_6implementImplementation of the security features proposed by SELinux3

SecNumEdu Skills

SkillLecture hoursPractical hoursEntry levelExit level
Security of electronics and hardware architectures1001
Study of hardware and software architecture for the implementation of virtualized systems and security implications.
Operating system security91023
Security of containers, virtualization, container orchestrators, containment with SELinux, systemd. Linux only.