Formal analysis of security properties in trusted computing protocols

This research introduces a general methodology in order to create a Coloured Petri Net (CPN) model of a security protocol. Then standard or user-defined security properties of the created CPN model are identified. After adding an attacker model to the protocol model, the security property is verified using state space method. This approach is applied to analyse a number of trusted computing protocols. The results show the applicability of proposed method to analyse both standard and user-defined properties.

Measuring the mechanical properties of ground ophthalmic polymer surfaces using nanoindentation

This work is motivated by the need to efficiently machine the edges of ophthalmic polymer lenses for mounting in spectacle or instrument frames. The polymer materials used are required to have suitable optical characteristics such high refractive index and Abbe number, combined with low density and high scratch and impact resistance. Edge surface finish is an important aesthetic consideration; its quality is governed by the material removal operation and the physical properties of the material being processed. The wear behaviour of polymer materials is not as straightforward as for other materials due to their molecular and structural complexity, not to mention their time-dependent properties. Four commercial ophthalmic polymers have been studied in this work using nanoindentation techniques which are evaluated as tools for probing surface mechanical properties in order to better understand the grinding response of polymer materials.

Atomistic simulation of surface functionalization on the interfacial properties of graphene-polymer nanocomposites

Graphene has been increasingly used as nano sized fillers to create a broad range of nanocomposites with exceptional properties. The interfaces between fillers and matrix play a critical role in dictating the overall performance of a composite. However, the load transfer mechanism along graphene-polymer interface has not been well understood. In this study, we conducted molecular dynamics simulations to investigate the influence of surface functionalization and layer length on the interfacial load transfer in graphene polymer nanocomposites. The simulation results show that oxygen-functionalized graphene leads to larger interfacial shear force than hydrogen-functionalized and pristine ones during pull-out process. The increase of oxygen coverage and layer length enhances interfacial shear force. Further increase of oxygen coverage to about 7% leads to a saturated interfacial shear force. A model was also established to demonstrate that the mechanism of interfacial load transfer consists of two contributing parts, including the formation of new surface and relative sliding along the interface. These results are believed to be useful in development of new graphene-based nanocomposites with better interfacial properties.

Mechanochemical synthesis of aluminium nanoparticles and their deuterium sorption properties to 2 kbar

A mechanochemical synthesis process has been used to synthesise aluminium nanoparticles. The aluminium is synthesised via a solid state chemical reaction which is initiated inside a ball mill at room temperature between either lithium (Li) or sodium (Na) metal which act as reducing agents with unreduced aluminium chloride (AlCl3). The reaction product formed consists of aluminium nanoparticles embedded within a by-product salt phase (LiCl or NaCl, respectively). The LiCl is washed with a suitable solvent resulting in aluminium (Al) nanoparticles which are not oxidised and are separated from the byproduct phase. Synthesis and washing was confirmed using X-ray diffraction (XRD). Nanoparticles were found to be ∼25–100nm from transmission electron microscopy (TEM) and an average size of 55nm was determined fromsmall angle X-ray scattering (SAXS) measurements. As synthesised Al/NaCl composites, washed Al nanoparticles, and purchased Al nanoparticles were deuterium (D2) absorption tested up to 2 kbar at a variety of temperatures, with no absorption detected within system resolution.

Tensile properties of a boron/nitrogen-doped carbon nanotube–graphene hybrid structure

Doping is an effective approach that allows for the intrinsic modification of the electrical and chemical properties of nanomaterials. Recently, a graphene and carbon nanotube hybrid structure (GNHS) has been reported, which extends the excellent properties of carbon-based materials to three dimensions. In this paper, we carried out a first-time investigation on the tensile properties of the hybrid structures with different dopants. It is found that with the presence of dopants, the hybrid structures usually exhibit lower yield strength, Young’s modulus, and earlier yielding compared to that of a pristine hybrid structure. For dopant concentrations below 2.5% no significant reduction of Young’s modulus or yield strength could be observed. For all considered samples, the failure is found to initiate at the region where the nanotubes and graphene sheets are connected. After failure, monatomic chains are normally observed around the failure region. Dangling graphene layers without the separation of a residual CNT wall are found to adhere to each other after failure with a distance of about 3.4 Å. This study provides a fundamental understanding of the tensile properties of the doped graphene–nanotube hybrid structures, which will benefit the design and also the applications of graphene-based hybrid materials.

A derivation of high-frequency asymptotic values of 3D added mass and damping based on properties of the Cummins' equation

This brief paper provides a novel derivation of the known asymptotic values of three-dimensional (3D) added mass and damping of marine structures in waves. The derivation is based on the properties of the convolution terms in the Cummins's Equation as derived by Ogilvie. The new derivation is simple and no approximations or series expansions are made. The results follow directly from the relative degree and low-frequency asymptotic properties of the rational representation of the convolution terms in the frequency domain. As an application, the extrapolation of damping values at high frequencies for the computation of retardation functions is also discussed.

Numerical investigation of mechanical and thermal dynamic properties of the industrial transformer

Industrial transformer is one of the most critical assets in the power and heavy industry. Failures of transformers can cause enormous losses. The poor joints of the electrical circuit on transformers can cause overheating and results in stress concentration on the structure which is the major cause of catastrophic failure. Few researches have been focused on the mechanical properties of industrial transformers under overheating thermal conditions. In this paper, both mechanical and thermal properties of industrial transformers are jointly investigated using Finite Element Analysis (FEA). Dynamic response analysis is conducted on a modified transformer FEA model, and the computational results are compared with experimental results from literature to validate this simulation model. Based on the FEA model, thermal stress is calculated under different temperature conditions. These analysis results can provide insights to the understanding of the failure of transformers due to overheating, therefore are significant to assess winding fault, especially to the manufacturing and maintenance of large transformers.

Moisture and tensile strength properties of starch-sugar cane nanofibre films

There is an increasing need for biodegradable, environmentally friendly plastics to replace the petroleum-based non-degradable plastics which litter and pollute the environment. Starch-based plastic film composites are becoming a popular alternative because of their low cost, biodegradability, the abundance of starch, and ease with which starch-based films can be chemically modified. This paper reports on the results of using sugar cane bagasse nanofibres to improve the physicochemical properties of starch-based polymers. The addition of bagasse nanofibre (2.5, 5, 10 or 20 wt%) to (modified) potato starch (‘Soluble starch’) reduced the moisture uptake by up to 17 % at 58 % relative humidity (RH). The film’s tensile strength and Young’s Modulus increased by up to 100 % and 200 % with 10 wt% and 20 wt% nanofibre respectively at 58% RH. The tensile strain reduced by up to 70 % at 20 wt% fibre loading. These results indicate that addition of sugar cane bagasse nanofibres significantly improved the properties of starch-based plastic films

Clinical dyslipidaemia is associated with changes in the lipid composition and inflammatory properties of apolipoprotein-B-containing lipoproteins from women with type 2 diabetes

The aim of this study was to use lipidomics to determine if the lipid composition of apolipoprotein-B-containing lipoproteins is modified by dyslipidaemia in type 2 diabetes and if any of the identified changes potentially have biological relevance in the pathophysiology of type 2 diabetes. VLDL and LDL from normolipidaemic and dyslipidaemic type 2 diabetic women and controls were isolated and quantified with HPLC and mass spectrometry. A detailed molecular characterisation of VLDL triacylglycerols (TAG) was also performed using the novel ozone-induced dissociation method, which allowed us to distinguish vaccenic acid (C18:1 n-7) from oleic acid (C18:1 n-9) in specific TAG species. Lipid class composition was very similar in VLDL and LDL from normolipidaemic type 2 diabetic and control participants. By contrast, dyslipidaemia was associated with significant changes in both lipid classes (e.g. increased diacylglycerols) and lipid species (e.g. increased C16:1 and C20:3 in phosphatidylcholine and cholesteryl ester and increased C16:0 [palmitic acid] and vaccenic acid in TAG). Levels of palmitic acid in VLDL and LDL TAG correlated with insulin resistance, and VLDL TAG enriched in palmitic acid promoted increased secretion of proinflammatory mediators from human smooth muscle cells. We showed that dyslipidaemia is associated with major changes in both lipid class and lipid species composition in VLDL and LDL from women with type 2 diabetes. In addition, we identified specific molecular lipid species that both correlate with clinical variables and are proinflammatory. Our study thus shows the potential of advanced lipidomic methods to further understand the pathophysiology of type 2 diabetes.

Effect of strong acids on red mud structural and fluoride adsorption properties

The removal of fluoride using red mud has been improved by acidifying red mud with hydrochloric, nitric and sulphuric acid. This investigation shows that the removal of fluoride using red mud is significantly improved if red mud is initially acidified. The acidification of red mud causes sodalite and cancrinite phases to dissociate, confirmed by the release of sodium and aluminium into solution as well as the disappearance of sodalite bands and peaks in infrared and X-ray diffraction data. The dissolution of these mineral phases increases the amount of available iron and aluminium oxide/hydroxide sites that are accessible for the adsorption of fluoride. The removal of fluoride is dependent on the charge of iron and aluminium oxide/hydroxides on the surface of red mud. Acidifying red mud with hydrochloric, nitric and sulphuric acid resulted in surface sites of the form ≡ SOH2+ and ≡ SOH. Optimum removal is obtained when the majority of surface sites are in the form ≡ SOH2+ as the substitution of a fluoride ion doesn’t cause a significant increase in pH. This investigation shows the importance of having a low and consistent pH for the removal of fluoride from aqueous solutions using red mud.

Psychometric properties of the modified RESIDE physical activity questionnaire among low-income overweight women

Objectives This study explored the criterion-related validity and test-retest reliability of the modified RESIDential Environment physical activity questionnaire and whether the instrument's validity varied by body mass index, education, race/ethnicity, or employment status. Design Validation study using baseline data collected for randomized trial of a weight loss intervention. Methods Participants recruited from health departments wore an ActiGraph accelerometer and self-reported non-occupational walking, moderate and vigorous physical activity on the modified RESIDential Environment questionnaire. We assessed validity (n = 152) using Spearman correlation coefficients, and reliability (n = 57) using intraclass correlation coefficients. Results When compared to steps, moderate physical activity, and bouts of moderate/vigorous physical activity measured by accelerometer, these questionnaire measures showed fair evidence for validity: recreational walking (Spearman correlation coefficients 0.23–0.36), total walking (Spearman correlation coefficients 0.24–0.37), and total moderate physical activity (Spearman correlation coefficients 0.18–0.36). Correlations for self-reported walking and moderate physical activity were higher among unemployed participants and women with lower body mass indices. Generally no other variability in the validity of the instrument was found. Evidence for reliability of RESIDential Environment measures of recreational walking, total walking, and total moderate physical activity was substantial (intraclass correlation coefficients 0.56–0.68). Conclusions Evidence for questionnaire validity and reliability varied by activity domain and was strongest for walking measures. The questionnaire may capture physical activity less accurately among women with higher body mass indices and employed participants. Capturing occupational activity, specifically walking at work, may improve questionnaire validity.

The invasive and metastatic properties of hormone-independent but hormone-responsive variants of MCF-7 human breast cancer cells

We have previously isolated a series of MCF-7 human breast cancer cell variants which no longer require estrogen-supplementation for tumor growth in nude mice (Clarke et al. Proc Natl Acad Sci USA 86: 3649-3653, 1989). We now report that these hormone-independent and hormone-responsive variants (MIII, MCF7/LCC1) can invade locally from solid mammary fat pad tumors, and produce primary extensions on the surface of intraperitoneal structures including liver, pancreas, and diaphragm. Both lymphatic and hematogenous dissemination are observed, resulting in the establishing of pulmonary, bone, and renal metastases. The pattern of metastasis by MIII and MCF7/LCC1 cells closely resembles that frequently observed in breast cancer patients, and provides the first evidence of metastasis from MCF-7 cells growing in vivo without supplementary estrogen. The interexperimental incidence of metastases, and the time from cell inoculation to the appearance of metastatic disease are variable. The increased metastatic potential is not associated with an increase in either the level of laminin attachment, laminin receptor mRNA expression, or secreted type IV collagenolytic activity. We also did not detect a significant decrease in the steady-state mRNA levels of the metastasis inhibitor nm23 gene. However, when growing without estrogen in vitro, MCF7/LCC1 cells produce elevated levels of the estrogen-inducible cathepsin D enzyme.

Common origins of MDA-MB-435 cells from various sources with those shown to have melanoma properties

Recently, the tissue origin of MDA-MB-435 cell line has been the subject of considerable debate. In this study, we set out to determine whether MDA-MB-435-DTP cells shown to express melanoma-specific genes were identical to various other MDA-MB-435 cell stocks worldwide. CGH-microarray, genetic polymorphism genotyping, microsatellite fingerprint analysis and/or chromosomal number confirmed that the MDA-MB-435 cells maintained at the Lombardi Comprehensive Cancer Center (MDA-MB-435-LCC) are almost identical to the MDA-MB-435-DTP cells, and showed a very similar profile to those obtained from the same original source (MD Anderson Cancer Center) but maintained independently (MDA-MB-435-PMCC). Gene expression profile analy-sis confirmed common expression of genes among different MDA-MB-435-LCC cell stocks, and identified some unique gene products in MDA-MB-435-PMCC cells. RT-PCR analysis confirmed the expression of the melanoma marker tyrosinase across multiple MDA-MB-435 cell stocks. Collectively, our results show that the MDA-MB-435 cells used widely have identical origins to those that exhibit a melanoma-like gene expression signature, but exhibit a small degree of genotypic and phenotypic drift.

Security properties analysis in a TPM-based protocol

Security protocols are designed in order to provide security properties (goals). They achieve their goals using cryptographic primitives such as key agreement or hash functions. Security analysis tools are used in order to verify whether a security protocol achieves its goals or not. The analysed property by specific purpose tools are predefined properties such as secrecy (confidentiality), authentication or non-repudiation. There are security goals that are defined by the user in systems with security requirements. Analysis of these properties is possible with general purpose analysis tools such as coloured petri nets (CPN). This research analyses two security properties that are defined in a protocol that is based on trusted platform module (TPM). The analysed protocol is proposed by Delaune to use TPM capabilities and secrets in order to open only one secret from two submitted secrets to a recipient