Verifying and fixing password authentication protocol

Password Authentication Protocol (PAP) is widely used in the Wireless Fidelity Point-to-Point Protocol to authenticate an identity and password for a peer. This paper uses a new knowledge-based framework to verify the PAP protocol and a fixed version. Flaws are found in both the original and the fixed versions. A new enhanced protocol is provided and the security of it is proved The whole process is implemented in a mechanical reasoning platform, Isabelle. It only takes a few seconds to find flaws in the original and the fixed protocol and to verify that the enhanced version of the PAP protocol is secure.

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.

A cross-calibration of chlorine isotopic measurements and suitability of seawater as the international reference material

A collection of 24 seawaters from various worldwide locations and differing depth was culled to measure their chlorine isotopic composition (delta(37)Cl). These samples cover all the oceans and large seas: Atlantic, Pacific, Indian and Antarctic oceans, Mediterranean and Red seas. This collection includes nine seawaters from three depth profiles down to 4560 mbsl. The standard deviation (2sigma) of the delta(37)Cl of this collection is +/-0.08 parts per thousand, which is in fact as large as our precision of measurement ( +/- 0.10 parts per thousand). Thus, within error, oceanic waters seem to be an homogeneous reservoir. According to our results, any seawater could be representative of Standard Mean Ocean Chloride (SMOC) and could be used as a reference standard. An extended international cross-calibration over a large range of delta(37)Cl has been completed. For this purpose, geological fluid samples of various chemical compositions and a manufactured CH3Cl gas sample, with delta(37)Cl from about -6 parts per thousand to +6 parts per thousand have been compared. Data were collected by gas source isotope ratio mass spectrometry (IRMS) at the Paris, Reading and Utrecht laboratories and by thermal ionization mass spectrometry (TIMS) at the Leeds laboratory. Comparison of IRMS values over the range -5.3 parts per thousand to +1.4 parts per thousand plots on the Y=X line, showing a very good agreement between the three laboratories. On 11 samples, the trend line between Paris and Reading Universities is: delta(37)Cl(Reading)= (1.007 +/- 0.009)delta(37)Cl(Paris) - (0.040 +/- 0.025), with a correlation coefficient: R-2 = 0.999. TIMS values from Leeds University have been compared to IRMS values from Paris University over the range -3.0 parts per thousand to +6.0 parts per thousand. On six samples, the agreement between these two laboratories, using different techniques is good: delta(37)Cl(Leeds)=(1.052 +/- 0.038)delta(37)Cl(Paris) + (0.058 +/- 0.099), with a correlation coefficient: R-2 = 0.995. The present study completes a previous cross-calibration between the Leeds and Reading laboratories to compare TIMS and IRMS results (Anal. Chem. 72 (2000) 2261). Both studies allow a comparison of IRMS and TIMS techniques between delta(37)Cl values from -4.4 parts per thousand to +6.0 parts per thousand and show a good agreement: delta(37)Cl(TIMS)=(1.039 +/- 0.023)delta(37)Cl(IRMS)+(0.059 +/- 0.056), with a correlation coefficient: R-2 = 0.996. Our study shows that, for fluid samples, if chlorine isotopic compositions are near 0 parts per thousand, their measurements either by IRMS or TIMS will give comparable results within less than +/- 0.10 parts per thousand, while for delta(37)Cl values as far as 10 parts per thousand (either positive or negative) from SMOC, both techniques will agree within less than +/- 0.30 parts per thousand. (C) 2004 Elsevier B.V. All rights reserved.

Phases of dormancy in yam tubers (Dioscorea rotundata)

center dot Background and Aims The control of dormancy in yam (Disocorea spp.) tubers is poorly understood and attempts to shorten the long dormant period (i.e. cause tubers to sprout or germinate much earlier) have been unsuccessful. The aim of this study was to identify and define the phases of dormancy in Dioscorea rotundata tubers, and to produce a framework within which dormancy can be more effectively studied. center dot Methods Plants of 'TDr 131' derived from tissue culture were grown in a glasshouse simulating temperature and photoperiod at Ibadan (7 degrees N), Nigeria to produce tubers. Tubers were sampled on four occasions: 30 d before shoot senescence (149 days after planting, DAP), at shoot senescence (179 DAP), and twice during storage at a constant 25 degrees C (269 and 326 DAP). The development of the apical shoot bud was described from tissue sections. In addition, the responsiveness of shoot apical bud development to plant growth regulators (gibberellic acid, 2-chloroethanol and thiourea) applied to excised tuber sections was also examined 6 and 12 d after treatment. center dot Key Results and Conclusions Three phases of tuber dormancy are proposed: Phase I, from tuber initiation to the appearance of the tuber germinating meristem; Phase II, from the tuber germinating meristem to initiation of foliar primordium; and Phase III, from foliar primordium to appearance of the shoot bud on the surface of the tuber. Phase I is the longest phase (approx. 220 d in 'TDr 131'), is not affected by PGRs and is proposed to be an endo-dormant phase. Phases II and III are shorter (< 70 d in total), are influenced by PGRs and environmental conditions, and are therefore endo-/eco-dormant phases. To manipulate dormancy to allow off-season planting and more than one generation per year requires that the duration of Phase I is shortened.

Phases of dormancy in yam tubers (Dioscorea rotundata)

Background and Aims The control of dormancy in yam (Disocorea spp.) tubers is poorly understood and attempts to shorten the long dormant period (i.e. cause tubers to sprout or germinate much earlier) have been unsuccessful. The aim of this study was to identify and define the phases of dormancy in Dioscorea rotundata tubers, and to produce a framework within which dormancy can be more effectively studied. center dot Methods Plants of 'TDr 131' derived from tissue culture were grown in a glasshouse simulating temperature and photoperiod at Ibadan (7 degrees N), Nigeria to produce tubers. Tubers were sampled on four occasions: 30 d before shoot senescence (149 days after planting, DAP), at shoot senescence (179 DAP), and twice during storage at a constant 25 degrees C (269 and 326 DAP). The development of the apical shoot bud was described from tissue sections. In addition, the responsiveness of shoot apical bud development to plant growth regulators (gibberellic acid, 2-chloroethanol and thiourea) applied to excised tuber sections was also examined 6 and 12 d after treatment. center dot Key Results and Conclusions Three phases of tuber dormancy are proposed: Phase I, from tuber initiation to the appearance of the tuber germinating meristem; Phase II, from the tuber germinating meristem to initiation of foliar primordium; and Phase III, from foliar primordium to appearance of the shoot bud on the surface of the tuber. Phase I is the longest phase (approx. 220 d in 'TDr 131'), is not affected by PGRs and is proposed to be an endo-dormant phase. Phases II and III are shorter (< 70 d in total), are influenced by PGRs and environmental conditions, and are therefore endo-/eco-dormant phases. To manipulate dormancy to allow off-season planting and more than one generation per year requires that the duration of Phase I is shortened.

Liquidity in commercial property markets: deconstructing the transaction process

This paper draws from a wider research programme in the UK undertaken for the Investment Property Forum examining liquidity in commercial property. One aspect of liquidity is the process by which transactions occur including both how properties are selected for sale and the time taken to transact. The paper analyses data from three organisations; a property company, a major financial institution and an asset management company, formally a major public sector pension fund. The data covers three market states and includes sales completed in 1995, 2000 and 2002 in the UK. The research interviewed key individuals within the three organisations to identify any common patterns of activity within the sale process and also identified the timing of 187 actual transactions from inception of the sale to completion. The research developed a taxonomy of the transaction process. Interviews with vendors indicated that decisions to sell were a product of a combination of portfolio, specific property and market based issues. Properties were generally not kept in a “readiness for sale” state. The average time from first decision to sell the actual property to completion had a mean time of 298 days and a median of 190 days. It is concluded that this study may underestimate the true length of the time to transact for two reasons. Firstly, the pre-marketing period is rarely recorded in transaction files. Secondly, and more fundamentally, studies of sold properties may contain selection bias. The research indicated that vendors tended to sell properties which it was perceived could be sold at a ‘fair’ price in a reasonable period of time.

Implementation of a new urban energy budget scheme into MetUM. Part II: Validation against observations and model intercomparison

In the first part of this article, we introduced a new urban surface scheme, the Met Office – Reading Urban Surface Exchange Scheme (MORUSES), into the Met Office Unified Model (MetUM) and compared its impact on the surface fluxes with respect to the current urban scheme. In this second part, we aim to analyze further the reasons behind the differences. This analysis is conducted by a comparison of the performance of the two schemes against observations and against a third model, the Single Column Reading Urban model (SCRUM). The key differences between the three models lie in how each model incorporates the heat stored in the urban fabric and how the surface-energy balance is coupled to the underlying substrate. The comparison of the models with observations from Mexico City reveals that the performance of MORUSES is improved if roof insulation is included by minimizing the roof thickness. A comparison of MORUSES and SCRUM reveals that, once insulation is included within MORUSES, these two models perform equally well against the observations overall, but that there are differences in the details of the simulations at the roof and canyon level. These differences are attributed to the different representations of the heat-storage term, specifically differences in the dominant frequencies captured by the urban canopy and substrate, between the models. These results strongly suggest a need for an urban model intercomparison exercise. Copyright © 2010 Royal Meteorological Society and Crown Copyright

Monuments should not be trusted exhibition

Monuments Should Not Be Trusted brings together over 30 leading artists and groups from the “golden years” of the Socialist Federal Republic of Yugoslavia - the period between the early 1960s and the mid 1980s. Over 100 artworks and artefacts illuminate the key contradictions of this single party state – built after WWII on socialist principles, yet immersed in “utopian consumerism.” This is the first time in the UK that the art of this period, which has attracted increasing attention, has been shown in the context of the social, economic and political conditions that gave rise to it. It draws on new and innovative research on this period, and features many of its most celebrated artists. The exhibition begins with the rise of consumerism, midway through President Josip Broz Tito’s 37 year presidency, and ends a few years after his death in 1980. As well as artists’ works in moving image, collage, photography, sculpture and painting, the exhibition encompasses music, TV clips and fascinating artefacts, such as gifts made by workers for President Tito’s birthday, and relay batons which were carried across the country and ceremonially presented to him.

Identifying key knowledge needs for evidence-based conservation of wild insect pollinators: a collaborative cross-sectoral exercise

In response to evidence of insect pollinator declines, organisations in many sectors, including the food and farming industry, are investing in pollinator conservation. They are keen to ensure that their efforts use the best available science. We convened a group of 32 ‘conservation practitioners’ with an active interest in pollinators and 16 insect pollinator scientists. The conservation practitioners include representatives from UK industry (including retail), environmental non-government organisations and nature conservation agencies. We collaboratively developed a long list of 246 knowledge needs relating to conservation of wild insect pollinators in the UK. We refined and selected the most important knowledge needs, through a three-stage process of voting and scoring, including discussions of each need at a workshop. We present the top 35 knowledge needs as scored by conservation practitioners or scientists. We find general agreement in priorities identified by these two groups. The priority knowledge needs will structure ongoing work to make science accessible to practitioners, and help to guide future science policy and funding. Understanding the economic benefits of crop pollination, basic pollinator ecology and impacts of pesticides on wild pollinators emerge strongly as priorities, as well as a need to monitor floral resources in the landscape.

Enhanced three-factor security protocol for consumer USB mass storage devices

The Universal Serial Bus (USB) is an extremely popular interface standard for computer peripheral connections and is widely used in consumer Mass Storage Devices (MSDs). While current consumer USB MSDs provide relatively high transmission speed and are convenient to carry, the use of USB MSDs has been prohibited in many commercial and everyday environments primarily due to security concerns. Security protocols have been previously proposed and a recent approach for the USB MSDs is to utilize multi-factor authentication. This paper proposes significant enhancements to the three-factor control protocol that now makes it secure under many types of attacks including the password guessing attack, the denial-of-service attack, and the replay attack. The proposed solution is presented with a rigorous security analysis and practical computational cost analysis to demonstrate the usefulness of this new security protocol for consumer USB MSDs.

Monitoring and modelling the three-dimensional flow of water under drip irrigation

The interpretation of soil water dynamics under drip irrigation systems is relevant for crop production as well as on water use and management. In this study a three-dimensional representation of the flow of water under drip irrigation is presented. The work includes analysis of the water balance at point scale as well as area-average, exploring uncertainties in water balance estimations depending on the number of locations sampled. The water flow was monitored by detailed profile water content measurements before irrigation, after irrigation and 24 h later with a dense array of soil moisture access tubes radially distributed around selected drippers. The objective was to develop a methodology that could be used on selected occasions to obtain 'snap shots' of the detailed three-dimensional patterns of soil moisture. Such patterns are likely to be very complex, as spatial variability will be induced for a number of reasons, such as strong horizontal gradients in soil moisture, variations between individual sources in the amount of water applied and spatial variability is soil hydraulic properties. Results are compared with a widely used numerical model, Hydrus-2D. The observed dynamic of the water content distribution is in good agreement with model simulations, although some discrepancies concerning the horizontal distribution of the irrigation bulb are noted due to soil heterogeneity. (c) 2006 Elsevier B.V. All rights reserved.

Enantioselective Intramolecular Michael Addition of Nitronates onto Conjugated Esters: Access to Cyclic γ-Amino Acids with up to Three Stereocenters

A highly stereoselective synthesis of conformationally constrained cyclic γ-amino acids has been devised. The key step involves an intramolecular cyclization of a nitronate onto a conjugated ester, promoted by a bifunctional thiourea catalyst. This methodology has been successfully applied to generate a variety of γ-amino acids, including some containing three contiguous stereocenters, with very high diastereoselectivity and excellent enantioselectivity. It is postulated that an interaction that is key to the success of the process is the simultaneous coordination of the thiourea functionality to both the conjugated ester and the nitronate. Finally, the synthetic utility of these compounds is demonstrated in the synthesis of two dipeptides derived from the C- and N-termini.

Comparative analysis by protocol and key of seed storage behaviour of sixty Vietnamese tree species

Seed storage behaviour of 5 1 native and 9 introduced tree species in Vietnam was investigated using a brief protocol developed to aid biodiversity conservation in circumstances where little is known about the seeds. Of the 60 species, 34 appeared to show orthodox (Acacia auriculaeformis, Adenanthera pavonina, Afzelia xylocarpa, Bauhinia purpurea, Callistemon lanceolatus, Cananga odorata, Canarium nigrum, Cassia fistula, Cassia javanica, Cassia splendida, Chukrasia tabularis, Dalbergia bariaensis, Dialium cochinchinensis, Diospyros mollis, Diospyros mun, Dracuntomelon duperreanum, Erythrophleum fordii, Khaya senegalensis, Lagerstroemia speciosa, Leucaena leucocephala, Livistona cochinchinensis, Markhamia stipulata, Melaleuca cajuputi, Millettia ichthyotona, Peltophorum pterocarpum, Peltophorum tonkinensis, Pinus khasya, Pinus massoniana, Pinus merkusii, Pterocarpus macrocarpus, Sindora siamensis, Sophora tonkinense, Sterculia foetida, Swietenia macrophylla), 13 recalcitrant (Avicennia alba, Beilschmiedia roxburghiana, Caryota mitis, Dimocarpus sp., Diospyros malabarica, Dipterocarpus chartaceus, Dypsis pinnatifrons, Hopea odorata, Lithocarpus gigantophylla, Machilus odoratissimus, Melanorrhoea laccifera, Melanorrhea usitata, Syzygium cinereum) and 13 intermediate (Anisoptera cochinchinensis, Aphanamixis polystachya, Averrhoa carambola, Carissa carandas, Chrysopylum cainito, Cinnamomum camphora, Citrofortunella microcarpa, Citrus grandis var. grandis, Elaeis guineensis, Hydnocarpus anthelmintica, Madhuca floribunda, Manilkara achras, Mimusops elengi) seed storage behaviour. A double-criteria key to estimate likely seed storage behaviour showed good agreement with the above: the key can reduce the workload of seed storage behaviour identification considerably.

Nitrogen budgets for three cropping systems fertilised with cattle manure

A field plot experiment was set up on a sandy loam soil of SW England in order to determine the efficiency of nitrogen use from different cattle manures. The manure treatments were low and high dry matter cattle slurries and one farmyard manure applied at a target rate of 200 kg total Nha(-1) year(-1), and an untreated control. There were three different cropping systems: ryegrass/clover mixture, maize/rye and maize/bare soil, which were evaluated during 1998/99 and 1999/00. Measurements were made of N losses, N uptake and herbage DM yields. Result showed that manure type had a significant effect on N utilisation only for maize. N balances were negative in maize (approximately -247 to -10 kg N) compared to grass (approximately 5-158 kg N). Agronomic management was more important than manure type in influencing N losses, where soil cultivation appeared to be a key factor when comparing maize and grass systems. (C) 2004 Elsevier Ltd. All rights reserved.

Characterization of recombinant influenza B viruses with key neuraminidase inhibitor resistance mutations

Objectives and methods: An influenza B virus plasmid-based rescue system was used to introduce site-specific mutations, previously observed in neuraminidase (NA) inhibitor-resistant viruses, into the NA protein of six recombinant viruses. Three mutations observed only among in vitro selected zanamivir-resistant influenza A mutants were introduced into the B/Beijing/1/87 virus NA protein, to change residue E116 to glycine, alanine or aspartic acid. Residue E116 was also mutated to valine, a mutation found in the clinic among oseltamivir-resistant viruses. An arginine to lysine change at position 291 (292 N2 numbering) mimicked that seen frequently in influenza A N2 clinical isolates resistant to oseltamivir. Similarly, an arginine to lysine change at position 149 (152 in N2 numbering) was made to reproduce the change found in the only reported zanamivir-resistant clinical isolate of influenza B virus. In vitro selection and prolonged treatment in the clinic leads to resistance pathways that require compensatory mutations in the haemagglutinin gene, but these appear not to be important for mutants isolated from immunocompetent patients. The reverse genetics system was therefore used to generate mutants containing only the NA mutation. Results and conclusions: With the exception of a virus containing the E116G mutation, mutant viruses were attenuated to different levels in comparison with wild-type virus. This attenuation was a result of altered NA activity or stability depending on the introduced mutation. Mutant viruses displayed increased resistance to zanamivir, oseltamivir and peramivir, with certain viruses displaying cross-resistance to all three drugs.