Design and analysis of group key exchange protocols

A group key exchange (GKE) protocol allows a set of parties to agree upon a common secret session key over a public network. In this thesis, we focus on designing efficient GKE protocols using public key techniques and appropriately revising security models for GKE protocols. For the purpose of modelling and analysing the security of GKE protocols we apply the widely accepted computational complexity approach. The contributions of the thesis to the area of GKE protocols are manifold. We propose the first GKE protocol that requires only one round of communication and is proven secure in the standard model. Our protocol is generically constructed from a key encapsulation mechanism (KEM). We also suggest an efficient KEM from the literature, which satisfies the underlying security notion, to instantiate the generic protocol. We then concentrate on enhancing the security of one-round GKE protocols. A new model of security for forward secure GKE protocols is introduced and a generic one-round GKE protocol with forward security is then presented. The security of this protocol is also proven in the standard model. We also propose an efficient forward secure encryption scheme that can be used to instantiate the generic GKE protocol. Our next contributions are to the security models of GKE protocols. We observe that the analysis of GKE protocols has not been as extensive as that of two-party key exchange protocols. Particularly, the security attribute of key compromise impersonation (KCI) resilience has so far been ignored for GKE protocols. We model the security of GKE protocols addressing KCI attacks by both outsider and insider adversaries. We then show that a few existing protocols are not secure against KCI attacks. A new proof of security for an existing GKE protocol is given under the revised model assuming random oracles. Subsequently, we treat the security of GKE protocols in the universal composability (UC) framework. We present a new UC ideal functionality for GKE protocols capturing the security attribute of contributiveness. An existing protocol with minor revisions is then shown to realize our functionality in the random oracle model. Finally, we explore the possibility of constructing GKE protocols in the attribute-based setting. We introduce the concept of attribute-based group key exchange (AB-GKE). A security model for AB-GKE and a one-round AB-GKE protocol satisfying our security notion are presented. The protocol is generically constructed from a new cryptographic primitive called encapsulation policy attribute-based KEM (EP-AB-KEM), which we introduce in this thesis. We also present a new EP-AB-KEM with a proof of security assuming generic groups and random oracles. The EP-AB-KEM can be used to instantiate our generic AB-GKE protocol.

The 2008 Tibet riots : perspectives, divided group protests and divergent media narratives

Awareness of the power of the mass media to communicate images of protest to global audiences and, in so doing, to capture space in global media discourses is a central feature of the transnational protest movement. A number of protest movements have formed around opposition to concepts and practices that operate beyond national borders, such as neoliberal globalization or threats to the environment. However, transnational protests also involve more geographically discreet issues such as claims to national independence or greater religious or political freedom by groups within specific national contexts. Appealing to the international community for support is a familiar strategy for communities who feel that they are being discriminated against or ignored by a national government.

"My friend was over the alcohol limit, so I asked him not to drive" : Young females intervening in alcohol-impaired driving

Potential to strengthen a commitment to intervene within a friendship group: – all knew the other passengers, – 3 in 4 discussed intervening with other passengers, – expectations of friends was a key predictive factor. - young women have potential and willingness to intervene in their friends’ drink driving behaviour - majority of campaigns and strategies to reduce alcohol related crashes target the driver however it is arguable that some strategies should target the young female passenger.

Whom to group with - a Bourdieusian narrative analysis of international students in an Australian university

Introduction to the topic or context and/or mapping of the literature Increasing degree-seeking, self-funded, international students from affluent Asian countries, who use English as an additional language (EAL), have contributed to cultural and linguistic diversities in Australian universities. Such diversities further posed challenges in pedagogy and assessment. In particular, these students' English proficiency and cultural attributes were highlighted as factors in productive group discussions, and equitable group assessment. The focus in the research literature thus far is on how EAL international students can better English proficiency and adaptability to group participation. However, little is known from sociological perspectives about the power relations involved in EAL students' choice of group members in group discussions.

Patient group directions : the application and integration of knowledge in advancing nursing practice

Background: The introduction of Patient Group Directions (PGD) has changed significantly the way in which nurses can now administer prescription only medicines as a one-off for patients requiring this level of service. PGD’s are a written authority to administer drugs to patients that are not identified at the time of treatment. Aim: The aim of this project was to develop a PGD for use within an Outreach team to administer colloid boluses to patients presenting with hypovolemia. Method: Using a case exemplar this paper will discuss the development of a PGD using aspects of transitional change theory to highlight the potential barriers that were encountered. Implications for Practice: The implications for this PGD are wide reaching. First it now enables members from the nursing Outreach team to administer colloid fluid boluses to a prescribed patient cohort without the need for prescription. Second, it ensures the deteriorating patient has interventions initiated in a timely and appropriate manner to reduce inadvertent admission to high care areas. Last, it will improve inter-professional team-working and communication so much so that collaborative patient care reduces health costs and identifies earlier those patients requiring substantially greater nursing and medical input. Conclusion: The experience of developing a working PGD for fluid administration has meant that the Outreach team is able to respond to patients in a more effective way. In addition, it is the experience of developing this PGD that has enabled the team to contemplate other PGD’s in the execution of Outreach work.

We can build homes to survive bushfires, so why don’t we?

Published opinion piece in online media 'The Conversation' discussing the reasons for the low uptake of bushfire resilient housing in Australia.

Associated schools of construction of southern Africa infrastructure design and delivery workshop - Report. CIB task group 91 infrastructure

This workshop comprised a diverse group of African construction experts, ranging far wider than RSA. Each of the attendees had attended the annual ASOCSA conference and was additionally provided with a short workshop pre-brief. The aim was to develop a view of their 15-20 year vision of construction improvement in RSA and the steps necessary to get there. These included sociological, structural, technical and process changes. Whilst some suggestions are significantly challenging, none are impossible, given sufficient collaboration between government, industry, academia and NGOs. The highest priority projects (more properly, programmes) were identified and further explored. These are: 1. Information Hub (‘Open Africa’). Aim – to utilise emerging trends in Open Data to provide a force for African unity. 2. Workforce Development. Aim – to rebuild a competent, skilled construction industry for RSA projects and for export. 3. Modular DIY Building. Aim – to accelerate the development of sustainable, cost-efficient and desirable housing for African economic immigrants and others living in makeshift and slum dwellings. Open Data is a maturing theme in different cities and governments around the world and the workshop attendees were very keen to seize such a possibility to assist in developing an environment where Africans can share information and foster collaboration. It is likely that NGOs might be keen to follow up such an initiative. There are significant developments taking place around the world in the construction sector currently, with comparatively large savings being made for taxpayers (20% plus in the UK). Not all of these changes would be easy to transplant to RSA (even more so to much of the rest of Africa). Workforce development was a keen plea amongst the attendees, who seemed concerned that expertise has leaked away and is not being replaced with sufficient intensity. It is possible today to develop modular buildings in such a way that even unskilled residents can assist in their construction, and even their appropriate design. These buildings can be sited nearly autonomously from infrastructures, thus relieving the tensions on cities and townships, whilst providing humane accommodation for the economically disadvantaged. Development of suitable solutions could either be conducted with other similarly stressed countries or developed in-country and the expertise exported. Finally, it should be pointed out that this was very much a first step. Any opportunity to collaborate from an Australian, QUT or CIB perspective would be welcomed, whilst acknowledging that the leading roles belong to RSA, CSIR, NRF, ASOCSA and the University of KwaZulu-Natal.

Perinatal nutrition and gastrointestinal disorders : Working Group Report of the Second World Congress of Pediatric Gastroenterology, Hepatology, and Nutrition

Metabolic programming during the perinatal period as a consequence of early nutrition is an emerging area of great interest. This concept is known as the "fetal origins of adult disease" theory (1). Numerous epidemiological studies published over the past 20 years or so have suggested that small body size at birth and during infancy and, more specifically, intrauterine growth retardation are associated later in life with lowered cognitive performance and increased rates of coronary heart disease and its major biological risk factors, ie, raised blood pressure, insulin resistance, coronary artery disease, and abnormalities in lipid metabolism. The molecular mechanisms that govern this phenomenon in humans, however, are unknown and need to be elucidated.

Polymerization of Ethene and Branched α-olefins with Group IV Metal Complexes Bearing Nitrogen- and Oxygen-Based Ligands

The commodity plastics that are used in our everyday lives are based on polyolefin resins and they find wide variety of applications in several areas. Most of the production is carried out in catalyzed low pressure processes. As a consequence polymerization of ethene and α-olefins has been one of the focus areas for catalyst research both in industry and academia. Enormous amount of effort have been dedicated to fine tune the processes and to obtain better control of the polymerization and to produce tailored polymer structures The literature review of the thesis concentrates on the use of Group IV metal complexes as catalysts for polymerization of ethene and branched α-olefins. More precisely the review is focused on the use of complexes bearing [O,O] and [O,N] type ligands which have gained considerable interest. Effects of the ligand framework as well as mechanical and fluxional behaviour of the complexes are discussed. The experimental part consists mainly of development of new Group IV metal complexes bearing [O,O] and [O,N] ligands and their use as catalysts precursors in ethene polymerization. Part of the experimental work deals with usage of high-throughput techniques in tailoring properties of new polymer materials which are synthesized using Group IV complexes as catalysts. It is known that the by changing the steric and electronic properties of the ligand framework it is possible to fine tune the catalyst and to gain control over the polymerization reaction. This is why in this thesis the complex structures were designed so that the ligand frameworks could be fairly easily modified. All together 14 complexes were synthesised and used as catalysts in ethene polymerizations. It was found that the ligand framework did have an impact within the studied catalyst families. The activities of the catalysts were affected by the changes in complex structure and also effects on the produced polymers were observed: molecular weights and molecular weight distributions were depended on the used catalyst structure. Some catalysts also produced bi- or multi-modal polymers. During last decade high-throughput techniques developed in pharmaceutical industries have been adopted into polyolefin research in order to speed-up and optimize the catalyst candidates. These methods can now be regarded as established method suitable for both academia and industry alike. These high-throughput techniques were used in tailoring poly(4-methyl-1-pentene) polymers which were synthesized using Group IV metal complexes as catalysts. This work done in this thesis represents the first successful example where the high-throughput synthesis techniques are combined with high-throughput mechanical testing techniques to speed-up the discovery process for new polymer materials.

Gauging the conformal group

It is demonstrated that Kibble’s method of gauging the Poincaré group can be applied to the gauging of the conformal group. The action of the gauge transformations is the action of general spacetime diffeomorphisms (or coordinate transformations) combined with a local action of an 11-parameter subgroup of SO(4,2). Because the translational subgroup is not an invariant subgroup of the conformal group the appropriate generalisation of the derivative of a physical field is not a covariant derivative in the usual sense, but this does not lead to any inconsistencies.

Inside out: Why do so many great buildings have drab interiors?

An extravaganza of shapes now forms our city skylines. CAD and BIM with their inbuilt links to manufacturing and construction processes has made possible this kind of effusive architectural expression, at least externally. Building developers clearly understand the enormous marketing potential for impact expression. The skilled manipulation of 3D CAD software enables architects to achieve usable gross floor space within an enticingly sinuous, but build-able, envelope. This critical factor is resulting in a fundamental change to the appearance of our cities. It has become plausible, at least, to design and build complex and non-repetitive buildings without incurring prohibitive additional labor costs.However The ground level lobby spaces often do manage to retain some of the external. However, the interior working spaces, particularly in commercial office buildings tend to loose this grand gesture. However - the internal activity - the very reason for the existence of the building – often takes place in monotonous spaces that seem driven predominately by the need to accommodate workstation furniture and functions in dire need of reconsideration.

Functional interaction of diphenols with polyphenol oxidase - Molecular determinants of substrate/inhibitor specificity SO FEBS JOURNAL

Polyphenol oxidase (PPO) catalyzes the oxidation of o-diphenols to their respective quinones. The quinones autopolymerize to form dark pigments, an undesired effect. PPO is therefore the target for the development of antibrowning and antimelanization agents. A series of phenolic compounds experimentally evaluated for their binding affinity and inhibition constants were computationally docked to the active site of catechol oxidase. Docking studies suggested two distinct modes of binding, dividing the docked ligands into two groups. Remarkably, the first group corresponds to ligands determined to be substrates and the second group corresponds to reversible inhibitors. Analyses of the complexes provide structural explanations for correlating subtle changes in the position and nature of the substitutions on o-diphenols to their functional properties as substrates and inhibitors. Higher reaction rates and binding are reckoned by additional interactions of the substrates with key residues that line the hydrophobic cavity. The docking results suggest that inhibition of oxidation stems from an interaction between the aromatic carboxylic acid group and the apical His 109 of the four coordinates of the trigonal pyramidal coordination polyhedron of CuA. The spatial orientation of the hydroxyl in relation to the carboxylic group either allows a perfect fit in the substrate cavity, leading to inhibition, or because of a steric clash flips the molecule vertically, facilitating oxidation. This is the first study to explain, at the molecular level, the determinants Of substrate and inhibitor specificity of a catechol oxidase, thereby providing a platform for the design of selective inhibitors useful to both the food and pharmaceutical industries.

Status of supersymmetric type-I seesaw in SO(10) inspired models

We report on the status of supersymmetric seesaw models in the light of recent experimental results on mu -> e + gamma, theta(13) and the light Higgs mass at the LHC. SO(10)-like relations are assumed for neutrino Dirac Yukawa couplings and two cases of mixing, one large, PMNS-like, and another small, CKM-like, are considered. It is shown that for the large mixing case, only a small range of parameter space with moderate tan beta is still allowed. This remaining region can be ruled out by an order of magnitude improvement in the current limit on BR(mu -> e + gamma). We also explore a model with non-universal Higgs mass boundary conditions at the high scale. It is shown that the renormalization group induced flavor violating slepton mass terms are highly sensitive to the Higgs boundary conditions. Depending on the choice of the parameters, they can either lead to strong enhancements or cancellations within the flavor violating terms. Such cancellations might relax the severe constraints imposed by lepton flavor violation compared to mSUGRA. Nevertheless for a large region of parameter space the predicted rates lie within the reach of future experiments once the light Higgs mass constraint is imposed. We also update the potential of the ongoing and future experimental searches for lepton flavor violation in constraining the supersymmetric parameter space.

Group behaviour in physical, chemical and biological systems

Groups exhibit properties that either are not perceived to exist, or perhaps cannot exist, at the individual level. Such `emergent' properties depend on how individuals interact, both among themselves and with their surroundings. The world of everyday objects consists of material entities. These are, ultimately, groups of elementary particles that organize themselves into atoms and molecules, occupy space, and so on. It turns out that an explanation of even the most commonplace features of this world requires relativistic quantum field theory and the fact that Planck's constant is discrete, not zero. Groups of molecules in solution, in particular polymers ('sols'), can form viscous clusters that behave like elastic solids ('gels'). Sol-gel transitions are examples of cooperative phenomena. Their occurrence is explained by modelling the statistics of inter-unit interactions: the likelihood of either state varies sharply as a critical parameter crosses a threshold value. Group behaviour among cells or organisms is often heritable and therefore can evolve. This permits an additional, typically biological, explanation for it in terms of reproductive advantage, whether of the individual or of the group. There is no general agreement on the appropriate explanatory framework for understanding group-level phenomena in biology.

Optimized Group Velocity Control Scheme and DNS of Decaying Compressible Turbulence of Relative High Turbulent Mach Number

To overcome the difficulty in the DNS of compressible turbulence at high turbulent Mach number, a new difference scheme called GVC8 is developed. We have succeeded in the direct numerical simulation of decaying compressible turbulence up to turbulent Mach number 0.95. The statistical quantities thus obtained at lower turbulent Mach number agree well with those from previous authors with the same initial conditions, but they are limited to simulate at lower turbulent Mach numbers due to the so-called start-up problem. The energy spectrum and coherent structure of compressible turbulent flow are analysed. The scaling law of compressible turbulence is studied. The computed results indicate that the extended self-similarity holds in decaying compressible turbulence despite the occurrence of shocklets, and compressibility has little effects on relative scaling exponents when turbulent Mach number is not very high.