Avec l’essor d’Internet, l’apparition d’objets communicants (téléphones, tablettes, RFID, etc.), et la mise en place de systèmes d’information complexes et connectés en réseaux, les personnes et organisations ont aujourd’hui à relever un défi difficile : rendre l’information accessible et permettre sa dissémination aux agents de confiance afin de répondre à un ensemble de besoins, tout en garantissant, d’une part, l’intégrité de l’information à laquelle il est possible d’accéder, et d’autre part, la confidentialité de l’information, afin de protéger les données sensibles. Les enjeux posés sont cruciaux lorsqu’il s’agit de protéger la vie privée des personnes (données médicales, etc.) ou des organisations (vote électronique, etc.) et d’assurer le bon fonctionnement de systèmes critiques (ferroviaire, avionique, etc.). De nombreux travaux abordant cette problématique existent aujourd’hui et offrent un large panel de modèles, techniques et outils. Toutefois, la maîtrise d’un nombre toujours croissant d’objets et de systèmes communicants nécessite désormais l’utilisation de méthodes formelles, soutenues par une rigueur mathématique. Le principal atout de ces méthodes est leur imperméabilité à toute ambiguı̈té lors de la spécification et le développement de systèmes critiques, mais aussi la possibilité de démontrer la cohérence d’un ensemble de spécifications de sécurité ou encore l’adéquation d’un développement aux exigences de sécurité de la spécification. De fait, les normes de développement utilisées lors de l’évaluation de systèmes critiques requièrent l’utilisation de méthodes formelles. La mise en oeuvre de méthodes formelles repose, entre autres, sur des modèles logiques de la confiance dans les systèmes multi-agents, sur des spécifications sémantiques, sur des techniques d’analyse statique, ou encore sur des outils de vérification. Toutes ces approches reposent sur la logique qui s’est progressivement révélée être un auxiliaire indispensable pour aborder des problèmes de sécurité. L’objectif de ce numéro spécial est de rassembler des contributions francophones sur des thèmes aussi larges que possible liant la logique et la sécurité.

• Authentification
• Confiance
• Contrôle d’accès
• Détection d’intrusion
• Flots d’information
• Langages de programmation
• Politiques de sécurité
• Protocoles de sécurité

Dates importantes