Rule-based dependency models for security protocol analysis

Security protocol analysis has been discussed for quite some time in the past few years. Although formal methods have been widely used to identify various vulnerabilities, mainly susceptibility to freshness attacks and impersonation, the arisen inconsistent data between principals and collusion attacks held by a group of dishonest principals have been largely ignored. Moreover, the previous methods focus on reasoning about certain security-related properties and detecting known attacks against secure message, whereas there have been insufficient efforts to handle the above hidden but powerful attacks. In this paper, we address these critical issues and prove the efficiency and intuitiveness of rule-based dependency models in defending a protocol against the attacks. This is able to provide a numerical estimation to measure he occurrence of these attacks. It will be useful in enhancing the current protocol analysis.

A parallel download protocol for internet-based distributed systems

Parallel transfer of large amounts of data is attractive as (i) the data can be received in less time and (ii) is more resilient to connection failures. This is often used in e-Science under the field of data sharing. Data from one research project should be easily assessable to others regardless of the size of the data thus parallelism is used to help share the data quickly. However, there are many tasks to be carried out to make it possible: replica discovery and load detection just to name two. A common problem with most solutions is they overlook some tasks such as load detection. PHTTP is an innovate protocol which handles the tasks behind parallel transfer while presenting itself as a normal sequential transfer.

Distributed protocol for communications among underwater vehicles

Underwater surveying by swarms of autonomous underwater vehicles presents problems in communication among the robots. These problems involve the bandwidth, power consumption, timing, processing power, and other issues. This paper presents a novel approach to communicate and coordinate effectively among underwater vehicles to accomplish this task successfully. The proposed approach solves issues by reducing the number of hops to conserve power, while reducing computation time and bandwidth, effectively utilizing resources to reduce the load on each node. Finally, the simulation results are presented, in order to prove that the proposed approach improves efficiency and effectiveness in communicating among underwater vehicles.

Imagery cultivation vs. noise reduction : shamanic-like journeying as a psi-conducive alternative to the Ganzfeld protocol

Historically, psi effects have been linked to altered states of consciousness (ASCs; Bem and Honorton, 1994). In this context, arguably the most widely used technique is the Ganzfeld. However, in recent times, scholars (e.g., Alvarado, 1998; Braud, 2005; Scimeca, Boca, and Iannuzzo, 2001) have formulated cogent arguments that cast doubt on whether the Ganzfeld is, in fact, an ASC that is psi-conducive. Consequently, it may prove prudent to investigate other conditions that induce ostensible ASCs that are purportedly psi-conducive, and it would be wise to get feedback from test participants in these states. In this theoretical paper, we propose that psi effects may be enhanced (i.e., strengthened) using a shamanic-like treatment. On that basis, we argue that parapsychologists must go beyond the assumption that psi effects are optimised under conditions that are inherently passive procedures, and foster techniques that require cognitive action from test participants.

A protocol for the combined sub-fractionation and delipidation of lipid-binding proteins by hydrophobic interaction chromatography

Cellular lipids frequently co-purify with lipid binding proteins isolated from tissue extracts or heterologous host systems and as such hinder in vitro ligand binding approaches for which the apo-protein is a prerequisite. Here we present a technique for the complete removal of unesterified fatty acids, phospholipids, steroids and other lipophilic ligands bound to soluble proteins, without protein denaturation. Peroxisome proliferator activated receptor gamma ligand binding domain and intracellular fatty acid binding proteins were expressed in an Escherichia coli host and completely delipidated by hydrophobic interaction chromatography using phenyl sepharose. The delipidation procedure operates at room temperature with complete removal of bound lipids in a single step, as ascertained by mass spectrometry analysis of organic solvent extracts from purified protein samples. The speed and capacity of this method makes it amenable to scale-up and high-throughput applications. The method can also easily be adapted for other lipid binding proteins that require delipidation under native conditions.

Does an evidence-based sedation protocol improve practice and patient outcomes in critical care?

Learning Objective 1: compare protocol-directed sedation management with traditional non-protocol-directed practice in mechanically ventilated patients in an Australian critical care.

Learning Objective 2: explain the contrasting international research findings on sedation protocol implementation.
Minimization of sedation in critical care patients has recently received widespread support. Professional organizations internationally have published sedation management guidelines for critically ill patients to improve the use of research in practice, decrease practice variability and shorten mechanical ventilation duration. Innovations in practice have included the introduction of decision making protocols, daily sedation interruptions and new drugs and monitoring technologies. The aim of this study was to compare protocol-directed sedation management with traditional non-protocol-directed practice in mechanically ventilated patients in an Australian critical care setting.

A randomized, controlled trial design was used to study 312 mechanically ventilated adult patients in a general critical care unit at an Australian metropolitan teaching hospital. Patients were randomly assigned to receive protocol directed sedation management developed from evidence based guidelines (n=153) or usual clinical practice (n=159).

The median (95% CI) duration of ventilation was 58 hrs (44–78 hrs) for patients in the non-protocol group and 79 hrs (56–93) for those patients in the protocol group (p=0.20). Results were not significant for length of stay in critical care or hospital, the frequency of tracheostomies, and unplanned extubations. A Cox proportional hazards model estimated that protocol directed sedation management was associated with a 22% decrease (95% CI: 40% decrease to 2% increase, p=0.07) in the occurrence of successful weaning from mechanical ventilation.

Few randomized controlled trials have evaluated the effectiveness of protocol-directed sedation outside of North America. This study highlights the lack of transferability between different settings and different models of care. Qualified, high intensity nursing in the Australian critical care setting facilitates rapid, responsive decisions for sedation management and an increased success rate for weaning from mechanical ventilation.

Effects of laterally wedged insoles on symptoms and disease progression in medial knee osteoarthritis: a protocol for a randomised, double-blind, placebo controlled trial

Background: Whilst laterally wedged insoles, worn inside the shoes, are advocated as a simple, inexpensive, non-toxic self-administered intervention for knee osteoarthritis (OA), there is currently limited evidence to support their use. The aim of this randomised, double-blind controlled trial is to determine whether laterally wedges insoles lead to greater improvements in knee pain, physical function and health-related quality of life, and slower structural disease progression as well as being more cost-effective, than control flat insoles in people with medial knee OA.

Methods/Design: Two hundred participants with painful radiographic medial knee OA and varus malalignment will be recruited from the community and randomly allocated to lateral wedge or control insole groups using concealed allocation. Participants will be blinded as to which insole is considered therapeutic. Blinded follow up assessment will be conducted at 12 months after randomisation. The outcome measures are valid and reliable measures recommended for OA clinical trials. Questionnaires will assess changes in pain, physical function and health-related quality-of-life. Magnetic resonance imaging will measure changes in tibial cartilage volume. To evaluate cost-effectiveness, participants will record the use of all health-related treatments in a log-book returned to the assessor on a monthly basis. To test the effect of the intervention using an intention-to-treat analysis, linear regression modelling will be applied adjusting for baseline outcome values and other demographic characteristics.

Discussion: Results from this trial will contribute to the evidence regarding the effectiveness of laterally wedged insoles for the management of medial knee OA.

Trial registration: ACTR12605000503628; NCT00415259.

MOSAIC (MOthers' Advocates In the Community): protocol and sample description of a cluster randomised trial of mentor mother support to reduce intimate partner violence among pregnant or recent mothers

Background : Intimate partner violence (IPV) is prevalent globally, experienced by a significant minority of women in the early childbearing years and is harmful to the mental and physical health of women and children. There are very few studies with rigorous designs which have tested the effectiveness of IPV interventions to improve the health and wellbeing of abused women. Evidence for the separate benefit to victims of social support, advocacy and non-professional mentoring suggested that a combined model may reduce the levels of violence, the associated mental health damage and may increase a woman's health, safety and connection with her children. This paper describes the development, design and implementation of a trial of mentor mother support set in primary care, including baseline characteristics of participating women.

Methods/Design : MOSAIC (MOtherS' Advocates In the Community) was a cluster randomised trial embedded in general practice and maternal and child health (MCH) nursing services in disadvantaged suburbs of Melbourne, Australia. Women who were pregnant or with infants, identified as abused or symptomatic of abuse, were referred by IPV-trained GPs and MCH nurses from 24 general practices and eight nurse teams from January 2006 to December 2007. Women in the intervention arm received up to 12 months support from trained and supported non-professional mentor mothers. Vietnamese health professionals also referred Vietnamese women to bilingual mentors in a sub-study. Baseline and follow-up surveys at 12 months measured IPV (CAS), depression (EPDS), general health (SF-36), social support (MOS-SF) and attachment to children (PSI-SF). Significant development and piloting occurred prior to trial commencement. Implementation interviews with MCH nurses, GPs and mentors assisted further refinement of the intervention. In-depth interviews with participants and mentors, and follow-up surveys of MCH nurses and GPs at trial conclusion will shed further light on MOSAIC's impact.

Discussion : Despite significant challenges, MOSAIC will make an important contribution to the need for evidence of effective partner violence interventions, the role of non-professional mentors in partner violence support services and the need for more evaluation of effective health professional training and support in caring for abused women and children among their populations.

Study protocol for the translating research in elder care (TREC): Building context through case studies in long-term care project (project two)

Background: The organizational context in which healthcare is delivered is thought to play an important role in mediating the use of knowledge in practice. Additionally, a number of potentially modifiable contextual factors have been shown to make an organizational context more amenable to change. However, understanding of how these factors operate to influence organizational context and knowledge use remains limited. In particular, research to understand knowledge translation in the long-term care setting is scarce. Further research is therefore required to provide robust explanations of the characteristics of organizational context in relation to knowledge use.
Aim: To develop a robust explanation of the way organizational context mediates the use of knowledge in practice in long-term care facilities.
Design: This is longitudinal, in-depth qualitative case study research using exploratory and interpretive methods to explore the role of organizational context in influencing knowledge translation. The study will be conducted in two phases. In phase one, comprehensive case studies will be conducted in three facilities. Following data analysis and proposition development, phase two will continue with focused case studies to elaborate emerging themes and theory. Study sites will be purposively selected. In both phases, data will be collected using a variety of approaches, including non-participant observation, key informant interviews, family perspectives, focus groups, and documentary evidence (including, but not limited to, policies, notices, and photographs of physical resources). Data analysis will comprise an iterative process of identifying convergent evidence within each case study and then examining and comparing the evidence across multiple case studies to draw conclusions from the study as a whole. Additionally, findings that emerge through this project will be compared and considered alongside those that are emerging from project one. In this way, pattern matching based on explanation building will be used to frame the analysis and develop an explanation of organizational context and knowledge use over time. An improved understanding of the contextual factors that mediate knowledge use will inform future development and testing of interventions to enhance knowledge use, with the ultimate aim of improving the outcomes for residents in long-term care settings.

Controller area network (CAN) modelling for automotive body control applications

This research details methods to improve upon current worst-case message response time analysis of CAN networks. Also, through the development of a CAN network model, and using modern simulation software, methods were shown to provide more realistic analyses of both sporadic and periodic messages on CAN networks prior to implementation.

GeoConnect : geographic and connectivity-aware routing protocol for wireless sensor network

Sensor nodes are closely tied with their geographic location and their connectivity. In recent years many routing protocols have been developed to provide efficient strategy. But most of them are either focus on the geographic proximity or on connectivity. However in sparse network, Geographic routing would fail at local dead ends where a node has no neighbour closer to destination. In contrast, connectivity-based routing may result in non-optimal path and overhead management. In this paper we designed a scalable and distributed routing protocol, GeoConnect, which considers geographic proximity and connectivity for choosing next hop. In GeoConnecl, we construct a new naming system that integrates geographic and connectivity information into a node identification. We use dissimilarity function to compute the dissimilarity and apply a distributed routing algorithm to route packets. The experimental results show that GeoConnect routing provides robust and better performance than sole geographic routing or connectivity routing.

Engaging community pharmacists in the primary prevention of cardiovascular disease : protocol for the pharmacist assessment of adherence, risk and treatment in cardiovascular disease (PAART CVD) pilot study

Background: Cardiovascular disease (CVD) is the leading cause of death globally. Community pharmacist intervention studies have demonstrated clinical effectiveness for improving several leading individual CVD risk factors. Primary prevention strategies increasingly emphasise the need for consideration of overall cardiovascular risk and concurrent management of multiple risk factors. It is therefore important to demonstrate the feasibility of multiple risk factor management by community pharmacists to ensure continued currency of their role.
Methods/Design: This study will be a longitudinal pre- and post-test pilot study with a single cohort of up to 100 patients in ten pharmacies. Patients aged 50-74 years with no history of heart disease or diabetes, and taking antihypertensive or lipid-lowering medicines, will be approached for participation. Assessment of cardiovascular risk, medicines use and health behaviours will be undertaken by a research assistant at baseline and following the intervention (6 months). Validated interview scales will be used where available. Baseline data will be used by accredited medicines management pharmacists to generate a report for the treating community pharmacist. This report will highlight individual patients’ overall CVD risk and individual risk factors, as well as identifying modifiable
health behaviours for risk improvement and suggesting treatment and behavioural goals. The treating community pharmacist will use this information to finalise and implement a treatment plan in conjunction with the patient and their doctor. Community pharmacists will facilitate patient improvements in lifestyle, medicines adherence, and medicines management over the course of five counselling sessions with monthly intervals. The primary outcome will be the change to average overall cardiovascular risk, assessed using the Framingham risk equation.
Discussion: This study will assess the feasibility of implementing holistic primary CVD prevention programs into community pharmacy, one of the most accessible health services in most developed countries.