A cryptographic analysis of the TLS 1.3 handshake protocol candidates

The Internet Engineering Task Force (IETF) is currently developing the next version of the Transport Layer Security (TLS) protocol, version 1.3. The transparency of this standardization process allows comprehensive cryptographic analysis of the protocols prior to adoption, whereas previous TLS versions have been scrutinized in the cryptographic literature only after standardization. This is even more important as there are two related, yet slightly different, candidates in discussion for TLS 1.3, called draft-ietf-tls-tls13-05 and draft-ietf-tls-tls13-dh-based. We give a cryptographic analysis of the primary ephemeral Diffie–Hellman-based handshake protocol, which authenticates parties and establishes encryption keys, of both TLS 1.3 candidates. We show that both candidate handshakes achieve the main goal of providing secure authenticated key exchange according to an augmented multi-stage version of the Bellare–Rogaway model. Such a multi-stage approach is convenient for analyzing the design of the candidates, as they establish multiple session keys during the exchange. An important step in our analysis is to consider compositional security guarantees. We show that, since our multi-stage key exchange security notion is composable with arbitrary symmetric-key protocols, the use of session keys in the record layer protocol is safe. Moreover, since we can view the abbreviated TLS resumption procedure also as a symmetric-key protocol, our compositional analysis allows us to directly conclude security of the combined handshake with session resumption. We include a discussion on several design characteristics of the TLS 1.3 drafts based on the observations in our analysis.

Porous zirconia scaffold modified with mesoporous bioglass coating

Porous yttria-stabilized zirconia (YSZ) has been regarded as a potential candidate for bone substitute as its high mechanical strength. However, porous YSZ bodies are biologically inert to bone tissue. It is therefore necessary to introduce bioactive coatings onto the walls of the porous structures to enhance the bioactivity. In this study, the porous zirconia scaffolds were prepared by infiltration of Acrylonitrile Butadiene Styrene (ABS) scaffolds with 3 mol% yttria stabilized zirconia slurry. After sintering, a method of sol-gel dip coating was involved to make coating layer of mesoporous bioglass (MBGs). The porous zirconia without the coating had high porosities of 60.1% to 63.8%, and most macropores were interconnected with pore sizes of 0.5-0.8mm. The porous zirconia had compressive strengths of 9.07-9.90MPa. Moreover, the average coating thickness was about 7μm. There is no significant change of compressive strength for the porous zirconia with mesoporous biogalss coating. The bone marrow stromal cell (BMSC) proliferation test showed both uncoated and coated zirconia scaffolds have good biocompatibility. The scanning electron microscope (SEM) micrographs and the compositional analysis graphs demonstrated that after testing in the simulated body fluid (SBF) for 7 days, the apatite formation occurred on the coating surface. Thus, porous zirconia-based ceramics were modified with bioactive coating of mesoporous bioglass for potential biomedical applications.

The undesirable acetylation of cellulose by the acetate ion of 1-ethyl-3-methylimidazolium acetate

The ionic liquid (IL) 1-ethyl-3-methylimidazolium acetate ([C2mim]OAc) is considered to be an inert solvent of cellulose and lignocellulosic biomass. Acetylation (1.7 % mol, or DS 0.017) of cellulose after dissolution in [C2mim]OAc (150 °C for 20 min), is demonstrated by compositional analysis, FTIR analysis and 13C NMR spectroscopy (in [C2min]OAc with 13C enriched acetate). This acetylation, in the absence of added acylating agents, has not been reported before and may limit [C2mim]OAc utility in industrial scale biomass processing, even at this low extent. For example, cellulose acetylation may contribute to IL loss in processes where the IL is recovered and reused and inhibit enzyme saccharification of cellulose in lignocellulosic biofuel production processes based on saccharification and fermentation.

A study of ionic liquids for dissolution of sugarcane bagasse

Over the last decade, Ionic Liquids (ILs) have been used for the dissolution and derivatization of isolated cellulose. This ability of ILs is now sought for their application in the selective dissolution of cellulose from lignocellulosic biomass, for the manufacture of cellulosic ethanol. However, there are significant knowledge gaps in the understanding of the chemistry of the interaction of biomass and ILs. While imidazolium ILs have been used successfully to dissolve both isolated crystalline cellulose and components of lignocellulosic biomass, phosphonium ILs have not been sufficiently explored for the use in dissolution of lignocellulosic biomass. This thesis reports on the study of the chemistry of sugarcane bagasse with phosphonium ILs. Qualitative and quantitative measurements of biomass components dissolved in the phosphonium ionic liquids (ILs), trihexyltetradecylphosphonium chloride ([P66614]Cl) and tributylmethylphosphonium methylsulphate ([P4441]MeSO4) are obtained using attenuated total reflectance-Fourier Transform Infra Red (FTIR). Absorption bands related to cellulose, hemicelluloses and lignin dissolution monitored in situ in biomass-IL mixtures indicate lignin dissolution in both ILs and some holocellulose dissolution in the hydrophilic [P4441]MeSO4. The kinetics of lignin dissolution reported here indicate that while dissolution in the hydrophobic IL [P66614]Cl appears to follow an accepted mechanism of acid catalysed β-aryl ether cleavage, dissolution in the hydrophilic IL [P4441]MeSO4 does not appear to follow this mechanism and may not be followed by condensation reactions (initiated by reactive ketones). The quantitative measurement of lignin dissolution in phosphonium ILs based on absorbance at 1510 cm-1 has demonstrated utility and greater precision than the conventional Klason lignin method. The cleavage of lignin β-aryl ether bonds in sugarcane bagasse by the ionic liquid [P66614]Cl, in the presence of catalytic amounts of mineral acid. (ca. 0.4 %). The delignification process of bagasse is studied over a range of temperatures (120 °C to 150 °C) by monitoring the production of β-ketones (indicative of cleavage of β-aryl ethers) using FTIR spectroscopy and by compositional analysis of the undissolved fractions. Maximum delignification is obtained at 150 °C, with 52 % of lignin removed from the original lignin content of bagasse. No delignification is observed in the absence of acid which suggests that the reaction is acid catalysed with the IL solubilising the lignin fragments. The rate of delignification was significantly higher at 150 °C, suggesting that crossing the glass transition temperature of lignin effects greater freedom of rotation about the propanoid carbon-carbon bonds and leads to increased cleavage of β-aryl ethers. An attempt has been made to propose a probable mechanism of delignifcation of bagasse with the phosphonuim IL. All polymeric components of bagasse, a lignocellulosic biomass, dissolve in the hydrophilic ionic liquid (IL) tributylmethylphosphonium methylsulfate ([P4441]MeSO4) with and without a catalytic amount of acid (H2SO4, ca. 0.4 %). The presence of acid significantly increases the extent of dissolution of bagasse in [P4441]MeSO4 (by ca. 2.5 times under conditions used here). The dissolved fractions can be partially recovered by the addition of an antisolvent (water) and are significantly enriched in lignin. Unlike acid catalysed dissolution in the hydrophobic IL tetradecyltrihexylphosphonium chloride there is little evidence of cleavage of β-aryl ether bonds of lignin dissolving in [P4441]MeSO4 (with and without acid), but this mechanism may play some role in the acid catalysed dissolution. The XRD of the undissolved fractions suggests that the IL may selectively dissolve the amorphous cellulose component, leaving behind crystalline material.

The chemistry of acid catalyzed delignification of sugarcane bagasse in the ionic liquid trihexyl tetradecyl phosphonium chloride

This article reports on the cleavage of lignin ß-aryl ether bonds in sugarcane bagasse by the ionic liquid (IL) trihexyl tetradecyl phosphonium chloride [P66614] Cl, in the presence of catalytic amounts of mineral acid fca. 0.4%). The deligniflcation process of bagasse was studied over a range of temperatures (120°C to 150°C) by monitoring the production of ß-ketones (indicative of cleavage of ß-aryl ethers) using FTIR spectroscopy and by compositional analysis of the undissolved fractions. Maximum deligniflcation was obtained at 150°C, with 52% of lignin removed from the original lignin content of bagasse. No deligniflcation was observed in the absence of acid, which suggests that the reaction is acid catalyzed with the IL solubilizing the lignin fragments. The rate of deligniflcation was significantly higher at 150°C, suggesting that crossing the glass transition temperature of lignin effects greater freedom of rotation about the propanoid carbon-carbon bonds and leads to increased cleavage of ß-aryl ethers. An attempt has been made to propose a probable mechanism of deligniflcation of bagasse with the phosphonuim IL. © Taylor & Francis Group, LLC.

The electrochemical corrosion behaviour of quaternary gold alloys when exposed to 3.5% NaCl solution

Lower carat gold alloys, specifically 9 carat gold alloys, containing less than 40 % gold, and alloying additions of silver, copper and zinc, are commonly used in many jewellery applications, to offset high costs and poor mechanical properties associated with pure gold. While gold is considered to be chemically inert, the presence of active alloying additions raises concerns about certain forms of corrosion, particularly selective dissolution of these alloys. The purpose of this study was to systematically study the corrosion behaviour of a series of quaternary gold–silver–copper–zinc alloys using dc potentiodynamic scanning in saline (3.5 % NaCl) environment. Full anodic/cathodic scans were conducted to determine the overall corrosion characteristics of the alloy, followed by selective anodic scans and subsequent morphological and compositional analysis of the alloy surface and corroding media to determine the extent of selective dissolution. Varying degrees of selective dissolution and associated corrosion rates were observed after anodic polarisation in 3.5 % NaCl, depending on the alloy composition. The corrosion behaviour of the alloys was determined by the extent of anodic reactions which induce (1) formation of oxide scales on the alloy surface and or (2) dissolution of Zn and Cu species. In general, the improved corrosion characteristics of alloy #3 was attributed to the composition of Zn/Cu in the alloy and thus favourable microstructure promoting the formation of protective oxide/chloride scales and reducing the extent of Cu and Zn dissolution.

Compositional data analysis (CoDA) approaches to distance in information retrieval

Many techniques in information retrieval produce counts from a sample, and it is common to analyse these counts as proportions of the whole - term frequencies are a familiar example. Proportions carry only relative information and are not free to vary independently of one another: for the proportion of one term to increase, one or more others must decrease. These constraints are hallmarks of compositional data. While there has long been discussion in other fields of how such data should be analysed, to our knowledge, Compositional Data Analysis (CoDA) has not been considered in IR. In this work we explore compositional data in IR through the lens of distance measures, and demonstrate that common measures, naïve to compositions, have some undesirable properties which can be avoided with composition-aware measures. As a practical example, these measures are shown to improve clustering. Copyright 2014 ACM.

Eco-structure data forms : classification of data analysis using perceived design affordances for musical outcomes

This paper explores a method of comparative analysis and classification of data through perceived design affordances. Included is discussion about the musical potential of data forms that are derived through eco-structural analysis of musical features inherent in audio recordings of natural sounds. A system of classification of these forms is proposed based on their structural contours. The classifications include four primitive types; steady, iterative, unstable and impulse. The classification extends previous taxonomies used to describe the gestural morphology of sound. The methods presented are used to provide compositional support for eco-structuralism.

Tinamous and moa flock together : mitochondrial genome sequence analysis reveals independent losses of flight among ratites

Ratites are large, flightless birds and include the ostrich, rheas, kiwi, emu, and cassowaries, along with extinct members, such as moa and elephant birds. Previous phylogenetic analyses of complete mitochondrial genome sequences have reinforced the traditional belief that ratites are monophyletic and tinamous are their sister group. However, in these studies ratite monophyly was enforced in the analyses that modeled rate heterogeneity among variable sites. Relaxing this topological constraint results in strong support for the tinamous (which fly) nesting within ratites. Furthermore, upon reducing base compositional bias and partitioning models of sequence evolution among protein codon positions and RNA structures, the tinamou–moa clade grouped with kiwi, emu, and cassowaries to the exclusion of the successively more divergent rheas and ostrich. These relationships are consistent with recent results from a large nuclear data set, whereas our strongly supported finding of a tinamou–moa grouping further resolves palaeognath phylogeny. We infer flight to have been lost among ratites multiple times in temporally close association with the Cretaceous–Tertiary extinction event. This circumvents requirements for transient microcontinents and island chains to explain discordance between ratite phylogeny and patterns of continental breakup. Ostriches may have dispersed to Africa from Eurasia, putting in question the status of ratites as an iconic Gondwanan relict taxon. [Base composition; flightless; Gondwana; mitochondrial genome; Palaeognathae; phylogeny; ratites.]

The kineikonic mode : a multimodal analysis of students’ claymation movies

Globalised communication in society today is characterised by multimodal forms of meaning making in the context of increased cultural and linguistic diversity. This research paper responds to these imperatives, applying Halliday's (1978, 1994) categories of systemic functional linguistics - representational or ideational, interactive or interpersonal, and compositional or textual meanings. Following the work of Kress (2000), van Leeuwen (Kress and van Leeuwen, 1996), and Jewitt (2006), multimodal semiotic analysis is applied to claymation movies that were collaboratively designed by Year 6 students. The significance of this analysis is the metalanguage for textual work in the kineikonic mode - moving images.

Surface analysis of lipids by mass spectrometry : More than just imaging

Mass spectrometry is now an indispensable tool for lipid analysis and is arguably the driving force in the renaissance of lipid research. In its various forms, mass spectrometry is uniquely capable of resolving the extensive compositional and structural diversity of lipids in biological systems. Furthermore, it provides the ability to accurately quantify molecular-level changes in lipid populations associated with changes in metabolism and environment; bringing lipid science to the "omics" age. The recent explosion of mass spectrometry-based surface analysis techniques is fuelling further expansion of the lipidomics field. This is evidenced by the numerous papers published on the subject of mass spectrometric imaging of lipids in recent years. While imaging mass spectrometry provides new and exciting possibilities, it is but one of the many opportunities direct surface analysis offers the lipid researcher. In this review we describe the current state-of-the-art in the direct surface analysis of lipids with a focus on tissue sections, intact cells and thin-layer chromatography substrates. The suitability of these different approaches towards analysis of the major lipid classes along with their current and potential applications in the field of lipid analysis are evaluated. © 2013 Elsevier Ltd. All rights reserved.

Analysis of ancient pottery and ceramic objects using X-ray fluorescence spectrometry

Archaeology has been called 'the science of the artefact' and nothing demonstrates this point better than the current interest displayed in provenance studies of archaeological objects. In theory, every vessel carries a chemical compositional pattern or 'fingerprint' identical with the clay from which it was made and this relationship is basic to provenance studies. The reasoning behind provenance or sourcing studies is to probe into this past and attempt to re-create prehistory by obtaining information on exchange and social interaction. This paper discusses the use of XRF spectrometry for the analysis of ancient pottery and ceramics to examine whether it is possible to predict prehictoric cultural exchanges.

Tools for compositional data with a total

Compositional data analysis usually deals with relative information between parts where the total (abundances, mass, amount, etc.) is unknown or uninformative. This article addresses the question of what to do when the total is known and is of interest. Tools used in this case are reviewed and analysed, in particular the relationship between the positive orthant of D-dimensional real space, the product space of the real line times the D-part simplex, and their Euclidean space structures. The first alternative corresponds to data analysis taking logarithms on each component, and the second one to treat a log-transformed total jointly with a composition describing the distribution of component amounts. Real data about total abundances of phytoplankton in an Australian river motivated the present study and are used for illustration.

Raman microscopy of formamide-intercalated kaolinites treated by controlled-rate thermal analysis technology

Raman spectroscopy of formamide-intercalated kaolinites treated using controlled-rate thermal analysis technology (CRTA), allowing the separation of adsorbed formamide from intercalated formamide in formamide-intercalated kaolinites, is reported. The Raman spectra of the CRTA-treated formamide-intercalated kaolinites are significantly different from those of the intercalated kaolinites, which display a combination of both intercalated and adsorbed formamide. An intense band is observed at 3629 cm-1, attributed to the inner surface hydroxyls hydrogen bonded to the formamide. Broad bands are observed at 3600 and 3639 cm-1, assigned to the inner surface hydroxyls, which are hydrogen bonded to the adsorbed water molecules. The hydroxyl-stretching band of the inner hydroxyl is observed at 3621 cm-1 in the Raman spectra of the CRTA-treated formamide-intercalated kaolinites. The results of thermal analysis show that the amount of intercalated formamide between the kaolinite layers is independent of the presence of water. Significant differences are observed in the CO stretching region between the adsorbed and intercalated formamide.