Generic one round group key exchange in the standard model

Minimizing complexity of group key exchange (GKE) protocols is an important milestone towards their practical deployment. An interesting approach to achieve this goal is to simplify the design of GKE protocols by using generic building blocks. In this paper we investigate the possibility of founding GKE protocols based on a primitive called multi key encapsulation mechanism (mKEM) and describe advantages and limitations of this approach. In particular, we show how to design a one-round GKE protocol which satisfies the classical requirement of authenticated key exchange (AKE) security, yet without forward secrecy. As a result, we obtain the first one-round GKE protocol secure in the standard model. We also conduct our analysis using recent formal models that take into account both outsider and insider attacks as well as the notion of key compromise impersonation resilience (KCIR). In contrast to previous models we show how to model both outsider and insider KCIR within the definition of mutual authentication. Our analysis additionally implies that the insider security compiler by Katz and Shin from ACM CCS 2005 can be used to achieve more than what is shown in the original work, namely both outsider and insider KCIR.

Formal complaints of workplace sexual harassment lodged with Australian Human Rights and Equal Opportunity Commissions - 1 July 2009 - 31 December 2009

This report presents an analysis of quantitative data collected from the Australian Human Rights Commission, the Anti-Discrimination Commission of Queensland, the Victorian Equal Opportunity and Human Rights Commission, the Anti-Discrimination Board of New South Wales, the Equal Opportunity Commission of South Australia, the Australian Capital Territory Human Rights Commission, the Equal Opportunity Commission Western Australia, the Northern Territory Anti-Discrimination Commission, and the Office of the Anti-Discrimination Commissioner (Tasmania) (hereafter referred to as the Commissions). The data comprise formal complaints lodged under the various federal, state and territory anti-discrimination laws in the period 1 July 2009 to 31 December 2009 where a complainant had alleged sexual harassment in the area of employment.

Evolution and innovation in guardianship laws: Assisted decision-making

Guardianship laws in most Western societies provide decision-making mechanisms for adults with impaired capacity. Since the inception of these laws, the principle of autonomy and recognition of human rights for those coming within guardianship regimes has gained prominence. A new legal model has emerged, which seeks to incorporate ‘assisted decision-making’ models into guardianship laws. Such models legally recognise that an adult’s capacity may be maintained through assistance or support provided by another person, and provide formal recognition of the person in that ‘assisting’ role. This article situates this latest legal innovation within a historical context, examining the social and legal evolution of guardianship laws and determining whether modern assisted decision-making models remain consistent with guardianship reform thus far. It identifies and critically analyses the different assisted decision-making models which exist internationally. Finally, it discusses a number of conceptual, legal and practical concerns that remain unresolved. These issues require serious consideration before assisted decisionmaking models are adopted in guardianship regimes in Australia.

Scaling laws for localised states in a nonlocal amplitude equation

It is well known that, although a uniform magnetic field inhibits the onset of small amplitude thermal convection in a layer of fluid heated from below, isolated convection cells may persist if the fluid motion within them is sufficiently vigorous to expel magnetic flux. Such fully nonlinear(‘‘convecton’’) solutions for magnetoconvection have been investigated by several authors. Here we explore a model amplitude equation describing this separation of a fluid layer into a vigorously convecting part and a magnetically-dominated part at rest. Our analysis elucidates the origin of the scaling laws observed numerically to form the boundaries in parameter space of the region of existence of these localised states, and importantly, for the lowest thermal forcing required to sustain them.

Learning in formal and informal contexts : conceptions and strategies of Aboriginal and Torres Strait Islander university students

Research suggests that students' approaches to learning and hence learning outcomes are closely related to their conceptions of learning. This paper describes an investigation into conceptions of formal learning held by 22 Aboriginal and Torres Strait Islander students from three Australian universities in Queensland; categories of informal learning, reasons for studying and strategies used to learn were also investigated. The attrition rate for these students in tertiary education is higher than that of any other group of students. The main aim of this study was to determine their conceptions of learning in order to provide information that might facilitate instruction more suited to their needs in order to address the high attrition rate. Results showed that these students view and approach university learning in much the same way as other university students. It was also apparent that, for the most part, the strategies these students used did not match the conceptions of learning they held. An interesting result was the difference between the conceptions of formal learning and perceptions of informal learning.

New laws for off the plan contracts in Queensland

The Land Sales Act 1984 regulates “off the plan” sales in Queensland in conjunction with several provisions in the Body Corporate and Community Management Act 1997. Together the Acts regulate sales in both unit developments and housing estates. From 2010 to 2013 the Queensland Government undertook a comprehensive review of the Land Sales Act 1984 to identify opportunities to modernise and improve the legislation. Significant changes were recommended by the Review to align the Land Sales Act 1984 (LSA) with current surveying and conveyancing practice and to overcome a number of practical issues faced by developers under the current legislation. A significant outcome of the review is the removal of provisions related to off the plan community title sales from the LSA to the Body Corporate and Community Management Act 1997 (BCCMA) and the Building Units and Group Titles Act 1980 (BUGTA). This article examines the Land Sales and Other Legislation Amendment Act 2014 due to commence in November 2014.

Valuable learning, unwelcome assessment : what LLB and JD students really think about group work

This article contributes to current debates about the appropriate role of group work in legal curricula by providing insights into the attitudes of Bachelor of Laws (‘LLB’) and Juris Doctor (‘JD’) students towards such tasks. It begins by reviewing arguments for incorporating group work in legal education, both as a result of the recognition of its educational benefits, and as a response to increasing regulatory expectations regarding student collaboration skills. The article then reports the findings of a UNSW Law School Student Assessment Survey designed to determine how law students perceive group work and its assessment in law. One of the most striking findings is that many of the law students surveyed recognise and appreciate the learning and skills development benefits of group tasks, but are resistant to summative assessment of group work. Moreover, there are marked differences in attitude between LLB and JD students, and across year cohorts within those degrees. These findings suggest that further thought needs to be directed towards the specific purposes underpinning the choice of group work as a pedagogical tool, and assessment that is congruent with those purposes, taking into account the varying needs and experiences of different cohorts of students. The article concludes by considering whether meaningful group work can exist without summative assessment.

The Down Under book and film remind us our copyright law’s still unfair for artists

Australian copyright law is broken, and the Australian Government isn’t moving quickly to fix it. Borrowing, quoting, and homage are fundamental to the creative process. This is how people are inspired to create. Under Australian law, though, most borrowing is copyright infringement, unless it is licensed or falls within particular, narrow categories. This year marks five years since the very real consequences of Australia’s restrictive copyright law for Australian artists were made clear in the controversial litigation over Men at Work’s 1981 hit Down Under. The band lost a court case in 2010 that found that the song’s iconic flute riff copied some of the 1934 children’s song Kookaburra Sits in the Old Gumtree. A new book and documentary tell us more about the story behind the anthem – and the court case. The book, Down Under by Trevor Conomy, and the documentary, You Better Take Cover by Harry Hayes, bring renewed interest and new perspectives on the tragic story.

Insolvency academics contributing to the review of insolvency laws: An Australian perspective

Introduction 1 It gives me great pleasure to contribute to this publication to honour Professor Ian Fletcher on his retirement as Foundation Chair of the INSOL International Academic Group. A collection of essays that include topics on domestic, cross-border and international insolvency appropriately reflects the breadth of Professor Fletcher’s impact on the scholarship of insolvency law – not only in his “home” jurisdiction of England and Wales and closer to home in Europe, but also stretching around the globe, in this case, to Australia. 2 In the early 1990s when I first began to research in the area of cross-border insolvency law, a colleague mentioned that they had recently attended the XIIIth International Congress of Comparative Law in Montreal in August 1990 and heard the Cross-border Insolvency: General Report expertly delivered by an English academic, Ian Fletcher, who was widely regarded as an authority in the area. This was my first introduction to Professor Fletcher’s work and over the intervening years I have referred often to his scholarship....

Systematic stability analysis of the renormalization group flow for the normal-superconductor-normal junction of Luttinger liquid wires

We study the renormalization group flows of the two terminal conductance of a superconducting junction of two Luttinger liquid wires. We compute the power laws associated with the renormalization group flow around the various fixed points of this system using the generators of the SU(4) group to generate the appropriate parametrization of an matrix representing small deviations from a given fixed point matrix [obtained earlier in S. Das, S. Rao, and A. Saha, Phys. Rev. B 77, 155418 (2008)], and we then perform a comprehensive stability analysis. In particular, for the nontrivial fixed point which has intermediate values of transmission, reflection, Andreev reflection, and crossed Andreev reflection, we show that there are eleven independent directions in which the system can be perturbed, which are relevant or irrelevant, and five directions which are marginal. We obtain power laws associated with these relevant and irrelevant perturbations. Unlike the case of the two-wire charge-conserving junction, here we show that there are power laws which are nonlinear functions of V(0) and V(2kF) [where V(k) represents the Fourier transform of the interelectron interaction potential at momentum k]. We also obtain the power law dependence of linear response conductance on voltage bias or temperature around this fixed point.

Gauge theory of a group of diffeomorphisms. I. General principles

Any (N+M)-parameter Lie group G with an N-parameter subgroup H can be realized as a global group of diffeomorphisms on an M-dimensional base space B, with representations in terms of transformation laws of fields on B belonging to linear representations of H. The gauged generalization of the global diffeomorphisms consists of general diffeomorphisms (or coordinate transformations) on a base space together with a local action of H on the fields. The particular applications of the scheme to space-time symmetries is discussed in terms of Lagrangians, field equations, currents, and source identities. Journal of Mathematical Physics is copyrighted by The American Institute of Physics.

Behaviour of autonomous mobile agents using linear cyclic pursuit laws

In this paper, the behaviour of a group of autonomous mobile agents under cyclic pursuit is studied. Cyclic pursuit is a simple distributed control law, in which the agent i pursues agent i + 1 modulo n.. The equations of motion are linear, with no kinematic constraints on motion. Behaviourally, the agents are identical, but may have different controller gains. We generalize existing results in the literature and show that by selecting these gains, the behavior of the agents can be controlled. They can be made to converge at a point or be directed to move in a straight line. The invariance of the point of convergence with the sequence of pursuit is also shown.

Synthesis based on cyclohexadienes Part 36: an efficient methodology for the construction of spiro[4.5]decanes: a formal synthesis of acorone

An efficient strategy for the contruction of spiro[4.5] decanes is described and involves a bridgehead substitution of a methoxyl group by a methyl group followed by an oxidative cleavage of the tricyclo[5.2.2.0(1,5)] undecane 25 to produce the spiro[4.5] decanes 31 & 32 which are intermediates in the synthesis of acorone. A novel one-pot conversion of alpha-methoxy carboxylic acid to alpha-methyl carboxylic acid is described.

Heterogeneous locational optimisation using a generalised Voronoi partition

In this paper a generalisation of the Voronoi partition is used for locational optimisation of facilities having different service capabilities and limited range or reach. The facilities can be stationary, such as base stations in a cellular network, hospitals, schools, etc., or mobile units, such as multiple unmanned aerial vehicles, automated guided vehicles, etc., carrying sensors, or mobile units carrying relief personnel and materials. An objective function for optimal deployment of the facilities is formulated, and its critical points are determined. The locally optimal deployment is shown to be a generalised centroidal Voronoi configuration in which the facilities are located at the centroids of the corresponding generalised Voronoi cells. The problem is formulated for more general mobile facilities, and formal results on the stability, convergence and spatial distribution of the proposed control laws responsible for the motion of the agents carrying facilities, under some constraints on the agents' speed and limit on the sensor range, are provided. The theoretical results are supported with illustrative simulation results.