A cryptographic analysis of the TLS 1.3 handshake protocol candidates

The Internet Engineering Task Force (IETF) is currently developing the next version of the Transport Layer Security (TLS) protocol, version 1.3. The transparency of this standardization process allows comprehensive cryptographic analysis of the protocols prior to adoption, whereas previous TLS versions have been scrutinized in the cryptographic literature only after standardization. This is even more important as there are two related, yet slightly different, candidates in discussion for TLS 1.3, called draft-ietf-tls-tls13-05 and draft-ietf-tls-tls13-dh-based. We give a cryptographic analysis of the primary ephemeral Diffie–Hellman-based handshake protocol, which authenticates parties and establishes encryption keys, of both TLS 1.3 candidates. We show that both candidate handshakes achieve the main goal of providing secure authenticated key exchange according to an augmented multi-stage version of the Bellare–Rogaway model. Such a multi-stage approach is convenient for analyzing the design of the candidates, as they establish multiple session keys during the exchange. An important step in our analysis is to consider compositional security guarantees. We show that, since our multi-stage key exchange security notion is composable with arbitrary symmetric-key protocols, the use of session keys in the record layer protocol is safe. Moreover, since we can view the abbreviated TLS resumption procedure also as a symmetric-key protocol, our compositional analysis allows us to directly conclude security of the combined handshake with session resumption. We include a discussion on several design characteristics of the TLS 1.3 drafts based on the observations in our analysis.

Continuous after-the-fact leakage-resilient eCK-secure key exchange

Security models for two-party authenticated key exchange (AKE) protocols have developed over time to capture the security of AKE protocols even when the adversary learns certain secret values. Increased granularity of security can be modelled by considering partial leakage of secrets in the manner of models for leakage-resilient cryptography, designed to capture side-channel attacks. In this work, we use the strongest known partial-leakage-based security model for key exchange protocols, namely continuous after-the-fact leakage eCK (CAFL-eCK) model. We resolve an open problem by constructing the first concrete two-pass leakage-resilient key exchange protocol that is secure in the CAFL-eCK model.

Double-authentication-preventing signatures

Digital signatures are often used by trusted authorities to make unique bindings between a subject and a digital object; for example, certificate authorities certify a public key belongs to a domain name, and time-stamping authorities certify that a certain piece of information existed at a certain time. Traditional digital signature schemes however impose no uniqueness conditions, so a trusted authority could make multiple certifications for the same subject but different objects, be it intentionally, by accident, or following a (legal or illegal) coercion. We propose the notion of a double-authentication-preventing signature, in which a value to be signed is split into two parts: a subject and a message. If a signer ever signs two different messages for the same subject, enough information is revealed to allow anyone to compute valid signatures on behalf of the signer. This double-signature forgeability property discourages signers from misbehaving—a form of self-enforcement—and would give binding authorities like CAs some cryptographic arguments to resist legal coercion. We give a generic construction using a new type of trapdoor functions with extractability properties, which we show can be instantiated using the group of sign-agnostic quadratic residues modulo a Blum integer; we show an additional application of these new extractable trapdoor functions to standard digital signatures.

Collaborative learning approach to introduce computational fluid dynamics

This paper presents the design, implementation and evaluation of a collaborative learning activity designed to replace traditional face-to-face lectures in a large classroom. This activity aims to better engage the students with their learning and improve the students’ experience and outcomes. This project is implemented in the Fluid Mechanics unit of the Mechanical Engineering degree at the Queensland University of Technology to introduce students with the concept, terminology and process of Computational Fluid Dynamics (CFD). The approach integrates a constructive collaborative assignment which is a key element in the overall quality of teaching and learning, and an integral component of the students’ experience. A detailed survey, given to the students, showed an overall high level of satisfaction. However, the results also highlighted the gap between students’ expectations both for contents and assignment and teacher expectations. Discussions to address this issue are presented in the paper based on a critical reflection.

Nursing physical assessment for patient safety in general wards: Reaching consensus on core skills

Aims and objectives To determine consensus across acute care specialty areas on core physical assessment skills necessary for early recognition of changes in patient status in general wards. Background Current approaches to physical assessment are inconsistent and have not evolved to meet increased patient and system demands. New models of nursing assessment are needed in general wards that ensure a proactive and patient safety approach. Design A modified Delphi study. Methods Focus group interviews with 150 acute care registered nurses (RNs) at a large tertiary referral hospital generated a framework of core skills that were developed into a web-based survey. We then sought consensus with a panel of 35 senior acute care RNs following a classical Delphi approach over three rounds. Consensus was predefined as at least 80% agreement for each skill across specialty areas. Results Content analysis of focus group transcripts identified 40 discrete core physical assessment skills. In the Delphi rounds, 16 of these were consensus validated as core skills and were conceptually aligned with the primary survey: (Airway) Assess airway patency; (Breathing) Measure respiratory rate, Evaluate work of breathing, Measure oxygen saturation; (Circulation) Palpate pulse rate and rhythm, Measure blood pressure by auscultation, Assess urine output; (Disability) Assess level of consciousness, Evaluate speech, Assess for pain; (Exposure) Measure body temperature, Inspect skin integrity, Inspect and palpate skin for signs of pressure injury, Observe any wounds, dressings, drains and invasive lines, Observe ability to transfer and mobilise, Assess bowel movements. Conclusions Among a large and diverse group of experienced acute care RNs consensus was achieved on a structured core physical assessment to detect early changes in patient status. Relevance to clinical practice Although further research is needed to refine the model, clinical application should promote systematic assessment and clinical reasoning at the bedside.

Ethical values and the global carbon integrity system

There are many excellent books on climate justice and ethics, and their theorizing is a crucial and natural step in moving towards a justified response to this urgent problem. However, the purpose of this book lies elsewhere; it explores how ethical values can and should work in driving and structuring the global carbon integrity system.

Association study of the dystrobrevin-binding gene with schizophrenia in Australian and Indian samples

Numerous studies have reported association between variants in the dystrobrevin binding protein 1 (dysbindin) gene (DTNBP1) and schizophrenia. However, the pattern of results is complex and to date, no specific risk marker or haplotype has been consistently identified. The number of single nucleotide polymorphisms (SNPs) tested in these studies has ranged from 5 to 20. We attempted to replicate previous findings by testing 16 SNPs in samples of 41 Australian pedigrees, 194 Australian cases and 180 controls, and 197 Indian pedigrees. No globally significant evidence for association was observed in any sample, despite power calculations indicating sufficient power to replicate several previous findings. Possible explanations for our results include sample differences in background linkage disequilibrium and/or risk allele effect size, the presence of multiple risk alleles upon different haplotypes, or the presence of a single risk allele upon multiple haplotypes. Some previous associations may also represent false positives. Examination of Caucasian HapMap phase II genotype data spanning the DTNBP1 region indicates upwards of 40 SNPs are required to satisfactorily assess all nonredundant variation within DTNBP1 and its potential regulatory regions for association with schizophrenia. More comprehensive studies in multiple samples will be required to determine whether specific DTNBP1 variants function as risk factors for schizophrenia.

A systematic review of capnography for sedation

We included six trials with 2524 participants. Capnography reduced hypoxaemic episodes, relative risk (95% CI) 0.71 (0.56-0.91), but the quality of evidence was poor due to high risks of performance bias and detection bias and substantial statistical heterogeneity. The reduction in hypoxaemic episodes was statistically homogeneous in the subgroup of three trials of 1823 adults sedated for colonoscopy, relative risk (95% CI) 0.59 (0.48-0.73), although the risks of performance and detection biases were high. There was no evidence that capnography affected other outcomes, including assisted ventilation, relative risk (95% CI) 0.58 (0.26-1.27), p = 0.17.

A descriptive analysis of incidents reported by community aged care workers

Little is known about the types of incidents that occur to aged care clients in the community. This limits the development of effective strategies to improve client safety. The objective of the study was to present a profile of incidents reported in Australian community aged care settings. All incident reports made by community care workers employed by one of the largest community aged care provider organizations in Australia during the period November 1, 2012, to August 8, 2013, were analyzed. A total of 356 reports were analyzed, corresponding to a 7.5% incidence rate per client year. Falls and medication incidents were the most prevalent incident types. Clients receiving high-level care and those who attended day therapy centers had the highest rate of incidents with 14% to 20% of these clients having a reported incident. The incident profile indicates that clients on higher levels of care had higher incident rates. Incident data represent an opportunity to improve client safety in community aged care.

Consensus statement on the role of Accredited Exercise Physiologists within the treatment of mental disorders: A guide for mental health professionals

- Objective The aim is to identify the role and scope of Accredited Exercise Physiologist (AEP) services in the mental health sector and to provide insight as to how AEPs can contribute to the multidisciplinary mental health team. - Methods A modified Delphi approach was utilised. Thirteen AEPs with experience in mental health contributed to the iterative development of a national consensus statement. Six mental health professionals with expertise in psychiatry, mental health nursing, general practice and mental health research participated in the review process. Reviewers were provided with a template to systematically provide feedback on the language, content, structure and relevance to their professional group. - Results This consensus statement outlines how AEPs can contribute to the multidisciplinary mental health team, the aims and scope of AEP-led interventions in mental health services and examples of such interventions, the range of physical and mental health outcomes possible through AEP-led interventions and common referral pathways to community AEP services. - Outcome AEPs can play a key role in the treatment of individuals experiencing mental illness. The diversity of AEP interventions allows for a holistic approach to care, enhancing both physical and mental health outcomes.

Formal network behaviour analysis using model checking

In this research we modelled computer network devices to ensure their communication behaviours meet various network standards. By modelling devices as finite-state machines and examining their properties in a range of configurations, we discovered a flaw in a common network protocol and produced a technique to improve organisations' network security against data theft.

Applying urban morphology theory to design practice

The aim of this paper is to investigate the relationship between research and design through an applied example of how architects can approach the design for a building guided by data derived from morphological research. An Expert Focus Group consisting of nine leading architects and urban designers from Brisbane, Australia was given the task of testing this proposition. Analysis of the workshop outcomes are examined, and the design drawings of each participant are assessed to determine the relative congruence of the design proposals within the morphological commodity of the specific context. In addition, qualitative data, captured through verbal and written feedback is assessed highlighting the participants' observations and experiences of the workshop. This paper makes a contribution to the current debate within the field on the opportunities of integrating research with practice.

Which patients with chronic kidney disease have the greatest symptom burden? A comparative study of advanced CKD stage and dialysis modality

Background Chronic kidney disease (CKD) leads to a range of symptoms, which are often under-recognised and little is known about the multidimensional symptom experience in advanced CKD. Objectives To examine (1) symptom burden at CKD stages 4 and 5, and dialysis modalities, and (2) demographic and renal history correlates of symptom burden. Methods Using a cross-sectional design, a convenience sample of 436 people with CKD was recruited from three hospitals. The CKD Symptom Burden Index (CKD-SBI) was used to measure the prevalence, severity, distress and frequency of 32 symptoms. Demographic and renal history data were also collected. Results Of the sample, 75.5 % were receiving dialysis (haemodialysis, n = 287; peritoneal dialysis, n = 42) and 24.5 % were not undergoing dialysis (stage 4, n = 69; stage 5, n = 38). Participants reported an average of 13.01 ± 7.67 symptoms. Fatigue and pain were common and burdensome across all symptom dimensions. While approximately one-third experienced sexual symptoms, when reported these symptoms were frequent, severe and distressing. Haemodialysis, older age and being female were independently associated with greater symptom burden. Conclusions In CKD, symptom burden is better understood when capturing the multidimensional aspects of a range of physical and psychological symptoms. Fatigue, pain and sexual dysfunction are key contributors to symptom burden, and these symptoms are often under-recognised and warrant routine assessment. The CKD-SBI offers a valuable tool for renal clinicians to assess symptom burden, leading to the commencement of timely and appropriate interventions.

Measuring the multidimensions of symptoms in people with advanced stages of chronic kidney disease

Chronic kidney disease (CKD) is increasing globally and in Saudi Arabia it affects approximately 8% annual increment of dialysis population. It is associated with a high symptom burden. Previous studies have largely reported on the prevalence of symptoms only in the haemodialysis population. This study examined symptom burden across disease stages and treatment groups in advanced CKD, and their correlation with demographic and clinical factors. Using a cross-sectional design, a convenience sample of 436 patients with CKD was recruited from three hospitals in Saudi Arabia. The CKD Symptom Burden Index (CKD-SBI) was used to measure 32 CKD symptoms. Demographic and clinical data were also collected. Of the sample 75.5% were receiving dialysis (haemodialysis, n = 287; peritoneal dialysis, n = 42) and 24.5% were non-dialysis (CKD stage 4, n = 69; CKD stage 5, n = 38). Average symptom reported was 13.01 ± 7.67. Fatigue and pain were common and burdensome across all symptom dimensions.Approximately one-third of participants experienced sexual symptoms. Dialysis patients reported greater symptom burden, especially patients on haemodialysis. Haemodialysis treatment, older age and being female were independently associated with greater total symptom burden. In conclusion, symptom burden is high among advanced stages of CKD, particularly among those receiving dialysis. Although fatigue, pain and sexual dysfunction are key contributors to symptom burden in CKD, these symptoms are often under-recognised and warrant routine assessment. The CKD-SBI offers a valuable tool to assess symptom burden, leading to the commencement of timely and appropriate interventions.

Civil Procedure

This text provides a summary of Australian procedural law to its bare essence to assist students to rapidly come to grips with the main principles, theories and reality of civil litigation. The LexisNexis Study Guide series is designed to assist students in learning the foundations for effective, systematic exam preparation and revision. In each chapter of LexisNexis Study Guide - Civil Procedure, Stephen Colbran, Roger Douglas, Sheryl Jackson and Molly Townes O'Brien clearly identify and explain the pertinent and often difficult topics within civil procedure. The most important and recent cases are summarised to consolidate practical understanding of the theoretical concepts involved in civil procedure.