Langage de Coordination Multi-Agent Sécurisé
Résumé
Cet article traite des questions de sécurité des systèmes multi-agents dans les langages de coordination orientés données. Ces langages se fondent sur un espace de données partagées par les agents et utilisées pour coordonner leurs activités. Nous étendons ces langages avec un mécanisme de sécurité fondé sur des conditions associées à toute donnée de l’espace partagé. Ces conditions sont définies avec une granularité fine et sont fondées sur les états des agents. Ceci est rendu possible grâce à deux idées principales : la considération au niveau du langage d’une abstraction des états des agents sous la forme de données et l’introduction d’un mécanisme d’interaction plus riche que les templates de l’état de l’art. Ce mécanisme de sécurité permet autant aux agents qu’au concepteur du middleware d’interdire les interactions indésirables.