1,062 research outputs found
Deciding insecurity for non-atomic keys
No full textColloque avec actes et comité de lecture. internationale.International audienceWe present an NP decision procedure for insecurity in the case of finite sessions and non-atomic encryption keys (and no fixed bound on the size of messages). We also explain that in order to build an attack with a fixed number of sessions the intruder needs only to forge messages of linear size, provided that they are represented as dags. This is joint work with Mathieu Turuani and is based on our paper presented in June 2001 at 14th CSFW. for more information: http://www.loria.fr/equipes/protheo/SOFTWARES/CASROL
Deciding insecurity for non-atomic keys
No full textColloque avec actes et comité de lecture. internationale.International audienceWe present an NP decision procedure for insecurity in the case of finite sessions and non-atomic encryption keys (and no fixed bound on the size of messages). We also explain that in order to build an attack with a fixed number of sessions the intruder needs only to forge messages of linear size, provided that they are represented as dags. This is joint work with Mathieu Turuani and is based on our paper presented in June 2001 at 14th CSFW. for more information: http://www.loria.fr/equipes/protheo/SOFTWARES/CASROL
Validation of the ASW Contract Signing Protocol
No full textInternational audienceWe consider the verification of contract signing protocol within a useful logical formalism, called the Protocol Composition Logic: here, a security proof is a combination of axioms and rules of the logic. We continue the case study of the verification of the ASW protocol by Turuani et al and propose an interactive proof of the fairness of ASW using the Isabelle theorem prover
The CL-Atse Protocol Analyser
No full textWe present a symbolic analysis of the ephemerizer's protocol by Radia Perlman, using the CL-Atse tool from the AVISPA's toolsuite. This protocol allows transmitting a data that will ``disappear'' (i.e. cannot be retrieved) after a certain time. We show that this protocol is secured for this property plus the secrecy of the data, but is trivially non secured for it's integrity. Therefore, we present two extensions of this protocol, one natural and probably already done in practice, the other one much less obvious. We shows that while the first extension guaranty the basic integrity property under certain conditions, the second one is much stronger and even allows faster computations
Analysis of Mathieu Equation Stable Solutions in the First Zone of Stability
No full textAbstractThe paper presents the results of a homogeneous Mathieu equation studies. Mathieu equation solutions are oscillations, modulated in amplitude and frequency. In the computational experiments we found dependences of the given oscillations on the ratio of the coefficients. These dependences are shown in graphs that can be used for an approximate estimation of the Mathieu equation solutions without integration
Pensar las escalas para pensar las luchas: Autor: Mathieu UHEL
No full textA través de un título sugerente, “pensar las escalas para pensar las luchas”, Mathieu Uhel entreteje la construcción teórico-crítica del concepto escala, generada por la geografía radical anglosajona de finales del siglo XX, con la necesidad/utilidad práctica de la escala para concienciar las luchas sociales. El artículo cumple un doble propósito: por un lado, delinear los elementos de lectura sobre el concepto escala; y, con ello, promover la atención de esta problemática en las luchas contemporáneas. En un primer apartado, Uhel ubica las discusiones académicas en torno a la escala, como herramienta metodológica útil para comprender la complejidad de las sociedades capitalistas; en el segundo apartado, el autor avanza la exposición en torno al contexto de la dimensión escalar del imperialismo capitalista; finalmente, el autor se centra en el rol de la actividad política a escala nacional en la tensa relación entre las imposiciones del capital y la lucha social.Por meio de um título sugestivo, “pensando escalas para pensar lutas”, Mathieu Uhel entrelaça a construção teórico-crítica do conceito de escala, gerado pela geografia radical anglo-saxônica do final do século XX, com a necessidade / utilidade prática escala para aumentar a consciência das lutas sociais. O artigo tem um duplo propósito: por um lado, delinear os elementos de leitura sobre o conceito de escala; e, com isso, promover atenção a esse problema nas lutas contemporâneas. Na primeira seção, Uhel localiza as discussões acadêmicas em torno da escala, como uma ferramenta metodológica útil para compreender a complexidade das sociedades capitalistas; na segunda seção, o autor avança a exposição em torno do contexto da dimensão escalar do imperialismo capitalista; por fim, o autor enfoca o papel da atividade política em escala nacional na tensa relação entre as imposições do capital e a luta social.Mathieu Uhel\u27s suggestive title, “Thinking about scales to think about struggles”, he interweaves the theoretical-critical construction of concept scale, generated by radical Anglo-Saxon geography in the late 20th century, with it´s practical utility to social struggles. The article serves two purposes: on the one hand, Uhel locates academic discussion around scale; and, with this, he promotes attention to this problem in contemporary struggles. In the first section, Uhel locates academic discussions around scale, as a useful methodological tool to understand the complexity of capitalist societies; in the second section, the author advances the argument around the context of the scalar dimension of capitalist imperialism; finally, the author focuses on the role of political activity on a national scale in the tense relationship between the impositions of capital and the social movement
Mathieu Ichou, Les Enfants d’immigrés à l’école
No full textIt is common to hear in the fields of educational and immigration sociology that on average, the children of immigrants do not perform as well in school as children of native-born parents. Mathieu Ichou offers an innovative sociological analysis on a topic that is heavily exploited by political and media discourse, and subject to much scientific controversy. The author takes distance from the homogenized vision of a “second generation” of students who have totally failed academically, and rep..
L'impatto dell'attività tintoria sull'ambiente. Firenze alla fine del Medioevo
No full textThe author aims to examine and categorize the range of dyeings materials used in the Florentine wool and silk textile industries in the late Middle Ages, focusing mainly on those produced within the regional space in order to evaluate the impact of the Florentine dyeing activity on the natural environment and the productive landscape of the Tuscan countryside. In particular, the author establishes a line of demarcation between cultivated and uncultivated resources in order to verify which constitutes an indication of the level of industrial development of medieval textile production. This further focuses on how the transition from the exploitation of wild resources to the exploitation of cultivated resources could reflect a greater degree of economic integration between the countryside and the city and contribute to the formation of a regional economic space
- …
