Barbara Fila-Kordy
Mots clés
FR |
EN
Cryptographie
Systèmes informatiques -- Mesures de sûreté
Sécurité des communications
Sécurité logicielle
Inférence d'automates
Tls
Ssh
Protocole de Sécurité
Informatique
XML (langage de balisage)
XPath (langage de programmation)
Données -- Compression (télécommunications)
Ordinateurs -- Accès -- Contrôle
Analyse des risques
Arbres d'attaque
Arbres d'attaque et de défense
Évaluation du risque
Méthodes formelles (informatique)
Cybersécurité
Vérification