RIARSS

Appel à communications pour la Revue d’Intelligence Artificielle : Numéro Spécial Logique et Sécurité


Submission deadline 10/21/2012
10/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 2012
Notification des Ă©valuations : 07 Janvier 2013
Remise de la version finale : Mars 2013
Mathieu.Jaume (at) nulllip6.fr