http://www.lip6.fr/actualite/information.phphttp://www.lip6.fr/icones/logos/logo_4.gifhttp://www.lip6.fr/actualite/information.php8581Les dernières nouvelleswadm[@]lip6.fr (Jean-Luc Mounier)wadm[@]lip6.fr (Nicole Bohelay)Sun, 21 Mar 2010 00:00:00 GMTFri, 19 Mar 2010 15:45:19 GMT360frTextWrangler, TexMate, code maison PHP, MySQLCopyright 11/2004, 02/2006, 01/2008 Laboratoire d'Informatique de Paris 6http://cyber.law.harvard.edu/rss/rss.htmlhttp://www.lip6.fr/actualite/information-fiche.php?RECORD_KEY%28informations%29=id&id(informations)=45Résumé : New challenging issues need to be solved in the 21st century.  These problems cannot be solved successfully with the traditional methodology of science, based on reductionism. In this talk, Mario Tokoro proposes a definition and methodology for what he calls “open systems science”. Open systems, in contrast to closed systems, continuously interact with their outer world.  An open system usually consists of multiple subsystems with varying numbers, relations, and functions.  Such a system falls out of the direct scope of traditional science, but Mario Tokoro strongly urges scientists to tackle it. The methodology of open systems science adds the new perspective of management to the perspectives of analysis and synthesis.  Mario Tokoro gives some examples of open systems problems to which the methodology was successfully applied. Mario Tokoro engaged in the studies of object-oriented computing, parallel programming and the Internet at Keio University and at Sony CSL. He also assumed the leadership of software development and became responsible for technological development in Sony Headquarters. N.B. L'ouvrage collectif dirigé par le Prof. Tokoro "Open Systems Science", sera tout juste sorti des presseshttp://www.lip6.fr/liens/organise-fiche.php?RECORD_KEY%28organise%29=id&id(organise)=391Le département SOC reçoit deux professeurs de Tunisie. Exposés : Narjes Ben Rajeb : Décider la connaissance d'un intrus pour des théories de vote électronique (travaux réalisés en collaboration avec M. Berrima et V. Cortier) Les méthodes formelles jouent un rôle important dans l'analyse des protocoles de sécurité. Ces derniers requièrent souvent un raisonnement sur la connaissance d'un attaquant (intrus). Deux notions standards sont souvent considérées dans les approches formelles: la déductibilité et l'indistinguabilité. La première notion exprime si un attaquant peut connaître la valeur d'un secret, alors que la seconde permet de savoir si un attaquant peut observer une différence entre les exécutions d'un protocole avec différentes valeurs du secret. Plusieurs procédures de décision ont été proposées pour ces deux notions, mais aucune ne s'applique dans le contexte des protocoles de vote électronique qui font appel à des primitives cryptographiques spécifiques. Dans cet exposé, nous montrons que la déduction et l'indistinguabilité sont décidables en temps polynomial pour deux théories modélisant des protocoles de vote électronique : le protocole d'Okamoto et celui de Lee et al. Bibliographie : · M. Abadi and V. Cortier. Deciding knowledge in security protocols under equational theories.Theoretical Computer Science, 367(1-2):2-32, 2006. · M. Berrima, N. Ben Rajeb et V. Cortier. Deciding knowledge in security protocols under some e-voting protocols. Rapport de recherche inria-00375784, 2009. Riadh ROBBANA : Test des Systèmes de Durées (Tavaux réalisés avec Saddek Bensalem, Lotfi Majdoub, Moez Krichen et Stavros Tripakis [1,2, 4] ) Dans cet exposé, nous considérons le problème de test des systèmes à durées et plus précisément au test de conformité de ces systèmes. Les systèmes à durées constituent un extension des systèmes temporisés dans le sens où ils permettent de raisonner sur l'accumulation du temps écoulé durant certaines phases du système, cette accumulation de temps est appelée durée, alors que pour les systèmes temporisés il n'est possible de raisonner que sur des différences de temps séparant des paires d'événements. L'activité de test de conformité consiste à examiner si une implémentation sous test considérée comme un boîtier noir dont le testeur ne connaît pas son code est conforme à sa spécification. L'approche de test que nous considérons est basée sur le concept d'objectif de test. L'objectif de test peut être vu comme un ensemble de propriétés qui doivent être satisfaites par le système considéré, et faire du test par objectif, consiste à générer seulement les cas de test conformes à l'objectif considéré. Nous verrons à travers cet exposé, l'algorithme de test des systèmes à durées que nous proposons, qui combine la génération et l'exécution de test sur l'implémentation en respectant une relation de conformité inspirée de la relation de conformité ioco proposée par Tretmans [3]. [1] L.Majdoub and R.Robbana, "Automatic Test of Duration Systems with an approximation method", in STV'07 System Testing and Validation Workshop, Paris, December 2007. [2] S. Bensalem, M. Krichen, L. Majdoub, R. Robbana et S. Tripakis. "Test Generation for Duration Systems". Dans le workshop VECoS 2007, mai 2007, Alger, Algérie. [3] J. Tretmans, Testing Concurrent Systems : A Formal Approach, CONCUR'99 , 10th Int, conference on Concurrency Theory, LNCS 1664, pages 46-65, Springer -Verlag, 1999. [4] L. Majdoub and R. Robbana : Testing Duration Systems, Journal Européen des Systèmes Automatisés numéro spécial JESA les méthodes formelles temps-réel, Vol 42/9 2008, pp 1111- 1134..seminaire (at) asim.lip6.frFri, 19 Mar 2010 15:45:19 GMThttp://www.lip6.fr/liens/organise-fiche.php?RECORD_KEY%28organise%29=id&id(organise)=389Distributed version control systems (DVCS) constitute a recent trend in version control systems. They are quickly dominating the market, by changing the perception of version control system usage. DVCS brings a truly distributed system among developers, where each one maintains own repository and may synchronize directly with other developer's repository. Git is one of the most popular DVCS. It is an efficient, production-ready open source software used to maintain major projects like Linux kernel or Google Android. Its rich history representation, while being easy to understand at conceptual level, allows to offer users with extensive set of features that were hard or impossible to realize before. In this talk I will introduce the concepts of Git as a DVCS, by showing the way Git deals with concurrent development in a distributed environment. In particular, I will discuss the representation of development history as a graph of objects, showing its capabilities and applications. Protocols used to synchronize repositories will be presented, as well with techniques used to reduce network transfer and disk storage. Bio ----- Marek Zawirski was involved in Git development as a Google Summer of Code 2008 participant, implementing synchronization operation in JGit projectLamia.Benmouffok (at) lip6.frTue, 16 Mar 2010 11:20:09 GMThttp://www.lip6.fr/liens/organise-fiche.php?RECORD_KEY%28organise%29=id&id(organise)=390 Le problème abordé dans cet exposé est celui du maintien de la structure d'un graphe d'intervalles subissant des modifications au cours du temps. Ces modifications peuvent être le retrait ou l'ajout d'une arête ou d'un sommet (avec les arêtes définissant son voisinage). A chaque pas de l'algorithme, la donnée est constituée du graphe d'intervalles, donné avec un modèle d'intersection, et d'une modification élémentaire. La question posée est : le graphe est-il encore d'intervalles après cette modification? Si la réponse est positive, l'algorithme met à jour le modèle d'intersection, si elle est négative, il s'arrête. Nous montrons comment traiter chacune des quatre opérations élémentaires en temps O(n) en utilisant les PQ-arbres pour représenter l'ensemble des modèles possibles d'un graphe d'intervalles. Cela fournit une vue approfondie de la structure d'un graphe d'intervalle, et nous montrons au passage une équivalence parfaite entre le PQ-arbre d'un graphe d'intervalles et sa décomposition modulaire. Thu, 18 Mar 2010 15:58:50 GMT