Efficient biometric and password based mutual authentication for consumer USB mass storage devices

A Universal Serial Bus (USB) Mass Storage Device (MSD), often termed a USB flash drive, is ubiquitously used to store important information in unencrypted binary format. This low cost consumer device is incredibly popular due to its size, large storage capacity and relatively high transfer speed. However, if the device is lost or stolen an unauthorized person can easily retrieve all the information. Therefore, it is advantageous in many applications to provide security protection so that only authorized users can access the stored information. In order to provide security protection for a USB MSD, this paper proposes a session key agreement protocol after secure user authentication. The main aim of this protocol is to establish session key negotiation through which all the information retrieved, stored and transferred to the USB MSD is encrypted. This paper not only contributes an efficient protocol, but also does not suffer from the forgery attack and the password guessing attack as compared to other protocols in the literature. This paper analyses the security of the proposed protocol through a formal analysis which proves that the information is stored confidentially and is protected offering strong resilience to relevant security attacks. The computational cost and communication cost of the proposed scheme is analyzed and compared to related work to show that the proposed scheme has an improved tradeoff for computational cost, communication cost and security.

Multiple-project discount rates for cost-benefit analysis in construction projects: A formal risk model for microgeneration renewable energy technologies

The traditional economic approach for appraising the costs and benefits of construction project Net Present Values involves the calculation of net returns for each investment option under different discount rates. An alternative approach consists of multiple-project discount rates based on risk modelling. The example of a portfolio of microgeneration renewable energy technology (MRET) is presented to demonstrate that risks and future available budget for re-investment can be taken into account when setting discount rates for construction project specifications in presence of uncertainty. A formal demonstration is carried out through a reversed intertemporal approach of applied general equilibrium. It is demonstrated that risk and the estimated available budget for future re-investment can be included in the simultaneous assessment of the costs and benefits of multiple projects.

Spectral analysis of the elliptic sine-Gordon equation in the quarter plane

We study the elliptic sine-Gordon equation in the quarter plane using a spectral transform approach. We determine the Riemann-Hilbert problem associated with well-posed boundary value problems in this domain and use it to derive a formal representation of the solution. Our analysis is based on a generalization of the usual inverse scattering transform recently introduced by Fokas for studying linear elliptic problems.

Analysis of Pan-European attitudes to the eradication and control of bovine viral diarrhoea

At present, national-level policies concerning the eradication and control of bovine viral diarrhoea (BVD) differ widely across Europe. Some Scandinavian countries have enacted strong regulatory frameworks to eradicate the disease, whereas other countries have few formal policies. To examine these differences, the attitudes of stakeholders and policy makers in 17 European countries were investigated. A web-based questionnaire was sent to policy makers, government and private sector veterinarians, and representatives of farmers' organisations. On total, 131 individuals responded to the questionnaire and their responses were analysed by applying a method used in sociolinguistics: frame analysis. The results showed that the different attitudes of countries that applied compulsory or voluntary frameworks were associated with different views about the attribution or blame for BVD and the roles ascribed to farmers and other stakeholders in its eradication and control.

Attitudes of landscape professionals towards naturalistic versus formal urban landscapes in the UK

The last 30 years have seen a tide of interest sweeping across Europe in the development of nature in cities, and an increasing amount of landscape development in urban areas has involved the use of 'naturalistic' styles. This is an increasing attempt to find ways for urbanism and nature to co-exist. However, there have been considerable discussions among professionals regarding the advantages and disadvantages of 'naturalistic' styles in urban areas. This research examines professional attitudes to 'naturalistic' landscape styles in Britain, in contrast to more traditional, formal landscape styles, and aims to find out whether the interest in natural landscapes is really a fashion among landscape professionals. A self-administered postal survey was carried out using both quantitative and qualitative data collection techniques and analysis. The survey included 500 professionals from parks and recreation departments of local authorities, private landscape practices and conservation trusts, and resulted in a satisfactory response rate of 53 %. The results of this study suggested that professionals recognise most of the values attached to naturalistic landscapes in urban areas. However, possible benefits that natural areas may have for urban people are not attached to naturalistic landscapes alone. The study also revealed that the naturalistic style is highly popular among conservation trusts but is less so among professionals from local authorities and private landscape practices who seem to appreciate both styles and believe that these styles are not separable from each other and should co-exist in an urban environment. (C) 2006 Elsevier B.V. All rights reserved.

The SAFE FOODS framework for improved risk analysis of foods

Three main changes to current risk analysis processes are proposed to improve their transparency, openness, and accountability. First, the addition of a formal framing stage would allow interested parties, experts and officials to work together as needed to gain an initial shared understanding of the issue, the objectives of regulatory action, and alternative risk management measures. Second, the scope of the risk assessment is expanded to include the assessment of health and environmental benefits as well as risks, and the explicit consideration of economic- and social-impacts of risk management action and their distribution. Moreover approaches were developed for deriving improved information from genomic, proteomic and metabolomic profiling methods and for probabilistic modelling of health impacts for risk assessment purposes. Third, in an added evaluation stage, interested parties, experts, and officials may compare and weigh the risks, costs, and benefits and their distribution. As part of a set of recommendations on risk communication, we propose that reports on each stage should be made public.

Resource allocation analysis of the stochastic diffusion search

The Stochastic Diffusion Search (SDS) was developed as a solution to the best-fit search problem. Thus, as a special case it is capable of solving the transform invariant pattern recognition problem. SDS is efficient and, although inherently probabilistic, produces very reliable solutions in widely ranging search conditions. However, to date a systematic formal investigation of its properties has not been carried out. This thesis addresses this problem. The thesis reports results pertaining to the global convergence of SDS as well as characterising its time complexity. However, the main emphasis of the work, reports on the resource allocation aspect of the Stochastic Diffusion Search operations. The thesis introduces a novel model of the algorithm, generalising an Ehrenfest Urn Model from statistical physics. This approach makes it possible to obtain a thorough characterisation of the response of the algorithm in terms of the parameters describing the search conditions in case of a unique best-fit pattern in the search space. This model is further generalised in order to account for different search conditions: two solutions in the search space and search for a unique solution in a noisy search space. Also an approximate solution in the case of two alternative solutions is proposed and compared with predictions of the extended Ehrenfest Urn model. The analysis performed enabled a quantitative characterisation of the Stochastic Diffusion Search in terms of exploration and exploitation of the search space. It appeared that SDS is biased towards the latter mode of operation. This novel perspective on the Stochastic Diffusion Search lead to an investigation of extensions of the standard SDS, which would strike a different balance between these two modes of search space processing. Thus, two novel algorithms were derived from the standard Stochastic Diffusion Search, ‘context-free’ and ‘context-sensitive’ SDS, and their properties were analysed with respect to resource allocation. It appeared that they shared some of the desired features of their predecessor but also possessed some properties not present in the classic SDS. The theory developed in the thesis was illustrated throughout with carefully chosen simulations of a best-fit search for a string pattern, a simple but representative domain, enabling careful control of search conditions.

Citation and peer review of data: moving towards formal data publication

This paper discusses many of the issues associated with formally publishing data in academia, focusing primarily on the structures that need to be put in place for peer review and formal citation of datasets. Data publication is becoming increasingly important to the scientific community, as it will provide a mechanism for those who create data to receive academic credit for their work and will allow the conclusions arising from an analysis to be more readily verifiable, thus promoting transparency in the scientific process. Peer review of data will also provide a mechanism for ensuring the quality of datasets, and we provide suggestions on the types of activities one expects to see in the peer review of data. A simple taxonomy of data publication methodologies is presented and evaluated, and the paper concludes with a discussion of dataset granularity, transience and semantics, along with a recommended human-readable citation syntax.

Formal theory building for the avalanche game: explaining counter-intuitive behaviour of a complex system using geometrical and human behavioural/physiological effects

In 'Avalanche', an object is lowered, players staying in contact throughout. Normally the task is easily accomplished. However, with larger groups counter-intuitive behaviours appear. The paper proposes a formal theory for the underlying causal mechanisms. The aim is to not only provide an explicit, testable hypothesis for the source of the observed modes of behaviour-but also to exemplify the contribution that formal theory building can make to understanding complex social phenomena. Mapping reveals the importance of geometry to the Avalanche game; each player has a pair of balancing loops, one involved in lowering the object, the other ensuring contact. For more players, sets of balancing loops interact and these can allow dominance by reinforcing loops, causing the system to chase upwards towards an ever-increasing goal. However, a series of other effects concerning human physiology and behaviour (HPB) is posited as playing a role. The hypothesis is therefore rigorously tested using simulation. For simplicity a 'One Degree of Freedom' case is examined, allowing all of the effects to be included whilst rendering the analysis more transparent. Formulation and experimentation with the model gives insight into the behaviours. Multi-dimensional rate/level analysis indicates that there is only a narrow region in which the system is able to move downwards. Model runs reproduce the single 'desired' mode of behaviour and all three of the observed 'problematic' ones. Sensitivity analysis gives further insight into the system's modes and their causes. Behaviour is seen to arise only when the geometric effects apply (number of players greater than degrees of freedom of object) in combination with a range of HPB effects. An analogy exists between the co-operative behaviour required here and various examples: conflicting strategic objectives in organizations; Prisoners' Dilemma and integrated bargaining situations. Additionally, the game may be relatable in more direct algebraic terms to situations involving companies in which the resulting behaviours are mediated by market regulations. Finally, comment is offered on the inadequacy of some forms of theory building and the case is made for formal theory building involving the use of models, analysis and plausible explanations to create deep understanding of social phenomena.

Economic analysis of international supply chains: an internalization perspective

Offshoring and outsourcing in global value chains have been extensively analyzed from a strategic management perspective (Gereffi & Li, 2012; Gereffi, Humphrey & Sturgeon, 2005; Mudambi & Venzin, 2010). This paper examines these issues from an internalization theory perspective by summarizing the contribution of internalization theory to supply chain analysis; considering how a division of labor is coordinated and comparing coordination by management with coordination by the market; and discussing the formal models of supply chains developed by economists. Supply chain researchers possessing an interest in economic principles and good mathematical skills can make an important contribution to internalization theory, and it is hoped that this paper will encourage them to do so.

Imitation, entrepreneurship and the informal/formal economy nexus: an African perspective

This paper explores a segmentation of micro and small enterprises (MSEs) in developing countries within the formal/informal economy nexus that has wide-ranging implications for the targeting of base-of-the-pyramid initiatives and entrepreneurship theory. This proposed segmentation emerges from the analysis of a sample of Kenyan MSEs utilising current and prior business models; the antecedent influences shaping the business model; barriers to entry associated with knowledge, capital and skills; the degree of innovation or imitation evident in the business model linked to the nature of opportunity recognition; and their relationship with the formal institutional business environment.

Correlates of early reading comprehension skills: a componential analysis

This study had three main aims. First, we examined to what extent listening comprehension, vocabulary, grammatical skills and verbal short-term memory (VSTM) assessed prior to formal reading instruction explained individual differences in early reading comprehension levels. Second, we examined to what extent the three common component skills, namely vocabulary, grammar and VSTM explained the relationship between kindergarten listening comprehension and early reading comprehension levels. Third, we examined the relative contributions of word-reading and listening comprehension skills to early reading comprehension in Turkish. For this purpose, 56 Turkish-speaking children were followed from kindergarten (mean age = 67.7 months) into Grade 2 (mean age = 90.6 months). The relative role of kindergarten listening comprehension, vocabulary, VSTM and grammatical skills in later reading comprehension tended to vary across time, and they partly explained the relationship between listening comprehension and reading comprehension. Finally, as anticipated, listening comprehension, rather than word-reading , was found to play a more powerful role in children’s reading comprehension levels even during the early primary grades. These results contradicted those reported in English and can be explained by the rapid development of accurate word-reading skills due to the consistency of the grapheme–phoneme relationships of the Turkish orthography.