Tool-supported dataflow analysis of a security-critical embedded device

Defence organisations perform information security evaluations to confirm that electronic communications devices are safe to use in security-critical situations. Such evaluations include tracing all possible dataflow paths through the device, but this process is tedious and error-prone, so automated reachability analysis tools are needed to make security evaluations faster and more accurate. Previous research has produced a tool, SIFA, for dataflow analysis of basic digital circuitry, but it cannot analyse dataflow through microprocessors embedded within the circuit since this depends on the software they run. We have developed a static analysis tool that produces SIFA compatible dataflow graphs from embedded microcontroller programs written in C. In this paper we present a case study which shows how this new capability supports combined hardware and software dataflow analyses of a security critical communications device.

Theoretical and numerical investigation of bending properties of Cu nanowires

Based on the AFM-bending experiments, a molecular dynamics (MD) bending simulation model is established which could accurately account for the full spectrum of the mechanical properties of NWs in a double clamped beam configuration, ranging from elasticity to plasticity and failure. It is found that, loading rate exerts significant influence to the mechanical behaviours of nanowires (NWs). Specifically, a loading rate lower than 10 m/s is found reasonable for a homogonous bending deformation. Both loading rate and potential between the tip and the NW are found to play an important role in the adhesive phenomenon. The force versus displacement (F-d) curve from MD simulation is highly consistent in shapes with that from experiments. Symmetrical F-d curves during loading and unloading processes are observed, which reveal the linear-elastic and non-elastic bending deformation of NWs. The typical bending induced tensile-compressive features are observed. Meanwhile, the simulation results are excellently fitted by the classical Euler-Bernoulli beam theory with axial effect. It is concluded that, axial tensile force becomes crucial in bending deformation when the beam size is down to nanoscale for double clamped NWs. In addition, we find shorter NWs will have an earlier yielding and a larger yielding force. Mechanical properties (Young’s modulus & yield strength) obtained from both bending and tensile deformations are found comparable with each other. Specifically, the modulus is essentially similar under these two loading methods, while the yield strength during bending is observed larger than that during tension.

Raman spectroscopy of the multianion mineral gartrellite-PbCu(Fe3+,Cu)(AsO4)2(OH,H2O)2

The multianion mineral gartrellite PbCu(Fe3+,Cu)(AsO4)2(OH,H2O)2 has been studied by a combination of Raman and infrared spectroscopy. The vibrational spectra of two gartrellite samples from Durango and Ashburton Downs were compared. Gartrellite is one of the tsumcorite mineral group based upon arsenate and sulphate anions. Crystal symmetry is either triclinic in the case of an ordered occupation of two cationic sites, triclinic due to ordering of the H bonds in the case of species with 2 water molecules per formula unit, or monoclinic in the other cases. Characteristic Raman spectra of the minerals enable the assignment of the bands to specific vibrational modes. These spectra are related to the structure of gartrellite. The position of the hydroxyl and water stretching vibrations are related to the strength of the hydrogen bond formed between the OH unit and the AsO4 anion.

Tuning the reduction power of supported gold nanoparticle photocatalysts for selective reductions by manipulating wavelength of visible light irradiation

Gold nanoparticles supported on CeO2 were found to be efficient photocatalysts for three selective reductions of organic compounds at ambient temperatures, under irradiation of visible light; their reduction ability can be tuned by manipulating the irradiation wavelength.

Zeolite supported gold nanoparticles for selective photooxidation of aromatic alcohols under visible light irradiation

With new photocatalysts of gold nanoparticles supported on zeolite supports (Au/zeolite), oxidation of benzyl alcohol and its derivatives into the corresponding aldehydes can proceed well with a high selectivity (99%) under visible light irradiation at ambient temperature. Au/zeolite photocatalysts were characterized by UV/Vis, XPS, TEM, XRD, EDS, BET, IR, and Raman techniques. The Surface Plasmon Resonance (SPR) effect of gold nanoparticles, the adsorption capability of zeolite supports, and the molecular polarities of aromatic alcohols were demonstrated to have an essential correlation with the photocatalytic performances. In addition, the effects of light intensity, wavelength range, and the role of molecular oxygen were investigated in detail. The kinetic study indicated that the visible light irradiation required much less apparent activation energy for photooxidation compared with thermal reaction. Based on the characterization data and the photocatalytic performances, we proposed a possible photooxidation mechanism.

The parents at playgroup research report : engaging families in supported playgroups

The past decade has seen increasing numbers of government programs funded to support vulnerable families with young children. Supported playgroups are one important strategy in Australia’s current family policies that are provided in all states and territories (ARTD, 2008). National policies have increasingly invested in family support programs, such as supported playgroups. Despite known challenges in engaging vulnerable families in support programs, little is known about the capacity of supported playgroups to effectively engage families to achieve desired outcomes. This project explores family patterns of attendance in supported playgroups and examines the extent to which parental characteristics and experiences of the playgroup explain variations in engagement. The findings can inform the delivery of other family support programs...

Health matters for subscribers to community-supported agriculture

There are a variety of reasons and motivations for people to subscribe to community-supported agriculture (CSA) schemes, many of which include social, ethical, environmental, and economical benefits. The global rise of food allergies and food related health issues in recent years has led to a growing number of initiatives particularly in developing countries to raise more awareness of the current situation amongst individuals, organisations, and government bodies, and to plan for its implications for the existing food and health systems. Based on a mixed method research conducted in Australia, this paper argues that personal health matters are one of the key motivators for consumers to seek out alternative food systems, particularly CSA initiatives. In addition, it presents the willingness for consumers to seek out information about the food they consume and proposes that technology plays a key role in being used as a conduit to share and investigate information relating to alternative food systems. Further research is required to determine the variety of benefits and opportunities alternative food systems can provide consumers with food related health issues.

Selective reductions using visible light photocatalysts of supported gold nanoparticles

Photocatalytic synthesis using visible light is a desirable chemical process because of its potential to utilize sunlight. Supported gold nanoparticles (Au-NPs) were found to be efficient photocatalysts and the effects of the supports were identified including CeO2, TiO2, ZrO2, Al2O3, and zeolite Y. In particular Au/CeO2 exhibited the high catalytic activity to reduce nitroaromatics to azo compounds, hydrogenate azobenzene to hydroazobenzene, reduce ketones to alcohols, and deoxygenate epoxides to alkenes at ambient temperatures, under irradiation of visible light (or simulated sunlight). The reac-tive efficiency depends on two primary factors: one is the light adsorption of catalysts and another is the driving ability of catalysts corresponding to the reactants. The light absorption by Au-NPs is due to surface plasmon resonance effect or inter-band electron transition; this is related to the reduction ability of the photocatalysts. Irradiation with shorter wavelengths can excite the conduction electrons in Au-NPs to higher energy levels and as a result, induce reduction with more negative reduction potentials. It is known when irradiated with light the Au-NPs can abstract hydrogen from isopropanol forming Au-H species on the Au-NP surface. Hence, we proposed that the active Au-H species will react with the N=O, N=N, C=O double bonds or epoxide bonds, which are weakened by the interaction with the excited electrons in the Au-NPs, and yield the final reductive products. The reacting power of the Au-H species depends on the energy of the excited electrons in Au-NPs: the higher the electronic energy, the stronger the reduction ability of the Au-H species. This finding demonstrates that we can tune the reduction ability of the photocatalysts by manipulating the irradiation wavelength.

Identification of copper species present in Cu-ZSM-5 catalysts for NOx reduction

The structure of Cu-ZSM-5 catalysts that show activity for direct NO decomposition and selective catalytic reduction of NOx by hydrocarbons has been investigated by a multitude of modern surface analysis and spectroscopy techniques including X-ray photoelectron spectroscopy, thermogravimetric analysis, and in situ Fourier transform infrared spectroscopy. A series of four catalysts were prepared by exchange of Na-ZSM-5 with dilute copper acetate, and the copper loading was controlled by variation of the solution pH. Underexchanged catalysts contained isolated Cu2+OH-(H2O) species and as the copper loading was increased Cu2+ ions incorporated into the zeolite lattice appeared. The sites at which the latter two copper species were located were fundamentally different. The Cu2+OH-(H2O) moieties were bound to two lattice oxygen ions and associated with one aluminum framework species. In contrast, the Cu2+ ions were probably bound to four lattice oxygen ions and associated with two framework aluminum ions. Once the Cu-ZSM-5 samples attained high levels of exchange, the development of [Cu(μ-OH)2Cu]n2+OH-(H2O) species along with a small concentration of Cu(OH)2 was observed. On activation in helium to 500°C the Cu2+OH-(H2O) species transformed into Cu2+O- and Cu+ moieties, whereas the Cu2+ ions were apparently unaffected by this treatment (apart from the loss of ligated water molecules). Calcination of the precursors resulted in the formation of Cu2+O2- and a one-dimensional CuO species. Temperature-programmed desorption studies revealed that oxygen was removed from the latter two species at 407 and 575°C, respectively. © 1999 Academic Press.

Partial melt processing and electrical properties of Bi-Sr-Ca-Cu-o superconducting thick films on (100) MgO substrates

Superconducting thick films of Bi2Sr2CaCu2Oy (Bi-2212) on single-crystalline (100) MgO substrates have been prepared using a doctor-blade technique and a partial-melt process. It is found that the phase composition and the amount of Ag addition to the paste affect the structure and superconducting properties of the partially melted thick films. The optimum heat treatment schedule for obtaining high Jc has been determined for each paste. The heat treatment ensures attainment of high purity for the crystalline Bi-2212 phase and high orientation of Bi-2212 crystals, in which the c-axis is perpendicular to the substrate. The highest Tc, obtained by resistivity measurement, is 92.2 K. The best value for Jct (transport) of these thick films, measured at 77 K in self-field, is 8 × 10 3 Acm -2.