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

4-hexylbithieno[3,2-b:2′3′-e]pyridine: An efficient electron-accepting unit in fluorene and indenofluorene copolymers for light-emitting devices

4-Hexylbithienopyridine has been prepared as a novel electron-accepting monomer for conjugated polymers. To test its electronic properties, alternating copolymers with fluorene and indenofluorene polymers have been prepared. The copolymers displayed reduction potentials about 0.5 V lower than for the corresponding fluorene and indenofluorene homopolymers, indicating much improved electron-accepting properties. Analysis of the microscopic morphology of thin films of the copolymers by AFM shows that they lack the extensive supramolecular order seen with the homopolymers, which is attributed to the bithienopyridine units disrupting the π-stacking. LEDs using these polymers as the emitting layer produce blue-green emission with low turn-on voltages with aluminum electrodes confirming their improved electron affinity. The indenofluorene copolymer displayed an irreversible red shift in emission at high voltages, which is attributed to oxidation of the indenofluorene units. This red shift occurred at higher potentials than for indenofluorene homopolymers in LEDs, suggesting that the heterocyclic moieties offer some protection against electrically promoted oxidation.

Analysis of the damping properties of high-transmission-ratio Cycloidal drives

Cycloidal drives are widely used in today’s industries for drives where large reduction ratios are required. Drive-train dynamics plays an important role in their design. This paper presents a new methodology for assessing damping characteristics of Cycloidal drives and compares the natural frequencies obtained from experiments and theoretical/numerical calculations using Fast-Fourier-Transforms.

University Student Depression Inventory (USDI) : confirmatory factor analysis and review of psychometric properties

Background: The 30-item USDI is a self-report measure that assesses depressive symptoms among university students. It consists of three correlated three factors: Lethargy, Cognitive-Emotional and Academic motivation. The current research used confirmatory factor analysis to asses construct validity and determine whether the original factor structure would be replicated in a different sample. Psychometric properties were also examined. Method: Participants were 1148 students (mean age 22.84 years, SD = 6.85) across all faculties from a large Australian metropolitan university. Students completed a questionnaire comprising of the USDI, the Depression Anxiety Stress Scale (DASS) and Life Satisfaction Scale (LSS). Results: The three correlated factor model was shown to be an acceptable fit to the data, indicating sound construct validity. Internal consistency of the scale was also demonstrated to be sound, with high Cronbach Alpha values. Temporal stability of the scale was also shown to be strong through test-retest analysis. Finally, concurrent and discriminant validity was examined with correlations between the USDI and DASS subscales as well as the LSS, with sound results contributing to further support the construct validity of the scale. Cut-off points were also developed to aid total score interpretation. Limitations: Response rates are unclear. In addition, the representativeness of the sample could be improved potentially through targeted recruitment (i.e. reviewing the online sample statistics during data collection, examining the representativeness trends and addressing particular faculties within the university that were underrepresented). Conclusions: The USDI provides a valid and reliable method of assessing depressive symptoms found among university students.

Porohyperelastic analysis to explore mechanical properties of chondrocytes using numerical modeling and experiments : a finite element study

There are many continuum mechanical models have been developed such as liquid drop models, solid models, and so on for single living cell biomechanics studies. However, these models do not give a fully approach to exhibit a clear understanding of the behaviour of single living cells such as swelling behaviour, drag effect, etc. Hence, the porohyperelastic (PHE) model which can capture those aspects would be a good candidature to study cells behaviour (e.g. chondrocytes in this study). In this research, an FEM model of single chondrocyte cell will be developed by using this PHE model to simulate Atomic Force Microscopy (AFM) experimental results with the variation of strain rate. This material model will be compared with viscoelastic model to demonstrate the advantages of PHE model. The results have shown that the maximum value of force applied of PHE model is lower at lower strain rates. This is because the mobile fluid does not have enough time to exude in case of very high strain rate and also due to the lower permeability of the membrane than that of the protoplasm of chondrocyte. This behavior is barely observed in viscoelastic model. Thus, PHE model is the better model for cell biomechanics studies.

Testing the psychometric properties of the Brisbane Practice Environment Measure using Exploratory Factor Analysis and Confirmatory Factor Analysis in an Australian registered nurse population

A cross-sectional survey was conducted, and the construct validity and reliability of the Brisbane Practice Environment Measure in an Australian sample of registered nurses were examined. Nurses were randomly selected from the database of an Australian nursing organization. The original 33 items of the Brisbane Practice Environment Measure were utilized to inform the psychometric properties using confirmatory factor analysis. The Cronbach's alpha was 0.938 for the total scale and ranged 0.657–0.887 for the subscales. A five-factor structure of the measure was confirmed, χ2 = 944.622, (P < 0.01), χ2/d.f. ratio = 2.845, Tucker Lewis Index 0.929, Root Mean Square Error = 0.061 and Comparative Fit Index = 0.906. The selected 28 items of the measure proved reliable and valid in measuring effects of the practice environment upon Australian nurses. The implications are that regular measurement of the practice environment using these 28 items might assist in the development of strategies which might improve job satisfaction and retention of registered nurses in Australia.

A Near-Infrared Reflectance Spectroscopy Method for Direct Analysis of Several Chemical Components and Properties of Fruit, for Example, Chinese Hawthorn

Near-infrared spectroscopy (NIRS) calibrations were developed for the discrimination of Chinese hawthorn (Crataegus pinnatifida Bge. var. major) fruit from three geographical regions as well as for the estimation of the total sugar, total acid, total phenolic content, and total antioxidant activity. Principal component analysis (PCA) was used for the discrimination of the fruit on the basis of their geographical origin. Three pattern recognition methods, linear discriminant analysis, partial least-squares-discriminant analysis, and back-propagation artificial neural networks, were applied to classify and compare these samples. Furthermore, three multivariate calibration models based on the first derivative NIR spectroscopy, partial least-squares regression, back-propagation artificial neural networks, and least-squares-support vector machines, were constructed for quantitative analysis of the four analytes, total sugar, total acid, total phenolic content, and total antioxidant activity, and validated by prediction data sets.

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.

Functionalized Ag nanoparticles with tunable optical properties for selective protein analysis

We present a preparation procedure for small sized biocompatibly coated Ag nanoparticles with tunable surface plasmon resonances. The conditions were optimised with respect to the resonance Raman signal enhancement of heme proteins and to the preservation of the native protein structure....

Investigation of the effects of the fatty acid profile on fuel properties using a Multi-Criteria Decision Analysis

The structural features of fatty acids in biodiesel, including degree of unsaturation, percentage of saturated fatty acids and average chain length, influence important fuel properties such as cetane number, iodine value, density, kinematic viscosity, higher heating value and oxidation stability. The composition of fatty acid esters within the fuel should therefore be in the correct ratio to ensure fuel properties are within international biodiesel standards such as ASTM 6751 or EN 14214. This study scrutinises the influence of fatty acid composition and individual fatty acids on fuel properties. Fuel properties were estimated based on published equations, and measured according to standard procedure ASTM D6751 and EN 14214 to confirm the influences of the fatty acid profile. Based on fatty acid profile-derived calculations, the cetane number of the microalgal biodiesel was estimated to be 11.6, but measured 46.5, which emphasises the uncertainty of the method used for cetane number calculation. Multi-criteria decision analysis (MCDA), PROMETHEE-GAIA, was used to determine the influence of individual fatty acids on fuel properties in the GAIA plane. Polyunsaturated fatty acids increased the iodine value and had a negative influence on cetane number. Kinematic viscosity was negatively influenced by some long chain polyunsaturated fatty acids such as C20:5 and C22:6 and some of the more common saturated fatty acids C14:0 and C18:0. The positive impact of average chain length on higher heating value was also confirmed in the GAIA plane