Secure modular password authentication for the web using channel bindings

Secure protocols for password-based user authentication are well-studied in the cryptographic literature but have failed to see wide-spread adoption on the Internet; most proposals to date require extensive modifications to the Transport Layer Security (TLS) protocol, making deployment challenging. Recently, a few modular designs have been proposed in which a cryptographically secure password-based mutual authentication protocol is run inside a confidential (but not necessarily authenticated) channel such as TLS; the password protocol is bound to the established channel to prevent active attacks. Such protocols are useful in practice for a variety of reasons: security no longer relies on users' ability to validate server certificates and can potentially be implemented with no modifications to the secure channel protocol library. We provide a systematic study of such authentication protocols. Building on recent advances in modelling TLS, we give a formal definition of the intended security goal, which we call password-authenticated and confidential channel establishment (PACCE). We show generically that combining a secure channel protocol, such as TLS, with a password authentication protocol, where the two protocols are bound together using either the transcript of the secure channel's handshake or the server's certificate, results in a secure PACCE protocol. Our prototype based on TLS is available as a cross-platform client-side Firefox browser extension and a server-side web application which can easily be installed on deployed web browsers and servers.

Urban growth in the Kathmandu Valley: The transformation of public space

Traditional towns of the Kathmandu Valley boast a fine provision of public spaces in their neighbourhoods. Historically, a hierarchy of public space has been distributed over the entire town with each neighbourhood centered around more or less spacious public squares. However, rapid growth of these towns over the past decades has resulted in haphazard development of new urban areas with little provision of public space. Recent studies indicate that the loss of public space is a major consequence of the uncontrolled urban growth of the Kathmandu Valley and its new neighbourhoods. This paper reviews the current urban growth of the Kathmandu Valley and its impact on the development of public space in new neighbourhoods. The preliminary analysis of the case study of three new neighbourhoods shows that the formation and utilization of neighbourhood public space exhibit fundamental differences from those found in the traditional city cores. The following key issues are identified in this paper: a) Governance and regulations have been a challenge to regulate rapid urban growth; b) The current pattern of neighbourhood formation is found to be different from that of traditional neighbourhoods due to the changes with rapid urban development; c) Public spaces have been compromised in both planned and unplanned new neighbourhoods in terms of their quantity and quality; d) The changing provision of public space has contributed to its changing use and meaning; and e) The changing demographic composition, changing society and life style have had direct impact on the declining use of public space. Moreover, the management of public spaces remains a big challenge due to their changing nature and the changing governance. The current transformation public space does not appear to be conducive, and has led to adversely changing social environment of the new neighbourhoods.

Studio teaching in Australian planning curriculum

Planning studio pedagogy has long been a part of planning education and has recently re-emerged as a topic of investigation. Scholarship has: 1) critically examined the fluctuating popularity of studio teaching and the changing role of studio teaching in contemporary planning curricula in the USA and New Zealand; 2) challenged conceptualizations of the traditional studio and considered how emerging strategies for blended and online learning, and ‘real world engagement’ are producing new modes of studio delivery; 3) considered the benefits and outcomes of studio teaching, and; 4) provided recommendations for teaching practice by critically analysing studio experiences in different contexts (Aitken-Rose & Dixon, 2009; Balassiano, 2011; Balassiano & West, 2012; Balsas, 2012; Dandekar, 2009; Heumann & Wetmore, 1984; Higgins, Thomas & Hollander, 2010; Lang, 1983; Long, 2012; Németh & Long, 2012; Winkler, 2013). Twenty-three universities in Australia offer accredited planning degrees, yet data about the use of studio teaching in planning programs are limited. How, when and why are studio pedagogies used? If it is not a part of the curriculum – why?, and has this had any impact on student outcomes? What are the opportunities and limitations of new models of studio teaching for student, academic, professional and institutional outcomes? This paper presents early ideas from a QUT seed grant on the use of studio teaching in Australian planning education to gain a better understanding of the different roles of studio teaching in planning curricula at a National level and opportunities and challenges for this pedagogical mode in the face of dilemmas facing planning education.

Fischer rats consume 20% ethanol in a long-term intermittent-access two-bottle-choice paradigm

The 20% ethanol intermittent-access (IAE) two-bottle-choice drinking procedure has been shown to produce high voluntary ethanol consumption in a number of rat strains. For this study, we applied this procedure to male Fischer (F344) rats, a strain previously reported to exhibit low levels of ethanol consumption. We also subjected these animals to a two-week ethanoldeprivation- period to see if they would exhibit an alcohol deprivation effect (ADE) signified by a transient increase in alcohol consumption following deprivation. Our data show a separation between high and low consuming animals within this strain, with high-consumers exhibiting an escalation in consumption. In contrast, Fischer rats did not show a significant separation between high and low consumers or any significant escalation in consumption, using the 20% ethanol continuous-access two-bottle-choice drinking protocol. Following the two-week deprivation period, animals in the high (but not the low) IAE group exhibited the transient increase in ethanol consumption and preference typically associated with an ADE. Together, the data suggest that the intermittent access protocol is a useful protocol for increasing ethanol consumption.

Fine-mapping the HOXB region detects common variants tagging a rare coding allele : evidence for synthetic association in prostate cancer

The HOXB13 gene has been implicated in prostate cancer (PrCa) susceptibility. We performed a high resolution fine-mapping analysis to comprehensively evaluate the association between common genetic variation across the HOXB genetic locus at 17q21 and PrCa risk. This involved genotyping 700 SNPs using a custom Illumina iSelect array (iCOGS) followed by imputation of 3195 SNPs in 20,440 PrCa cases and 21,469 controls in The PRACTICAL consortium. We identified a cluster of highly correlated common variants situated within or closely upstream of HOXB13 that were significantly associated with PrCa risk, described by rs117576373 (OR 1.30, P = 2.62×10(-14)). Additional genotyping, conditional regression and haplotype analyses indicated that the newly identified common variants tag a rare, partially correlated coding variant in the HOXB13 gene (G84E, rs138213197), which has been identified recently as a moderate penetrance PrCa susceptibility allele. The potential for GWAS associations detected through common SNPs to be driven by rare causal variants with higher relative risks has long been proposed; however, to our knowledge this is the first experimental evidence for this phenomenon of synthetic association contributing to cancer susceptibility.

Self-management programs in stage 1-4 chronic kidney disease : a literature review.

Background Chronic kidney disease (CKD) is a complex health problem, which requires individuals to invest considerable time and energy in managing their health and adhering to multifaceted treatment regimens. Objectives To review studies delivering self-management interventions to people with CKD (Stages 1–4) and assess whether these interventions improve patient outcomes. Design: Systematic review. Methods Nine electronic databases (MedLine, CINAHL, EMBASE, ProQuest Health & Medical Complete, ProQuest Nursing & Allied Health, The Cochrane Library, The Joanna Briggs Institute EBP Database, Web of Science and PsycINFO) were searched using relevant terms for papers published between January 2003 and February 2013. Results The search strategy identified 2,051 papers, of which 34 were retrieved in full with only 5 studies involving 274 patients meeting the inclusion criteria. Three studies were randomised controlled trials, a variety of methods were used to measure outcomes, and four studies included a nurse on the self-management intervention team. There was little consistency in the delivery, intensity, duration and format of the self-management programmes. There is some evidence that knowledge- and health-related quality of life improved. Generally, small effects were observed for levels of adherence and progression of CKD according to physiologic measures. Conclusion The effectiveness of self-management programmes in CKD (Stages 1–4) cannot be conclusively ascertained, and further research is required. It is desirable that individuals with CKD are supported to effectively self-manage day-to-day aspects of their health.

Built environment impacts on walking for transport in Brisbane, Australia

This study examines the association between urban form and walking for transport in Brisbane, Australia based on both panel and cross-sectional data. Cross-sectional data are used to determine whether urban form was associated with walking for transport in 2011. Panel data are used to evaluate whether changes in the built environment altered walking behaviour between 2009 and 2011. Results from the cross-sectional data suggest that individuals are significantly more likely to be walkers if they live in an area with a well-connected street network and an accessible train station. The longitudinal analysis confirms these relationships; there also was however, a significant impact of travel attitudes and perceptions on walking behaviour. The findings suggest that the built environment continues to be an important factor to encourage walking; however, interventions are also required to change social norms in order to increase the receptiveness for and participation in walking.

Multi-ciphersuite security of the Secure Shell (SSH) protocol

The Secure Shell (SSH) protocol is widely used to provide secure remote access to servers, making it among the most important security protocols on the Internet. We show that the signed-Diffie--Hellman SSH ciphersuites of the SSH protocol are secure: each is a secure authenticated and confidential channel establishment (ACCE) protocol, the same security definition now used to describe the security of Transport Layer Security (TLS) ciphersuites. While the ACCE definition suffices to describe the security of individual ciphersuites, it does not cover the case where parties use the same long-term key with many different ciphersuites: it is common in practice for the server to use the same signing key with both finite field and elliptic curve Diffie--Hellman, for example. While TLS is vulnerable to attack in this case, we show that SSH is secure even when the same signing key is used across multiple ciphersuites. We introduce a new generic multi-ciphersuite composition framework to achieve this result in a black-box way.