Pourquoi ?
sûreté
confidentialité
intégrité
disponibilité
fiabilité
vulnérabilités
architecture ouverte
besoin d'interaction
multiples autorités administratives
Attaques
ingénierie sociale
employés mal intentionnés
anciens employés qui ont gardé un accès
mots de passe inadaptés
mauvaise sécurité physique
mauvaise administration système
utilisateurs
attaques cryptographiques
force brute
générateurs de nombres aléatoires
failles dans les algos
rejeu
accès aux clés en clair
en mémoire
cheval de Troie
vol de session
déni de service
Problèmes
interopérabilité
sécuriser toute communication
transparence
doit-elle inclure la sécurité ?
quels sont ses effets ?
multiples domaines
authentification
sécurisation transferts
protocole d'accès
canal caché
inévitable
en limiter la bande passante
classification
stockage
comportemental
réseau
analyse de trafic
prévention
chiffrement
remplissage
routage
ordonnancement
Architecture système
2 approches
couche supplémentaire
inclusion dans système
besoin d'un noyau sécurisé
séparation
politiques
mécanismes
pour
uniformité
flexibilité
modèle client/serveur
3 lignes de défense
Authentification
problème central
tout doit être authentifié
identités
capacités
messages
intégrité
non répudiation
identification par possession d'un secret
clé
non reproductible
protégé
cryptographie
clé secrète
sécurité repose sur la clé
taille suffisante
pour résister à attaques par force brute
basé sur
permutations
substitutions
avantages
rapidité
points faibles
difficulté de portabilité de l'identité
clé secrète doit être connue du serveur
AES
standard US 2001
algo Rijndael
qualités
grande bande passante
implémentation matérielle
flexibilité
grand degré de parallélisme
clé publique
résoud pb échange de clés
basé sur
fonction difficilement inversible
couple de clés
clé publique Kp
clé secrète Ks
D_Ks(C_Kp(M))=M
avantages
identité portable
clé secrète jamais révélée
possibilité de signatures
points faibles
lenteur
RSA
Rivest, Shamir et Adelman en 1978
basé sur difficulté de factorisation
fonctions de hachage
à sens unique
sans collision
rapides
exemples
SHA
MD5
SHA-3
coucours international organisé par NIST
51 soumissions
en reste 14
résultat prévu en 2012
protocoles
pas très difficile
chaque principal doit vérifier
authenticité
intégrité
fraicheur
nonce
estampilles temporelles
exemple
Kerberos
Autorisation
discrétionnaire
séparation
utilisateurs
données
limitations d'accès
individuelles
matrice de contrôle d'accès
pour des politiques simples
fonction : (sujet, objet) -> booléen
représentation matricielle
grande
creuse
compactification par regroupement
sujets
objets
structuration
logique
hiérarchique
implémentation
liste de contrôle d'accès
liste de capacités
obligatoire
contrôle systématique
pour le contrôle de flot
modèles
treillis
ensemble fini
de classes de sécurité
partiellement ordonné
avec
borne sup
borne inf
sécurité multi-niveaux
modèle Bell-LaPadula
confidentialité
axiomes
propriété de sécurité simple
lire de l'information de o par s
SC(s) >= SC(o)
propriété *
écrire de l'information dans o par s
SC(o) >= SC(s)
modèle Biba
intégrité
axiomes
propriété de sécurité simple
écrire de l'information dans o par s
SC(s) >= SC(o)
propriété *
lire de l'information de o par s
SC(o) >= SC(s)
politiques complexes
avec état
séquentialité
exception de transitivité
exception d'agrégation
exception de séparation
modélisation par machine à état
mandataire (proxy)
délégation d'autorité
vérifiée par certificat
propriétés
authenticité et intégrité
additivité et suffisence
révocabilité et durée de vie
audit
dernier ressort quand les méthodes formelles ne suffisent plus
domaine d'application
canaux cachés
faciles à corriger
difficiles à détecter
attaques de déni de service
faciles à détecter
difficiles à contrer
classification
méthodes statistiques
hors ligne
gourmandes en ressources
intelligence artificielle
grand potentiel
gourmande en ressources
langages formels
analyse syntaxique
de motifs d'attaque