Formal Analysis of V2X Revocation Protocols

Research on vehicular networking (V2X) security has produced a range of security mechanisms and protocols tailored for this domain, addressing both security and privacy. Typically, the security analysis of these proposals has largely been informal. However, formal analysis can be used to expose flaws and ultimately provide a higher level of assurance in the protocols. This paper focusses on the formal analysis of a particular element of security mechanisms for V2X found in many proposals: the revocation of malicious or misbehaving vehicles from the V2X system by invalidating their credentials. This revocation needs to be performed in an unlinkable way for vehicle privacy even in the context of vehicles regularly changing their pseudonyms. The REWIRE scheme by Forster et al. and its subschemes BASIC and RTOKEN aim to solve this challenge by means of cryptographic solutions and trusted hardware. Formal analysis using the TAMARIN prover identifies two flaws with some of the functional correctness and authentication properties in these schemes. We then propose Obscure Token (OTOKEN), an extension of REWIRE to enable revocation in a privacy preserving manner. Our approach addresses the functional and authentication properties by introducing an additional key-pair, which offers a stronger and verifiable guarantee of successful revocation of vehicles without resolving the long-term identity. Moreover OTOKEN is the first V2X revocation protocol to be co-designed with a formal model.Comment: 16 pages, 4 figure

Isolation and identification of bacterial strain I33M producing milk-clotting enzyme: Optimization of culture parameters using response surface

A strain I33M which produces a milk-clotting enzyme was screened from Algerian soil near a dairy factory. This strain was identified as Bacillus mojavensis based on morphology and internal transcription spacer sequence. Sequencing analysis of 16S rDNA gene showed 100% identity of the tested strain with the B. mojavensis in the database. Phylogenetic analysis of this strain showed that it was most closely related to Bacillus subtilis strain. The optimum levels of these significant parameters to obtain the highest milk clotting activity and the lowest proteolytic activity were determined employing the response surface methodology (RSM), which revealed these as follows: wheat bran 7%, casein 0.094%, temperature 39°C, agitation size (rpm) 150. Among the various variables screened, agitation and temperature were most significant in submerged fermentation (SmF). The optimal value of milk clotting activity (MCA) is esteemed at 2.40. Key words: Milk clotting protease, Bacillus, response surface methodology, sequencing analysis

Extracellular protease from mucor pusillus : purfication and characterization

Extracellular protease from Mucor pusillus was purified 18-fold with 7.56% recovery by ion-exchange chromatography and gel filtration. The enzyme was found to be monomeric in nature, having a molecular mass of 49 kDa. The enzyme acted optimally at 50°C and was stable in the temperature range 30–50°C. It was completely inactivated by heating for 30 min at 65°C. The optimum of activity for the purified extract was observed at milk CaCl2 concentration of 0.02 m and at milk pH of 5. These properties, except for temperature, were similar to those of renne

Isolation and characterization of halophilic archaea able to produce biosurfactants

Halotolerants microorganisms able to live in saline environments, offer a multitude of actual or potential applications in various fields of biotechnology. This is why some strains of Halobacteria from an Algerian culture collection were screened for biosurfactant production in a standard medium using the qualitative drop-collapse test and emulsification activity assay. Five of the Halobacteria strains reduced the growth medium surface tension below 40mNm-1 and two of them exhibited high emulsion-stabilising capacity. Diesel oil-in-water emulsions were stabilized over a broad range of conditions, from pH 2 to 11, with up to 35% sodium chloride or up to 25% ethanol in the aqueous phase. Emulsions were stable to three cycles of freezing and thawing. The components of the biosurfactant were determined; it contains sugar, protein and lipid. The two Halobacteria strains with enhanced biosurfactants producers designed strain A21 and strain D21 were selected to identify by phenotypic, biochemical characteristics and by partial 16S rRNA gene sequencing. The strains have Mg2+and salt growth requirements are always above 15% (w/v) salts with an optimal concentration of 15% to 20%. Analyses of partial 16S rRNA gene sequences of the two strains suggested that they were halophiles belonging to genera of the family Halobacteriaceae, Halovivax (strain A21) and Haloarcula (strain D21). To our knowledge, this a first report of biosurfactant production at such a high salt concentratio

Essential oil of cytisus triflorus L'Her

The essential oil of Cytisus triflorus L'Her., a Mediterranean species was obtained by steam distillation and identified by GC and GC-MS. 61 compounds were determined. The oxygenated terpenoidic components constituted the most important fraction (64%) followed by the fatty acids (8.2%) and the hydrocarbonated fractions (10.7%

Isolation and characterization of halophilic Archaea able to produce biosurfactants.

Halotolerant microorganisms able to live in saline environments offer a multitude of actual or potential applications in various fields of biotechnology. This is why some strains of Halobacteria from an Algerian culture collection were screened for biosurfactant production in a standard medium using the qualitative drop-collapse test and emulsification activity assay. Five of the Halobacteria strains reduced the growth medium surface tension below 40 mN m(-1), and two of them exhibited high emulsion-stabilizing capacity. Diesel oil-in-water emulsions were stabilized over a broad range of conditions, from pH 2 to 11, with up to 35% sodium chloride or up to 25% ethanol in the aqueous phase. Emulsions were stable to three cycles of freezing and thawing. The components of the biosurfactant were determined; it contained sugar, protein and lipid. The two Halobacteria strains with enhanced biosurfactant producers, designated strain A21 and strain D21, were selected to identify by phenotypic, biochemical characteristics and by partial 16S rRNA gene sequencing. The strains have Mg(2+), and salt growth requirements are always above 15% (w/v) salts with an optimal concentration of 15-25%. Analyses of partial 16S rRNA gene sequences of the two strains suggested that they were halophiles belonging to genera of the family Halobacteriaceae, Halovivax (strain A21) and Haloarcula (strain D21). To our knowledge, this is the first report of biosurfactant production at such a high salt concentration.Journal ArticleResearch Support, Non-U.S. Gov'tinfo:eu-repo/semantics/publishe