Cryptographic protocols are crucial for securing electronic transactions. The confidence in these protocols can be increased by the formal analysis of their security properties. Although many works have been dedicated to standard protocols like Needham-Schroder very few address the more challenging class of group protocols. We present a synchronous model for group protocols, that generalizes st...

CIRANO Le CIRANO est un organisme sans but lucratif constitué en vertu de la Loi des compagnies du Québec. Le financement de son infrastructure et de ses activités de recherche provient des cotisations de ses organisations-membres, d'une subvention d'infrastructure du Ministère du Développement économique et régional et de la Recherche, de même que des subventions et mandats obtenus par ses équ...

ce n’est pas si surprenant que l’on trouve dans le textile historique de l’œuvre la plus estimée de malraux, la condition humaine, les traces des instances philosophiques. ce roman dépasse le dogmatisme d’un soi-disant roman de témoignage. il s’oriente vers les catégories plus souples et moins restreintes tel que le roman philosophique, alors même que l’apparence n’en dirait pas beaucoup sur l’...

CIRANO Le CIRANO est un organisme sans but lucratif constitué en vertu de la Loi des compagnies du Québec. Le financement de son infrastructure et de ses activités de recherche provient des cotisations de ses organisations-membres, d'une subvention d'infrastructure du Ministère du Développement économique et régional et de la Recherche, de même que des subventions et mandats obtenus par ses équ...

RÉSUMÉ. Cet article s’inscrit dans le cadre de la recherche d’images dans des documents XML. Ce type de recherche peut utiliser des informations sémantiques en plus des informations visuelles de l’image. Nous nous proposons ici d’explorer des pistes pour la recherche de ces informations sémantiques au sein des documents XML, en supposant qu’une image peut être présentée par les autres éléments ...

la compréhension des textes à un rythme convenable est la compétence la plus fondamentale parmi les habiletés langagières. les apprenants d’une langue étrangère ou seconde peuvent, en insistant ainsi sur la lecture, réaliser de grands progrès dans tous les autres domaines académiques, surtout dans un contexte formel. plusieurs facteurs sont susceptibles d’affecter la compréhension de texte ...

Nous considérons l’anneau des invariants de n points ordonnés sur la droite projective. L’espace (P)//PGL2 est peut-être le premier exemple intéressant d’un quotient GIT. La construction dépend du choix des poids pour les n points. En 1894, Kempe [K] a introduit un ensemble de générateurs (au moins dans le cas où tous les poids sont constants egaux à 1). Ici, nous décrivons les rélations entre ...

Résumé Les facteurs de risque majeurs pour les cancers de la cavité orale sont la consommation d'alcool et le tabac mais une composante héréditaire a également été évoquée. L’observation que nous vous présentons ci-dessous a pour objectif d’illustrer cette composante parmi les autres facteurs de risque plus connus. C’est l’histoire de trois frères germains ayant présenté chacun un cancer de la ...

To every matroid, we associate a class in the K-theory of the Grassmannian. We study this class using the method of equivariant localization. In particular, we provide a geometric interpretation of the Tutte polynomial. We also extend results of the second author concerning the behavior of such classes under direct sum, series and parallel connection and two-sum; these results were previously o...