Information flow analysis for fail-secure devices

Information security devices must preserve security properties even in the presence of faults. This in turn requires a rigorous evaluation of the system behaviours resulting from component failures, especially how such failures affect information flow. We introduce a compositional method of static analysis for fail-secure behaviour. Our method uses reachability matrices to identify potentially undesirable information flows based on the fault modes of the system's components.

Identifying critical components during information security evaluations

Electronic communications devices intended for government or military applications must be rigorously evaluated to ensure that they maintain data confidentiality. High-grade information security evaluations require a detailed analysis of the device's design, to determine how it achieves necessary security functions. In practice, such evaluations are labour-intensive and costly, so there is a strong incentive to find ways to make the process more efficient. In this paper we show how well-known concepts from graph theory can be applied to a device's design to optimise information security evaluations. In particular, we use end-to-end graph traversals to eliminate components that do not need to be evaluated at all, and minimal cutsets to identify the smallest group of components that needs to be evaluated in depth.

Reliability of the input-output properties of the cortico-spinal pathway obtained from transcranial magnetic and electrical stimulation

The purpose of this experiment was to assess the test-retest reliability of input-output parameters of the cortico-spinal pathway derived from transcranial magnetic (TMS) and electrical (TES) stimulation at rest and during muscle contraction. Motor evoked potentials (MEPs) were recorded from the first dorsal interosseous muscle of eight individuals on three separate days. The intensity of TMS at rest was varied from 5% below threshold to the maximal output of the stimulator. During trials in which the muscle was active, TMS and TES intensities were selected that elicited MEPs of between 150 and 300 X at rest. MEPs were evoked while the participants exerted torques up to 50% of their maximum capacity. The relationship between MEP size and stimulus intensity at rest was sigmoidal (R-2 = 0.97). Intra-class correlation coefficients (ICC) ranged between 0.47 and 0.81 for the parameters of the sigmoid function. For the active trials, the slope and intercept of regression equations of MEP size on level of background contraction were obtained more reliably for TES (ICC = 0.63 and 0.78, respectively) than for TMS (ICC = 0.50 and 0.53, respectively), These results suggest that input-output parameters of the cortico-spinal pathway may be reliably obtained via transcranial stimulation during longitudinal investigations of cortico-spinal plasticity. (C) 2001 Elsevier Science B.V. All rights reserved.

Fatigue-related changes in torque output and electromyographic parameters of trunk muscles during isometric axial rotation exertion - An investigation in patients with back pain and in healthy subjects

Study Design. A cross-sectional case-control study. Objectives. To examine the effect of fatigue on torque output as well as electromyographic frequency and amplitude values of trunk muscles during isometric axial rotation exertion in back pain patients and to compare the results with a matched control group. Summary of Background Data. Back pain patients exhibited different activation strategies in trunk muscles during the axial rotation exertions. Fatigue changes of abdominal and back muscles during axial rotation exertion have not been examined in patients with back pain. Methods. Twelve back pain patients and 12 matched controls performed isometric fatiguing axial rotation to both sides at 80% maximum voluntary contraction in a standing position. During the fatiguing exertion, electromyographic changes of rectus abdominis, external oblique, internal oblique, latissimus dorsi, iliocostalis lumborum, and multifidus were recorded bilaterally. The primary torque in the transverse plane and the coupling torques in sagittal and coronal planes were also measured. Results. No difference in the endurance capacity was found between back pain and control groups. At the initial period of the exertion, back pain patients demonstrated a statistical trend (P = 0.058) of greater sagittal coupling torque as well as lower activity of rectus abdominis and multifidus and higher activity in external oblique. During the fatigue process similar changes of coupling torque were demonstrated in both sagittal and coronal planes, but a smaller fatigue rate for right external oblique, increase in median frequency for latissimus dorsi, and lesser increase in activity for back muscles were found in the back pain group compared with the control group. Conclusions. Alterations in electromyographic activation and fatigue rates of abdominal and back muscles demonstrated during the fatigue process provide insights into the muscle dysfunctions in back pain and may help clinicians to devise more rational treatment strategies.

Modelling the input-output behaviour of piezoelectric structural health monitoring systems for composite plates

This paper investigates the input-output characteristics of structural health monitoring systems for composite plates based on permanently attached piezoelectric transmitter and sensor elements. Using dynamic piezoelectricity theory and a multiple integral transform method to describe the propagating and scattered flexural waves an electro-mechanical model for simulating the voltage input-output transfer function for circular piezoelectric transmitters and sensors adhesively attached to an orthotropic composite plate is developed. The method enables the characterization of all three physical processes, i.e. wave generation, wave propagation and wave reception. The influence of transducer, plate and attached electrical circuit characteristics on the voltage output behaviour of the system is examined through numerical calculations, both in frequency and the time domain. The results show that the input-output behaviour of the system is not properly predicted by the transducers' properties alone. Coupling effects between the transducers and the tested structure have to be taken into account, and adding backing materials to the piezoelectric elements can significantly improve the sensitivity of the system. It is shown that in order to achieve maximum sensitivity, particular piezoelectric transmitters and sensors need to be designed according to the structure to be monitored and the specific frequency regime of interest.

Knowledge discovery and data mining in biological databases

The new technologies for Knowledge Discovery from Databases (KDD) and data mining promise to bring new insights into a voluminous growing amount of biological data. KDD technology is complementary to laboratory experimentation and helps speed up biological research. This article contains an introduction to KDD, a review of data mining tools, and their biological applications. We discuss the domain concepts related to biological data and databases, as well as current KDD and data mining developments in biology.

Molecular immunology databases and data repositories

Over recent years databases have become an extremely important resource for biomedical research. Immunology research is increasingly dependent on access to extensive biological databases to extract existing information, plan experiments, and analyse experimental results. This review describes 15 immunological databases that have appeared over the last 30 years. In addition, important issues regarding database design and the potential for misuse of information contained within these databases are discussed. Access pointers are provided for the major immunological databases and also for a number of other immunological resources accessible over the World Wide Web (WWW). (C) 2000 Elsevier Science B.V. All rights reserved.

Effect of coinfection with STDs and of STD treatment on HIV shedding in genital-tract secretions - Systematic review and data synthesis

Objective: To determine whether coinfection with sexually transmitted diseases (STD) increases HIV shedding in genital-tract secretions, and whether STD treatment reduces this shedding. Design: Systematic review and data synthesis of cross-sectional and cohort studies meeting. predefined quality criteria. Main Outcome Measures: Proportion of patients with and without a STD who had detectable HIV in genital secretions, HIV toad in genital secretions, or change following STD treatment. Results: Of 48 identified studies, three cross-sectional and three cohort studies were included. HIV was detected significantly more frequently in participants infected with Neisseria gonorrhoeae (125 of 309 participants, 41%) than in those without N gonorrhoeae infection (311 of 988 participants, 32%; P = 0.004). HIV was not significantly more frequently detected in persons infected with Chlamydia trachomatis (28 of 67 participants, 42%) than in those without C trachomatis infection (375 of 1149 participants, 33%; P = 0.13). Median HIV load reported in only one study was greater in men with urethritis (12.4 x 10(4) versus 1.51 x 10(4) copies/ml; P = 0.04). In the only cohort study in which this could be fully assessed, treatment of women with any STD reduced the proportion of those with detectable HIV from 39% to 29% (P = 0.05), whereas this proportion remained stable among controls (15-17%), A second cohort study reported fully on HIV load; among men with urethritis, viral load fell from 12.4 to 4.12 x 10(4) copies/ml 2 weeks posttreatment, whereas viral load remained stable in those without urethritis. Conclusion: Few high-quality studies were found. HIV is detected moderately more frequently in genital secretions of men and women with a STD, and HIV load is substantially increased among men with urethritis, Successful STD treatment reduces both of these parameters, but not to control levels. More high-quality studies are needed to explore this important relationship further.

Optimal input states and feedback for interferometric phase estimation

We derive optimal N-photon two-mode input states for interferometric phase measurements. Under canonical measurements the phase variance scales as N-2 for these states, as compared to N-1 or N-1/2 for states considered bq previous authors. We prove, that it is not possible to realize the canonical measurement by counting photons in the outputs of the interferometer, even if an adjustable auxiliary phase shift is allowed in the interferometer. However. we introduce a feedback algorithm based on Bayesian inference to control this auxiliary phase shift. This makes the measurement close to a canonical one, with a phase variance scaling slightly above N-2. With no feedback, the best result (given that the phase to be measured is completely unknown) is a scaling of N-1. For optimal input states having up to four photons, our feedback scheme is the best possible one, but for higher photon numbers more complicated schemes perform marginally better.

Breeding for low input conditions and consequences for participatory plant breeding: Examples from tropical maize and wheat

Participatory plant breeding (PPB) has been suggested as an effective alternative to formal plant breeding (FPB) as a breeding strategy for achieving productivity gains under low input conditions. With genetic progress through PPB and FPB being determined by the same genetic variables, the likelihood of success of PPB approaches applied in low input target conditions was analyzed using two case studies from FPB that have resulted in significant productivity gains under low input conditions: (1) breeding tropical maize for low input conditions by CIMMYT, and (2) breeding of spring wheat for the highly variable low input rainfed farming systems in Australia. In both cases, genetic improvement was an outcome of long-term investment in a sustained research effort aimed at understanding the detail of the important environmental constraints to productivity and the plant requirements for improved adaptation to the identified constraints, followed up by the design and continued evaluation of efficient breeding strategies. The breeding strategies used differed between the two case studies but were consistent in their attention to the key determinants of response to selection: (1) ensuring adequate sources of genetic variation and high selection pressures for the important traits at all stages of the breeding program, (2) use of experimental procedures to achieve high levels of heritability in the breeding trials, and (3) testing strategies that achieved a high genetic correlation between performance of germplasm in the breeding trials and under on-farm conditions. The implications of the outcomes from these FPB case studies for realizing the positive motivations for adopting PPB strategies are discussed with particular reference for low input target environment conditions.

Effect of fatigue on torque output and electromyographic measures of trunk muscles during isometric axial rotation

Objectives: To examine the changes in torque output resulting from fatigue, as well as changes in electromyographic measures of trunk muscles during isometric axial rotation and to compare these changes between directions of axial rotation. Design: Subjects performed fatiguing right and left isometric axial rotation of the trunk at 80% of maximum voluntary contraction while standing upright. Setting: A rehabilitation center. Participants: Twenty-three men with no history of back pain. Interventions: Not applicable. Main Outcome Measures: Surface electromyographic Signals were recorded from 6 trunk muscles bilaterally. The primary torque in the transverse plane and the coupling torques in sagittal and coronal planes were also measured. Results: During the fatiguing axial rotation contraction, coupling torques of both sagittal and coronal planes were slightly decreased and no difference was found between directions of axial rotation. Decreasing median frequency and an increase in electromyographic amplitude were also found in trunk muscles with different degrees of changes in individual muscles. There were significant differences (P