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.

Periplasmic adaptor protein AcrA has a distinct role in the antibiotic resistance and virulence of Salmonella enterica serovar Typhimurium

Objectives: AcrA can function as the periplasmic adaptor protein (PAP) in several RND tripartite efflux pumps, of which AcrAB-TolC is considered the most important. This system confers innate multiple antibiotic resistance. Disruption of acrB or tolC impairs the ability of Salmonella Typhimurium to colonize and persist in the host. The aim of this study was to investigate the role of AcrA alone in multidrug resistance and pathogenicity. Methods: The acrA gene was inactivated in Salmonella Typhimurium SL1344 by insertion of the aph gene and this mutant complemented with pWKS30acrA. The antimicrobial susceptibility of the mutant to six antibiotics as well as various dyes and detergents was determined. In addition, efflux activity was quantified. The ability of the mutant to adhere to, and invade, tissue culture cells in vitro was measured. Results: Following disruption of acrA, RT-PCR and western blotting confirmed that acrB/AcrB was still expressed when acrA was disrupted. The acrA mutant was hypersusceptible to antibiotics, dyes and detergents. In some cases, lower MICs were seen than for the acrB or tolC mutants. Efflux of the fluorescent dye Hoechst H33342 was less than in wild-type following disruption of acrA. acrA was also required for adherence to, and invasion of, tissue culture cells. Conclusions: Inactivation of acrA conferred a phenotype distinct to that of acrB::aph and tolC::aph. These data indicate a role for AcrA distinct to that of other protein partners in both efflux of substrates and virulence.

The antithrombotic effect of dextran-40 in man is due to enhanced fibrinolysis in vivo

BACKGROUND: Dextran-40 is effective in reducing postoperative Doppler-detectable embolization in patients undergoing carotid endarterectomy (CEA). Dextrans are thought to have antithrombotic and antiplatelet effects. The mode of action is unclear. In rats, dextran blocks uptake of tissue plasminogen activator (tPA) by mannose-binding receptors. Because this would have the effect of enhancing endogenous fibrinolysis, we explored this effect of dextran-40 on fibrinolysis in man. METHODS: Twenty patients undergoing endovascular stenting for abdominal aortic aneurysm were randomized to receive 100 mL of 10% dextran-40 or saline, over 1 hour, during their operation in addition to heparin. Blood samples were taken preoperatively, intraoperatively (immediately after operative procedure), and 24 hours postoperatively. Thrombi were formed in a Chandler loop and used to assess endogenous fibrinolysis over 24 hours, measured as the fall in thrombus weight, and the release of fluorescently labelled fibrinogen from the thrombus. Plasma samples were analyzed for markers of fibrinolysis; plasmin-antiplasmin (PAP), PAI-1, and t-PA, and for functional von Willebrand factor (vWF). Platelet response to thrombin and other agonists was measured by flow cytometry. RESULTS: Thrombi formed ex vivo from the intraoperative blood samples from the dextran-treated patients exhibited significantly greater fibrinolysis vs preoperative samples, seen both as a significantly greater percentage reduction in thrombus weight (from 34.7% to 70.6% reduction) and as an 175% increase in the release of fluorescence (P < .05). Fibrinolysis returned to baseline levels the next day. No change was seen in the saline-treated group. Plasma levels of PAP and PAI-1 increased significantly postoperatively in the dextran-treated group vs the saline group (P < .05). The postoperative level of functional VWF was significantly lower in the dextran-treated group vs controls. A specific reduction occurred in the platelet response to thrombin, but not to other agonists, in the intraoperative samples from the dextran-treated group (11.1% vs 37.1%; P = .022), which was not seen in the controls. CONCLUSIONS: These data are consistent with a rise in plasmin due to dextran blockade of tPA uptake in vivo, leading to enhanced fibrinolysis, cleavage of vWF and of the platelet protease-activated receptor-1 (PAR-1) thrombin receptor. This suggests that dextran exerts a combined therapeutic effect, enhancing endogenous fibrinolysis, whilst also reducing platelet adhesion to vWF and platelet activation by thrombin. The proven antithrombotic efficacy of low-dose dextran in carotid surgery may be applicable to wider therapeutic use.

Modeling ocean primary production: sensitivity to spectral resolution of attenuation and absorption of light

Modeling the vertical penetration of photosynthetically active radiation (PAR) through the ocean, and its utilization by phytoplankton, is fundamental to simulating marine primary production. The variation of attenuation and absorption of light with wavelength suggests that photosynthesis should be modeled at high spectral resolution, but this is computationally expensive. To model primary production in global 3d models, a balance between computer time and accuracy is necessary. We investigate the effects of varying the spectral resolution of the underwater light field and the photosynthetic efficiency of phytoplankton (α∗), on primary production using a 1d coupled ecosystem ocean turbulence model. The model is applied at three sites in the Atlantic Ocean (CIS (∼60°N), PAP (∼50°N) and ESTOC (∼30°N)) to include the effect of different meteorological forcing and parameter sets. We also investigate three different methods for modeling α∗ – as a fixed constant, varying with both wavelength and chlorophyll concentration [Bricaud, A., Morel, A., Babin, M., Allali, K., Claustre, H., 1998. Variations of light absorption by suspended particles with chlorophyll a concentration in oceanic (case 1) waters. Analysis and implications for bio-optical models. J. Geophys. Res. 103, 31033–31044], and using a non-spectral parameterization [Anderson, T.R., 1993. A spectrally averaged model of light penetration and photosynthesis. Limnol. Oceanogr. 38, 1403–1419]. After selecting the appropriate ecosystem parameters for each of the three sites we vary the spectral resolution of light and α∗ from 1 to 61 wavebands and study the results in conjunction with the three different α∗ estimation methods. The results show modeled estimates of ocean primary productivity are highly sensitive to the degree of spectral resolution and α∗. For accurate simulations of primary production and chlorophyll distribution we recommend a spectral resolution of at least six wavebands if α∗ is a function of wavelength and chlorophyll, and three wavebands if α∗ is a fixed value.