Secure architectures for pairing based public key cryptography

Along with the growing demand for cryptosystems in systems ranging from large servers to mobile devices, suitable cryptogrophic protocols for use under certain constraints are becoming more and more important. Constraints such as calculation time, area, efficiency and security, must be considered by the designer. Elliptic curves, since their introduction to public key cryptography in 1985 have challenged established public key and signature generation schemes such as RSA, offering more security per bit. Amongst Elliptic curve based systems, pairing based cryptographies are thoroughly researched and can be used in many public key protocols such as identity based schemes. For hardware implementions of pairing based protocols, all components which calculate operations over Elliptic curves can be considered. Designers of the pairing algorithms must choose calculation blocks and arrange the basic operations carefully so that the implementation can meet the constraints of time and hardware resource area. This thesis deals with different hardware architectures to accelerate the pairing based cryptosystems in the field of characteristic two. Using different top-level architectures the hardware efficiency of operations that run at different times is first considered in this thesis. Security is another important aspect of pairing based cryptography to be considered in practically Side Channel Analysis (SCA) attacks. The naively implemented hardware accelerators for pairing based cryptographies can be vulnerable when taking the physical analysis attacks into consideration. This thesis considered the weaknesses in pairing based public key cryptography and addresses the particular calculations in the systems that are insecure. In this case, countermeasures should be applied to protect the weak link of the implementation to improve and perfect the pairing based algorithms. Some important rules that the designers must obey to improve the security of the cryptosystems are proposed. According to these rules, three countermeasures that protect the pairing based cryptosystems against SCA attacks are applied. The implementations of the countermeasures are presented and their performances are investigated.

Practical programming for static average-case analysis: the MOQA investigation

This work considers the static calculation of a program’s average-case time. The number of systems that currently tackle this research problem is quite small due to the difficulties inherent in average-case analysis. While each of these systems make a pertinent contribution, and are individually discussed in this work, only one of them forms the basis of this research. That particular system is known as MOQA. The MOQA system consists of the MOQA language and the MOQA static analysis tool. Its technique for statically determining average-case behaviour centres on maintaining strict control over both the data structure type and the labeling distribution. This research develops and evaluates the MOQA language implementation, and adds to the functions already available in this language. Furthermore, the theory that backs MOQA is generalised and the range of data structures for which the MOQA static analysis tool can determine average-case behaviour is increased. Also, some of the MOQA applications and extensions suggested in other works are logically examined here. For example, the accuracy of classifying the MOQA language as reversible is investigated, along with the feasibility of incorporating duplicate labels into the MOQA theory. Finally, the analyses that take place during the course of this research reveal some of the MOQA strengths and weaknesses. This thesis aims to be pragmatic when evaluating the current MOQA theory, the advancements set forth in the following work and the benefits of MOQA when compared to similar systems. Succinctly, this work’s significant expansion of the MOQA theory is accompanied by a realistic assessment of MOQA’s accomplishments and a serious deliberation of the opportunities available to MOQA in the future.

Profiling side-channel attacks on cryptographic algorithms

Traditionally, attacks on cryptographic algorithms looked for mathematical weaknesses in the underlying structure of a cipher. Side-channel attacks, however, look to extract secret key information based on the leakage from the device on which the cipher is implemented, be it smart-card, microprocessor, dedicated hardware or personal computer. Attacks based on the power consumption, electromagnetic emanations and execution time have all been practically demonstrated on a range of devices to reveal partial secret-key information from which the full key can be reconstructed. The focus of this thesis is power analysis, more specifically a class of attacks known as profiling attacks. These attacks assume a potential attacker has access to, or can control, an identical device to that which is under attack, which allows him to profile the power consumption of operations or data flow during encryption. This assumes a stronger adversary than traditional non-profiling attacks such as differential or correlation power analysis, however the ability to model a device allows templates to be used post-profiling to extract key information from many different target devices using the power consumption of very few encryptions. This allows an adversary to overcome protocols intended to prevent secret key recovery by restricting the number of available traces. In this thesis a detailed investigation of template attacks is conducted, along with how the selection of various attack parameters practically affect the efficiency of the secret key recovery, as well as examining the underlying assumption of profiling attacks in that the power consumption of one device can be used to extract secret keys from another. Trace only attacks, where the corresponding plaintext or ciphertext data is unavailable, are then investigated against both symmetric and asymmetric algorithms with the goal of key recovery from a single trace. This allows an adversary to bypass many of the currently proposed countermeasures, particularly in the asymmetric domain. An investigation into machine-learning methods for side-channel analysis as an alternative to template or stochastic methods is also conducted, with support vector machines, logistic regression and neural networks investigated from a side-channel viewpoint. Both binary and multi-class classification attack scenarios are examined in order to explore the relative strengths of each algorithm. Finally these machine-learning based alternatives are empirically compared with template attacks, with their respective merits examined with regards to attack efficiency.

A framework for revising preservice curriculum for nonphysician clinicians: The mozambique experience.

Mozambique, with approximately 0.4 physicians and 4.1 nurses per 10,000 people, has one of the lowest ratios of health care providers to population in the world. To rapidly scale up health care coverage, the Mozambique Ministry of Health has pushed for greater investment in training nonphysician clinicians, Tιcnicos de Medicina (TM). Based on identified gaps in TM clinical performance, the Ministry of Health requested technical assistance from the International Training and Education Center for Health (I-TECH) to revise the two-and-a-half-year preservice curriculum. A six-step process was used to revise the curriculum: (i) Conducting a task analysis, (ii) defining a new curriculum approach and selecting an integrated model of subject and competency-based education, (iii) revising and restructuring the 30-month course schedule to emphasize clinical skills, (iv) developing a detailed syllabus for each course, (v) developing content for each lesson, and (vi) evaluating implementation and integrating feedback for ongoing improvement. In May 2010, the Mozambique Minister of Health approved the revised curriculum, which is currently being implemented in 10 training institutions around the country. Key lessons learned: (i) Detailed assessment of training institutions' strengths and weaknesses should inform curriculum revision. (ii) Establishing a Technical Working Group with respected and motivated clinicians is key to promoting local buy-in and ownership. (iii) Providing ready-to-use didactic material helps to address some challenges commonly found in resource-limited settings. (iv) Comprehensive curriculum revision is an important first step toward improving the quality of training provided to health care providers in developing countries. Other aspects of implementation at training institutions and health care facilities must also be addressed to ensure that providers are adequately trained and equipped to provide quality health care services. This approach to curriculum revision and implementation teaches several key lessons, which may be applicable to preservice training programs in other less developed countries.

A study of modelling approaches for rail vehicle collision behaviour

A rigid wall model has been used widely in the numerical simulation of rail vehicle impacts. Finite element impact modelling of rail vehicles is generally based on a half-width and full-length or half-length structure, depending on the symmetry. The structure and components of rail vehicles are normally designed to cope with proof loading to ensure adequate ride performance. In this paper, the authors present a study of a rail vehicle with driving cab focused on improving the modelling approach and exploring the intrinsic structural weaknesses to enhance its crashworthiness. The underpinning research used finite element analysis and compared the behaviour of the rail vehicle in different impact scenarios. It was found that the simulation of a rigid wall impact can mask structural weaknesses; that even a completely symmetrical impact may lead to an asymmetrical result; that downward bending is an intrinsic weakness of conventional rail vehicles and that a rigid part of the vehicle structure, such as the body bolster, may cause uncoordinated deformation and shear fracture between the vehicle sections. These findings have significance for impact simulation, the full-scale testing of rail vehicles and rail vehicle design in general.

Analysis of crush behaviours of a rail cab car and structural modifications for improved crashworthiness

In this paper, the authors present a crashworthiness assessment and suggestions for modification of a conventionally designed rail vehicle with a driving cab (cab car). The analytical approach, based on numerical analysis, consisted of two stages. Firstly, the crashworthiness of the cab car was assessed by simulating a collision between the cab car and a rigid wall. Then, after analysing structural weaknesses, the design of the cab car was modified and simulated again in the same scenario. It was found that downward bending is an intrinsic weakness in conventional rail vehicles and that jackknifing is a main form of failures in conventional rail vehicle components. The cab car, as modified by the authors, overcomes the original weaknesses and shows the desired progressive collapse behaviour in simulation. The conclusions have general relevance for other studies but more importantly, point to the need for a rethink of some aspects of rail vehicle design.

Research supervision and psychotherapeutic theory: bridging the research-practice-gap

Research supervision in the field of counselling and psychotherapy is a fruitful area for investigation in view of the fact that the research supervisory relationship is powerful and highly charged, whether consciously acknowledged or not. Researchers trained as counsellors and psychotherapists possess the skills to facilitate the emergence of, and work creatively with, impasses and crises, both in the research itself and the supervisory relationship, as a result of their training and experience in dealing with crisis and catharsis in clinical work. This paper will demonstrate these points using a case vignette from my work as a supervisor of research dissertations undertaken by students on a Masters in Therapeutic Counselling course. Drawing on narrative analysis, clinical supervision theory and discursive analysis it will look at the strengths and weaknesses of a 'psychotherapeutic' approach to research supervision.

The impact of the nursing workforce on patient outcomes in intensive care

Introduction: Evidence from studies conducted mainly in the US and mainland Europe suggests that characteristics of the workforce, such as nurse patient ratios and workload (measured in a number of different ways) may be linked to variations in patient outcomes across health care settings (Carmel and Rowan 2001). Few studies have tested this relationship in the UK thus questions remain about whether we are justified in extrapolating evidence from studies conducted in very different health care systems. Objectives: To investigate whether characteristics of the nursing workforce affect patient mortality UK Intensive Care Units. Data: Patient data came from the case mix programme, Intensive Care National Audit and Research Centre (ICNARC), while information about the units came from a survey of all ICUs in England (Audit Comission 1998). The merged data set contained information on 43,859 patients in 69 units across England. ICNARC also supplied a risk adjustment variable to control for patient characteristics that are often the most important determinants of survival. Methods: Multivariate multilevel logistic regression. Findings: Higher numbers of direct care nurses and lower scores on measures of workload(proportion of occupied beds at the time the patient was admitted and mean daily transfers into the unit) were associated with lower mortality rates. Furthermore, the effect of the number of direct care nurses was greatest on the life chances of the patients who were most at risk of dying. Implications: This study has wide implications for workforce policy and planning because it shows that the size of the nursing workforce is associated with mortality (West et al 2006). Few studies have demonstrated this relationship in the UK. This study has a number of strengths and weaknesses and further research is required to determine whether this relationship between the nursing workforce and patient outcomes is causal.

Use of satellite data for modelling food availability and survival of marine fish larvae

A modelling scheme is described which uses satellite retrieved sea-surface temperature and chlorophyll-a to derive monthly zooplankton biomass estimates in the eastern North Atlantic; this forms part of a bio-physical model of inter-annual variations in the growth and survival of larvae and post-larvae of mackerel (Scomber scombrus). The temperature and chlorophyll data are incorporated first to model copepod (Calanus) egg production rates. Egg production is then converted to available food using distribution data from the Continuous Plankton Recorder (CPR) Survey, observed population biomass per unit daily egg production and the proportion of the larval mackerel diet comprising Calanus. Results are validated in comparison with field observations of zooplankton biomass. The principal benefit of the modelling scheme is the ability to use the combination of broad scale coverage and fine scale temporal and spatial variability of satellite data as driving forces in the model; weaknesses are the simplicity of the egg production model and the broad-scale generalizations assumed in the raising factors to convert egg production to biomass.

Qualitative methods in the study of children's racial attitudes and identities

This article examines the role that qualitative methods can play in the study of children's racial attitudes and behaviour. It does this by discussing a number of examples taken from a qualitative, ethnographic study of five- and six-year-old children in an English multi-ethnic, inner-city primary school. The examples are used to highlight the limitations of research that relies solely on quantitative methods and the potential that qualitative methods have for addressing these limitations. Within this context the article contrasts the strengths and weaknesses of qualitative and quantitative methods in the study of children's racial attitudes and identities. The article concludes by arguing that a much more integrated multi-method approach is needed in this area and sets out some of the most effective ways this could be achieved.

The influence of gender in the direction of Spanish cooperative societies on profitability and indebtedness: an empirical analysis

In this paper the claim for the market for a new business management to ensure the presence of women in decision -making to respond to new social needs addressed. Thus, this paper analyzes the influence of gender diversity of the directors on the profitability and the level of debt for a sample of 5,199 Spanish cooperatives. Unlike capitalist societies, these organizations have a number of peculiarities in their government, and that the partners are themselves major time, agents and customers. The study focuses on the Spanish context, where there is an open debate on the importance of women's business management, as in other countries, driven by the proliferation of legislation on gender equality, being, in addition, Spain, the pioneer in having specific legislation on Social Economy. The results show that cooperatives with greater female representation in theirs Boards have higher profitability. On the other hand, those Boards with a higher percentage of women show a lower level of indebtedness.

Collaborative Planning in an Uncollaborative World

The purpose of this paper is to expose the concept of collaborative planning to the reality of planning, thereby assessing its efficacy for informing and explaining what planners 'really' do and can do. In this systematic appraisal, collaborative planning is disaggregated into four elements that can enlighten such conceptual frameworks: ontology, epistemology, ideology and methodology. These four lenses help delimit and clarify collaborative planning's strengths and weaknesses. The conceptual debate is related to an empirical investigation of planning processes, ranging from region-wide to local and from statutory to visionary in an arena where special care has been invested in participatory deliberation processes. The final analysis provides a systematic gauge of collaborative planning in light of the extensive empirical evidence, deploying the four conceptual dimensions introduced in part one. This exposes a range of problems not only with the concept itself but also regarding its affinity with the uncollaborative world within which it has to operate. The former shed light on those aspects where collaborative planning as a conceptual tool for practitioners needs to be renovated, while the latter highlight inconsistencies in a political framework that struggles to accommodate both global competitiveness and local democratic collaboration.

The validity of a latent class typology of adolescent drinking patterns

Objectives: This study examined the validity of a latent class typology of adolescent drinking based on four alcohol dimensions; frequency of drinking, quantity consumed, frequency of binge drinking and the number of alcohol related problems encountered. Method: Data used were from the 1970 British Cohort Study sixteen-year-old follow-up. Partial or complete responses to the selected alcohol measures were provided by 6,516 cohort members. The data were collected via a series of postal questionnaires. Results: A five class LCA typology was constructed. Around 12% of the sample were classified as �hazardous drinkers� reporting frequent drinking, high levels of alcohol consumed, frequent binge drinking and multiple alcohol related problems. Multinomial logistic regression, with multiple imputation for missing data, was used to assess the covariates of adolescent drinking patterns. Hazardous drinking was associated with being white, being male, having heavy drinking parents (in particular fathers), smoking, illicit drug use, and minor and violent offending behaviour. Non-significant associations were found between drinking patterns and general mental health and attention deficient disorder. Conclusion: The latent class typology exhibited concurrent validity in terms of its ability to distinguish respondents across a number of alcohol and non-alcohol indicators. Notwithstanding a number of limitations, latent class analysis offers an alternative data reduction method for the construction of drinking typologies that addresses known weaknesses inherent in more tradition classification methods.

The Cuban school as a context for a proper development of the environmental perception

Environmental Psychology in Cuba is a new discipline that promotes a historical and cultural vision of mankind. Perception is one of the distinct processes that creates environmental consciousness. Depending on the perception of the environment, individuals interact with it, and vice versa. It means that a good perception of the significant elements of the environment also contributes to the formation of an environmental consciousness, in which perception is one of the main processes. In this transformation the school is one of the most important places for creating knowledge, skills, habits, and good attitudes towards the environment. As a result, the evaluation of the environmental perception development in students allows detecting weaknesses in the environmental education and proposing solutions based on specific problems. This study is based on different researches where the subjects were Cuban students from different educational levels and provides a first approach to the dynamic of the environmental perception development in these individuals. Recent researches have used some dimensions of the environment concept as development indicators: material, relational, intrapersonal, behavioural, cognitive, natural or ecological, and cultural. Generally speaking, different investigations show that school is the right context for environmental education.

Video games in the classrooms: implications of a disruptive innovation to develop the Multiple Intelligences

The present study aims to identify the framework of personal, organizational and technical variables that contribute to the viability and successful of innovative educational practices with video games within the school context to enhance the multiple intelligences. For this purpose, advantage was taken on the information previously collected through a questionnaire about the views, thoughts and experiences of a group of teachers of childhood and primary education (N=25) who voluntarily participated in a blended training activity from Center of Teachers (CEFIRE) of Valencia, around a community of practice aimed at promoting and advising projects for implementing educational video games in the classroom. The mixed methodology adopted has allowed the following: a) describe the relationship between their degree of development and daily use made of ICT in the classroom, their level of familiarity with video games,  their previous experience to integrate them for educational purposes..., and their participation in projects that focus on game-based learning; b) conduct content analysis of the opinions and thoughts expressed in a forum for teachers on innovation on and methodological strategies adopted reflected in a virtual board; and c) develop a SWOT analysis: Strengths, Weaknesses, Opportunities and Threats inherent in the implementation of experience with video games in the classroom. Among the conclusions, it is highlighted that, even though most did not have specific training or enough technological resources and the planning and implementation of innovation required them a great investment of time, their personal interest, the support given by members of the online community of practice, helped to encourage their activity, along with receptivity, positive attitude and high motivation of students with the experience. These aspects have been crucial to promote successful innovative practices with video games.