Attacking Group Protocols by Refuting Incorrect Inductive Conjectures

Automated tools for finding attacks on flawed security protocols often fail to deal adequately with group protocols. This is because the abstractions made to improve performance on fixed 2 or 3 party protocols either preclude the modelling of group protocols all together, or permit modelling only in a fixed scenario, which can prevent attacks from being discovered. This paper describes Coral, a tool for finding counterexamples to incorrect inductive conjectures, which we have used to model protocols for both group key agreement and group key management, without any restrictions on the scenario. We will show how we used Coral to discover 6 previously unknown attacks on 3 group protocols

Lower Income Levels in Australia Are Strongly Associated With Elevated Psychological Distress: Implications for Healthcare and Other Policy Areas

Background: Australia is a high-income country with increasing income inequality. It is unclear whether Australia's well-developed mental healthcare system is making a difference to population mental health and the Federal Government has targeted outcomes accountability in service funding strategies. In high-income countries, evidence generally suggests that income inequalities increase mental disorders among the poor. This study examined psychological-distress rates—a marker of mental ill- health—as varying by income among Australians living within and outside of capital cities.Methods: Secondary data analysis was undertaken using the population-level mental health indicator of the Kessler Psychological Distress Scale (K10) as reported for 12,332 adults in the 2011/2012 National Health Survey (NHS) of Australia. K10 scores of 22 and higher indicated high/very-high distress, and 30 and higher denoted very-high distress. Very-high distress levels are strongly predictive of serious mental illness.Results: Among the poorest one-fifth of Australians, 1 in 4 people have psychological distress at a high/very-high level; this compares to about 1 in 20 people in the richest one-fifth of Australians. About 1-in-10 people making up the poorest one-fifth of Australians have current very-high distress, and this reduces to <1-in-50 people in the richest one-fifth. These disparities are consistent both within and outside of capital cities. The national prevalence of elevated distress within income quintiles varies greatly, with Poor/Rich Quintile Ratios of typically 4–5 for high/very-high levels and 7–8 for very-high levels. These effects operate more powerfully in areas marked by higher scores on the Index of Relative Socioeconomic Disadvantage.Conclusions: Altering the strong association of lower income levels in Australia with elevated psychological distress would require a multi-dimensional social policy and healthcare approach. To assess the effectiveness of adopted strategies, population level indicators need to be developed with regular data-collection. The Poor/Rich quintile ratio (P/R QR) for high/very high K10 scores is a potential candidate for a mental health inequality outcome indicator since it is easily calculated from data obtained from a regularly conducted national survey, is easily understood and resonates with a wider audience. Further research on the development of such indicators is also needed

Resolving the paradox of increased mental health expenditure and stable prevalence.

A doubling of Australian expenditure on mental health services over two decades, inflation-adjusted, has reduced prevalence of neither psychological distress nor mental disorders. Low rates of help-seeking, and inadequate and inequitable delivery of effective care may explain this partially, but not fully. Focusing on depressive disorders, drawing initially on ideas from the work of philosopher and socio-cultural critic Ivan Illich, we use evidence-based medicine statistics and simulation modelling approaches to develop testable hypotheses as to how iatrogenic influences on the course of depression may help explain this seeming paradox. Combined psychological treatment and antidepressant medication may be available, and beneficial, for depressed people in socioeconomically advantaged areas. But more Australians with depression live in disadvantaged areas where antidepressant medication provision without formal psychotherapy is more typical; there also are urban/non-urban disparities. Depressed people often engage in self-help strategies consistent with psychological treatments, probably often with some benefit to these people. We propose then, if people are encouraged to rely heavily on antidepressant medication only, and if they consequently reduce spontaneous self-help activity, that the benefits of the antidepressant medication may be more than offset by reductions in beneficial effects as a consequence of reduced self-help activity. While in advantaged areas, more comprehensive service delivery may result in observed prevalence lower than it would be without services, in less well-serviced areas, observed prevalence may be higher than it would otherwise be. Overall, then, we see no change. If the hypotheses receive support from the proposed research, then implications for service prioritisation and delivery could include a case for wider application of recovery-oriented practice. Critically, it would strengthen the case for action to correct inequities in the delivery of psychological treatments for depression in Australia so that combined psychological therapy and antidepressant medication, accessible and administered within an empowering framework, should be a nationally implemented standard

No straight lines – young women’s perceptions of their mental health and wellbeing during and after pregnancy: a systematic review and meta-ethnography

Background: Young mothers face mental health challenges during and after pregnancy including increased rates of depression compared to older mothers. While the prevention of teenage pregnancy in countries such as the United States and the United Kingdom has been a focus for policy and research in recent decades, the need to understand young women’s own experiences has been highlighted. The aim of this meta-ethnography was to examine young women’s perceptions of their mental health and wellbeing during and after pregnancy to provide new understandings of those experiences. Methods: A systematic review and meta-ethnographic synthesis of qualitative research was conducted. Seven databases were systematically searched and forward and backward searching conducted. Papers were included if they were from Organisation for Economic Co-operation and Development countries and explored mental health and wellbeing experiences of young mothers (age under 20 in pregnancy; under 25 at time of research) as a primary research question – or where evidence about mental health and wellbeing from participants was foregrounded. Nineteen papers were identified and the Critical Appraisal Skills Programme checklist for qualitative research used to appraise the evidence. Following the seven-step process of meta-ethnography, key constructs were examined within each study and then translated into one another. Results: Seven translated themes were identified forming a new line of argument wherein mental health and wellbeing was analysed as relating to individual bodily experiences; tied into past and present relationships; underpinned by economic insecurity and entangled with feelings of societal surveillance. There were ‘no straight lines’ in young women’s experiences, which were more complex than dominant narratives around overcoming adversity suggest. Conclusions: The synthesis concludes that health and social care professionals need to reflect on the operation of power and stigma in young women’s lives and its impact on wellbeing. It adds to understanding of young women’s mental health and wellbeing during and after pregnancy as located in physical and structural factors rather than individual capacities alone

The DARE study of relapse prevention in depression: design for a phase 1/2 translational randomised controlled trial involving mindfulness-based cognitive therapy and supported self monitoring

<p>Abstract</p> <p>Background</p> <p>Depression is a common condition that typically has a relapsing course. Effective interventions targeting relapse have the potential to dramatically reduce the point prevalence of the condition. Mindfulness-based cognitive therapy (MBCT) is a group-based intervention that has shown efficacy in reducing depressive relapse. While trials of MBCT to date have met the core requirements of phase 1 translational research, there is a need now to move to phase 2 translational research - the application of MBCT within real-world settings with a view to informing policy and clinical practice. The aim of this trial is to examine the clinical impact and health economics of MBCT under real-world conditions and where efforts have been made to assess for and prevent resentful demoralization among the control group. Secondary aims of the project involve extending the phase 1 agenda to an examination of the effects of co-morbidity and mechanisms of action.</p> <p>Methods/Design</p> <p>This study is designed as a prospective, multi-site, single-blind, randomised controlled trial using a group comparison design between involving the intervention, MBCT, and a self-monitoring comparison condition, Depression Relapse Active Monitoring (DRAM). Follow-up is over 2 years. The design of the study indicates recruitment from primary and secondary care of 204 participants who have a history of 3 or more episodes of Major Depression but who are currently well. Measures assessing depressive relapse/recurrence, time to first clinical intervention, treatment expectancy and a range of secondary outcomes and process variables are included. A health economics evaluation will be undertaken to assess the incremental cost of MBCT.</p> <p>Discussion</p> <p>The results of this trial, including an examination of clinical, functional and health economic outcomes, will be used to assess the role that this treatment approach may have in recommendations for treatment of depression in Australia and elsewhere. If the findings are positive, we expect that this research will consolidate the evidence base to guide the decision to fund MBCT and to seek to promote its availability to those who have experienced at least 3 episodes of depression.</p> <p>Trial Registration</p> <p>Australian New Zealand Clinical Trials Registry: <a href="http://www.anzctr.org.au/ACTRN12607000166471.aspx">ACTRN12607000166471</a></p

Measurement of B(B-->X_s {\gamma}), the B-->X_s {\gamma} photon energy spectrum, and the direct CP asymmetry in B-->X_{s+d} {\gamma} decays

The photon spectrum in B --> X_s {\gamma} decay, where X_s is any strange hadronic state, is studied using a data sample of (382.8\pm 4.2) \times 10^6 e^+ e^- --> \Upsilon(4S) --> BBbar events collected by the BABAR experiment at the PEP-II collider. The spectrum is used to measure the branching fraction B(B --> X_s \gamma) = (3.21 \pm 0.15 \pm 0.29 \pm 0.08)\times 10^{-4} and the first, second, and third moments = 2.267 \pm 0.019 \pm 0.032 \pm 0.003 GeV,, )^2> = 0.0484 \pm 0.0053 \pm 0.0077 \pm 0.0005 GeV^2, and )^3> = -0.0048 \pm 0.0011 \pm 0.0011 \pm 0.0004 GeV^3, for the range E_\gamma > 1.8 GeV, where E_{\gamma} is the photon energy in the B-meson rest frame. Results are also presented for narrower E_{\gamma} ranges. In addition, the direct CP asymmetry A_{CP}(B --> X_{s+d} \gamma) is measured to be 0.057 \pm 0.063. The spectrum itself is also unfolded to the B-meson rest frame; that is the frame in which theoretical predictions for its shape are made.Comment: 37 pages, 19 postscript figures, submitted to Phys. Rev. D. No analysis or results have changed from previous version. Some changes to improve clarity based on interactions with Phys. Rev. D referees, including one new Figure (Fig. 13), and some minor wording/punctuation/spelling mistakes fixe

Precise Measurement of the e+ e- --> pi+ pi- (gamma) Cross Section with the Initial-State Radiation Method at BABAR

A precise measurement of the cross section of the process $e^+e^-\to\pi^+\pi^-(\gamma)$ from threshold to an energy of 3GeV is obtained with the initial-state radiation (ISR) method using 232fb$^{-1}$ of data collected with the BaBar detector at $e^+e^-$ center-of-mass energies near 10.6GeV. The ISR luminosity is determined from a study of the leptonic process $e^+e^-\to\mu^+\mu^-(\gamma)\gamma_{\rm ISR}$, which is found to agree with the next-to-leading-order QED prediction to within 1.1%. The cross section for the process $e^+e^-\to\pi^+\pi^-(\gamma)$ is obtained with a systematic uncertainty of 0.5% in the dominant $\rho$ resonance region. The leading-order hadronic contribution to the muon magnetic anomaly calculated using the measured $\pi\pi$ cross section from threshold to 1.8GeV is $(514.1 \pm 2.2({\rm stat}) \pm 3.1({\rm syst}))\times 10^{-10}$.Comment: 58 pages, 56 figures, to be submitted to Phys. Rev.

Measurement of Branching Fractions and Rate Asymmetries in the Rare Decays B -> K(*) l+ l-

In a sample of 471 million BB events collected with the BABAR detector at the PEP-II e+e- collider we study the rare decays B -> K(*) l+ l-, where l+ l- is either e+e- or mu+mu-. We report results on partial branching fractions and isospin asymmetries in seven bins of di-lepton mass-squared. We further present CP and lepton-flavor asymmetries for di-lepton masses below and above the J/psi resonance. We find no evidence for CP or lepton-flavor violation. The partial branching fractions and isospin asymmetries are consistent with the Standard Model predictions and with results from other experiments.Comment: 16 pages, 14 figures, accepted by Phys. Rev.