Formal security analysis of registration protocols for interactive systems: a methodology and a case of study

In this work we present and formally analyze CHAT-SRP (CHAos based Tickets-Secure Registration Protocol), a protocol to provide interactive and collaborative platforms with a cryptographically robust solution to classical security issues. Namely, we focus on the secrecy and authenticity properties while keeping a high usability. In this sense, users are forced to blindly trust the system administrators and developers. Moreover, as far as we know, the use of formal methodologies for the verification of security properties of communication protocols isn't yet a common practice. We propose here a methodology to fill this gap, i.e., to analyse both the security of the proposed protocol and the pertinence of the underlying premises. In this concern, we propose the definition and formal evaluation of a protocol for the distribution of digital identities. Once distributed, these identities can be used to verify integrity and source of information. We base our security analysis on tools for automatic verification of security protocols widely accepted by the scientific community, and on the principles they are based upon. In addition, it is assumed perfect cryptographic primitives in order to focus the analysis on the exchange of protocol messages. The main property of our protocol is the incorporation of tickets, created using digests of chaos based nonces (numbers used only once) and users' personal data. Combined with a multichannel authentication scheme with some previous knowledge, these tickets provide security during the whole protocol by univocally linking each registering user with a single request. [..]Comment: 32 pages, 7 figures, 8 listings, 1 tabl

Rhetoric and Low now

Based on the proposals of Perelman and his New Rhetoric , the author discusses the importance of Rhetoric in legal argumentation, particularly in democratic republics where oral proceedings have been instituted, and argues that rhetoric should become an instrument to the search for fair resolutions.Basándose en las propuestas de Perelman y su nueva retórica, el autor analiza la importancia de la retórica en la argumentación jurídica, particularmente en las repúblicas democráticas donde se han instituido los juicios orales, y argumenta a favor de que la retórica vuelva a ser un instrumento para la búsqueda de soluciones justas en el derecho

Leadership in a Changing Agriculture in UK

The recent reform of the Common Agricultural Policy in Europe has had significant implications for Leadership in the UK. The move from economic support for food production, to support for environmental deliveries has created the need for a new culture where leaders are very conscious that alliances leading to added political strength and financial viability are now likely to be far more effective than charismatic leadership from the front and top of organizations. The paper will go on to develop the theme of leadership strategy by drawing on many of the writings of the leadership academics and gather experts opinions and ideas regarding farmer's culture and its implications for leadership. The paper concludes that the problem for the agricultural industry at the moment is that so many changes are occurring that a consistent future is very hard to define. Therefore, agricultural leaders now have to articulate the new policies as they evolve on an almost daily basis. The need is for clear and informed leaders who engage widely across society.Leadership, UK Agriculture, Leader's characteristics, Agricultural and Food Policy,

Ad Hoc Tools for Urban Renewal: The San Borja Remodeling in Santiago, Chile, 1967-1976

Conceived, developed, and built in Santiago de Chile between 1967 and 1976, the San Borja Remodeling project was the flagship of the first years of the Urban Improvement Corporation -Corporación de Mejoramiento Urbano, CORMU-, a State agency created in 1966 that would become an active actor in the renovation of Chilean cities. Despite the project's significance, not only in terms of its scale and location in the centre of the Chilean capital city but also for having pushed the capacities of both the State and private companies, previous research has not addressed the full variety of tools brought together to carry out a project of this magnitude and ambition. This article describes the complexities of the San Borja project in its development. It argues that the ambition to renovate a central area in the capital city led its designers to shape and rely on ad hoc design and legal tools to make it possible. Rather than imposing a totalizing design for the city, there was a pragmatic approach aimed at developing an incremental urban renewal plan led by the State, far from both centralized planning and neoliberal urbanism