Vérification d’assertions de sécurité et contrôle à l’aide de moniteurs

Le but de cette recherche est de développer un nouvel ensemble de procédures et d'outils pour tester la sécurité des systèmes informatiques en usage, qui font appel à une technique reposant sur un moniteur. Les moniteurs sont des systèmes qui observent et analysent le comportement d'autres systèmes. Le moniteur sera conçu comme un système externe, […]

Read More
Vérification et assurance des assertions de sécurité au moyen d’appareils de surveillance

L'objectif de ce projet est de mettre au point un nouvel ensemble de procédures et d'outils pour mettre à l'épreuve la sécurité de systèmes logiciels en fonctionnement au moyen d'une technique basée sur l'utilisation d’appareils de surveillance. Ces derniers sont des systèmes qui observent et analysent le comportement d'un second système. L’appareil de surveillance sera […]

Read More
Security Assertion Checking & Enforcement Using Monitors

The goal of this project is to develop a new set of procedures and tools for testing the security of running software systems using a technique based on the concept of monitor. Monitors are systems which observe and analyze the behavior of a second system. The monitor will be designed as an external system that […]

Read More