RIA
Appel à communications pour la Revue d’Intelligence Artificielle : Numéro Spécial Logique et Sécurité
Termine ultimo di consegna 10/21/201210/21/2012
Éditeurs: Yannick Chevalier (UPS, IRIT) et Mathieu Jaume (UPMC, LIP6)
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Ă©.
Parmi les thèmes particuliers sur lesquels nous sollicitons des contributions figurent (liste non-exhaustive):- 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é
Les auteurs sont invités à soumettre des articles d’environ 25 pages à adresser à Mathieu.Jaume@lip6.fr et Yannick.Chevalier@irit.fr en respectant le format http://ria.revuesonline.com/appel.jsp.
Dates importantes
Soumission des articles : 21 octobre 2012Notification des Ă©valuations : 07 Janvier 2013
Remise de la version finale : Mars 2013
Mathieu.Jaume (at) nulllip6.fr