Atelier WOOPS 2012 sur la sécurité basée sur les réseaux de Pétri à Hambourg, en Allemagne
26 Septembre 2012 - 26 Septembre 2012
Allemagne
Un évènement intitulé «WOOPS 2012: Workshop on Petri net-based security» (Atelier WOOPS 2012 sur la sécurité basée sur les réseaux de Petri) aura lieu le 26 juin 2012 à Hambourg, en Allemagne.
Les réseaux de Petri sont un type de langage de modélisation mathématique utilisé dans les systèmes distribués. Ils contribuent par exemple au développement des propriétés de sécurité et de fiabilité dans des applications telles que les réseaux intelligents et les systèmes d'entreprise distribués.
Cependant, on ne sait pas encore clairement sur les techniques basées sur les réseaux de Petri peuvent fournir la précision nécessaire pour renforcer la confiance des concepteurs concernant la sécurité globale des nouvelles applications. L'évaluation de ces techniques en termes d'exactitude, de complexité de calcul et d'études de cas dans le monde réel aidera à promouvoir la recherche dans le domaine des réseaux de Petri.
L'évènement encouragera les échanges de nouvelles idées, de méthodologies, de techniques de spécification et d'analyses pour l'analyse (automatisée) des applications de prochaine génération. Les thèmes traités porteront sur:
- l'accès et les politiques de contrôle de l'utilisation;
- l'authentification et l'autorisation;
- l'informatique consciente du contexte;
- le contrôle du flux d'informations;
- la sécurité fondée sur le langage;
- les systèmes de pair à pair;
- les politiques et techniques de surveillance;
- les infrastructures de réseau et d'autorisation;
- la sécurité, la fiabilité et la résistance;
- la composition et la synthèse des services;
- les protocoles de sécurité;
- la confiance et la gestion de la confiance;
- le flux de travail et l'analyse de la gestion de ces flux.Pour de plus amples informations, consulter: http://www.telematik.uni-freiburg.de/woops(s’ouvre dans une nouvelle fenêtre)
Les réseaux de Petri sont un type de langage de modélisation mathématique utilisé dans les systèmes distribués. Ils contribuent par exemple au développement des propriétés de sécurité et de fiabilité dans des applications telles que les réseaux intelligents et les systèmes d'entreprise distribués.
Cependant, on ne sait pas encore clairement sur les techniques basées sur les réseaux de Petri peuvent fournir la précision nécessaire pour renforcer la confiance des concepteurs concernant la sécurité globale des nouvelles applications. L'évaluation de ces techniques en termes d'exactitude, de complexité de calcul et d'études de cas dans le monde réel aidera à promouvoir la recherche dans le domaine des réseaux de Petri.
L'évènement encouragera les échanges de nouvelles idées, de méthodologies, de techniques de spécification et d'analyses pour l'analyse (automatisée) des applications de prochaine génération. Les thèmes traités porteront sur:
- l'accès et les politiques de contrôle de l'utilisation;
- l'authentification et l'autorisation;
- l'informatique consciente du contexte;
- le contrôle du flux d'informations;
- la sécurité fondée sur le langage;
- les systèmes de pair à pair;
- les politiques et techniques de surveillance;
- les infrastructures de réseau et d'autorisation;
- la sécurité, la fiabilité et la résistance;
- la composition et la synthèse des services;
- les protocoles de sécurité;
- la confiance et la gestion de la confiance;
- le flux de travail et l'analyse de la gestion de ces flux.Pour de plus amples informations, consulter: http://www.telematik.uni-freiburg.de/woops(s’ouvre dans une nouvelle fenêtre)