Passer au contenu principal

Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Graph
Search

Recherche

Afficher tous les résultats pour

Accueil

Séance de cours

Systèmes d'intervalles de correction formels

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (28)

Concevoir des systèmes d'intervalles officiellement corrects Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la conception de systèmes intermittents formellement corrects pour les plates-formes de calcul de bord extrême, mettant l'accent sur la justesse, la fiabilité et la sécurité.

Authentification 5G : sécurité et SUKI Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'évolution de l'authentification 5G, les vulnérabilités de la 4G et les améliorations de la sécurité 5G.

La séparation est tout ce dont vous avez besoin : Fondations pour la vérification modulaire Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les fondements de la vérification modulaire en utilisant la logique de séparation pour des programmes concomitants réalistes et discute des défis de l'état mutable partagé dans la concorde.

Protection des processus et exécution efficace Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'exécution des processus, la protection et les mécanismes d'exploitation efficaces pour des environnements multi-programmes sécurisés et fiables.

Correspondance logicielle: Test et vérification Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'exactitude des logiciels grâce à des tests, à la vérification, au flou de propriété et au contrôle dynamique du flux d'information.

WireGuard : protocole cryptographique pour les VPN Connectez-vous à Mediaspace pour regarder cette vidéo

Explore le protocole WireGuard, un remplacement VPN moderne pour IPsec et OpenVPN, en se concentrant sur les tunnels cryptés et les propriétés de sécurité.

Hoare Logic: Fondements et applications Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre Hoare Logic, ses fondements, ses applications et son importance dans la vérification des programmes.

Introduction aux systèmes d'exploitation Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les fondamentaux des systèmes d'exploitation, y compris les services de base, les appels de systèmes, les objectifs de conception et les défis.

Page 2 sur 2