Septième atelier sur la cryptographie informatique et formelle à Paris, en France
30 Juin 2011 - 30 Juin 2011
France
Le septième atelier sur la cryptographie informatique et formelle se déroulera le 30 juin 2011 à Paris, en France.
Depuis 1980, deux approches ont été développées pour l'analyse de protocoles de sécurité et des systèmes s'appuyant sur la cryptographie. L'une des approches est basée sur un modèle informatique qui considère les questions de complexité informatique et de probabilité. L'autre approche s'appuie sur un modèle symbolique d'exécution de protocoles dans lesquels les messages sont modélisés en termes algébriques ou cryptographiques traitées comme des boîtes noires. L'une de ces deux approches comporte pourtant des problèmes et difficultés analytiques.
L'évènement se concentrera sur des approches et des résultats de projet qui associeront et s'appuieront sur une analyse symbolique et de protocoles informatiques. L'un des ensembles de résultats établit des théorèmes de correspondances entre les deux modèles, montrant en effet que pour une certaine classe de protocoles et de propriétés, la sécurité du modèle symbolique implique la sécurité du modèle informatique. Dans d'autres travaux, les chercheurs ont utilisé des techniques de langages telles que les calculs de processus, les systèmes de types et la logique de protocoles pour raisonner directement sur le modèle informatique. Des travaux étudient actuellement les moyens de mécaniser les démonstrations algorithmiquement valides de mécanismes cryptographiques.
L'atelier se déroulera en coordination avec le colloque Computer Security Foundations Symposium 2011.Pour de plus amples informations, consulter: http://www.cs.ut.ee/~unruh/fcc2011/(s’ouvre dans une nouvelle fenêtre)
Depuis 1980, deux approches ont été développées pour l'analyse de protocoles de sécurité et des systèmes s'appuyant sur la cryptographie. L'une des approches est basée sur un modèle informatique qui considère les questions de complexité informatique et de probabilité. L'autre approche s'appuie sur un modèle symbolique d'exécution de protocoles dans lesquels les messages sont modélisés en termes algébriques ou cryptographiques traitées comme des boîtes noires. L'une de ces deux approches comporte pourtant des problèmes et difficultés analytiques.
L'évènement se concentrera sur des approches et des résultats de projet qui associeront et s'appuieront sur une analyse symbolique et de protocoles informatiques. L'un des ensembles de résultats établit des théorèmes de correspondances entre les deux modèles, montrant en effet que pour une certaine classe de protocoles et de propriétés, la sécurité du modèle symbolique implique la sécurité du modèle informatique. Dans d'autres travaux, les chercheurs ont utilisé des techniques de langages telles que les calculs de processus, les systèmes de types et la logique de protocoles pour raisonner directement sur le modèle informatique. Des travaux étudient actuellement les moyens de mécaniser les démonstrations algorithmiquement valides de mécanismes cryptographiques.
L'atelier se déroulera en coordination avec le colloque Computer Security Foundations Symposium 2011.Pour de plus amples informations, consulter: http://www.cs.ut.ee/~unruh/fcc2011/(s’ouvre dans une nouvelle fenêtre)