Attribute-based authenticated key exchange

We introduce the concept of attribute-based authenticated key exchange (AB-AKE) within the framework of ciphertext policy attribute-based systems. A notion of AKE-security for AB-AKE is presented based on the security models for group key exchange protocols and also taking into account the security requirements generally considered in the ciphertext policy attribute-based setting. We also extend the paradigm of hybrid encryption to the ciphertext policy attribute-based encryption schemes. A new primitive called encapsulation policy attribute-based key encapsulation mechanism (EP-AB-KEM) is introduced and a notion of chosen ciphertext security is de�ned for EP-AB-KEMs. We propose an EP-AB-KEM from an existing attribute-based encryption scheme and show that it achieves chosen ciphertext security in the generic group and random oracle models. We present a generic one-round AB-AKE protocol that satis�es our AKE-security notion. The protocol is generically constructed from any EP-AB-KEM that satis�es chosen ciphertext security. Instantiating the generic AB-AKE protocol with our EP-AB-KEM will result in a concrete one-round AB-AKE protocol also secure in the generic group and random oracle models.

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.

Urban rural water exchange : PRW in the Lockyer Valley

A significant amount (ca. 15-25 GL/a) of PRW (Purified Recycled Water) from urban areas is foreseen as augmentation of the depleted groundwater resources of the Lockyer Valley (approx. 80 km west of Brisbane). Theresearch project uses field investigations, lab trials and modelling techniques to address the key challenges: (i) how to determine benefits of individual users from the augmentation of a natural common pool resource; (ii) how to minimise impacts of applying different quality water on the Lockyer soils, to creeks and on aquifier materials; (iii) how to minimuse mobilisation of salts in the unsaturated and saturated zones as a result of increased deep drainage; (iv) determination of potential for direct aquifer recharge using injection wells?

Fouling of tubular ceramic membranes during processing of cane sugar juice

This paper examines the fouling characteristics of four tubular ceramic membranes with pore sizes 300 kDa, 0.1 μm and 0.45 μm installed in a pilot plant at a sugar factory for processing clarified cane sugar juices. All the membranes, except the one with a pore size of 0.45 μm, generally gave reproducible results through the trials, were easy to clean and could handle operation at high volumetric concentration factors. Analysis of fouled and cleaned ceramic membranes revealed that polysaccharides, lipids and to a lesser extent, polyphenols, as well as other colloidal particles cause fouling of the membranes. Electrostatic and hydrophobic forces cause strong aggregation of the polymeric components with one another and with colloidal particles. To combat irreversible fouling of the membranes, treatment options that result in the removal of particles having a size range of 0.2–0.5 μm and in addition remove polymeric impurities, need to be identified. Chemical and microscopic evaluations of the juices and the structural characterisation of individual particles and aggregates identified options to mitigate the fouling of membranes. These include conditioning the feed prior to membrane filtration to break up the network structure formed between the polymers and particles in the feed and the use of surfactants to prevent the aggregation of polymers and particles.

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.

Highly efficient, stoichiometric radical exchange reactions using isoindoline profluorescent nitroxides

Exchange reactions between the isoindoline profluorescent nitroxide 1,1,3,3-tetramethyldibenzo[e,g]isoindolin-2-yloxyl (TMDBIO) and a TEMPO capped polystyrene were carried out. High conversions to the desired products were achieved using only stoichiometric ratios of nitroxide relative to polymer. The scope of this study was expanded by exploiting a di-nitroxide 9,10-bis(5-[1,1,3,3-tetramethylisoindolin-2-yloxy])anthracene (BTMIOA) as a connector between two polymer chains forming PS–nitroxide–PS systems.

Automating computational proofs for public-key-based key exchange

We present an approach to automating computationally sound proofs of key exchange protocols based on public-key encryption. We show that satisfying the property called occultness in the Dolev-Yao model guarantees the security of a related key exchange protocol in a simple computational model. Security in this simpler model has been shown to imply security in a Bellare {Rogaway-like model. Furthermore, the occultness in the Dolev-Yao model can be searched automatically by a mechanisable procedure. Thus automated proofs for key exchange protocols in the computational model can be achieved. We illustrate the method using the well-known Lowe-Needham-Schroeder protocol.

Anhydrous 1:1 proton-transfer compounds of isonipecotamide with picric acid and 3,5-dinitrosalicylic acid: 4-carbamoylpiperidinium 2,4,6-trinitrophenolate and two polymorphs of 4-carbamoylpiperidinium 2-carboxy-4,6-dinitrophenolate

The structures of the anhydrous 1:1 proton-transfer compounds of isonipecotamide (4-carbamoylpiperidine) with picric acid and 3,5-dinitrosalicylic acid, namely 4-carbamoylpiperidinium 2,4,6-trinitrophenolate, C6H13N2O8+ C6H2N3O7- (I) and 4-carbamoylpiperidinium 2-carboxy-4,6-dinitrophenolate, C6H13N2O8+ C7H3N2O7-: two forms, the monoclinic alpha-polymorph (II) and the triclinic beta-polymorph (III) have been determined at 200 K. All compounds form hydrogen-bonded structures, one-dimensional in (II), two-dimensional in (I) and three-dimensional in (III). In (I), the cations form centrosymmetric cyclic head-to-tail hydrogen-bonded homodimers [graph set R2/2(14)] through lateral duplex piperidinium N---H...O(amide) interactions. These dimers are extended into a two-dimensional network structure through further interactions with anion phenolate-O and nitro-O acceptors, including a direct symmetric piperidinium N-H...O(phenol),O(nitro) cation--anion association [graph set R2/1(6)]. The monoclinic polymorph (II) has a similar R2/1(6) cation-anion hydrogen-bonding interaction to (I) but with an additional conjoint symmetrical R1/2(4) interaction as well as head-to-tail piperidinium N-H...O(amide) O hydrogen bonds and amide N-H...O(carboxyl) hydrogen bonds, give a network structure which include large R3/4(20) rings. The hydrogen bonding in the triclinic polymorph (III) is markedly different from that of monoclinic (II). The asymmetric unit contains two independent cation-anion pairs which associate through cyclic piperidinium N-H...O,O'(carboxyl) interactions [graph set R2/1(4)]. The cations also show the zig-zag head-to-tail piperidinium N-H...O(amide) hydrogen-bonded chain substructures found in (II) but in addition feature amide N-H...O(nitro) and O(phenolate) and amide N-H...O(nitro) associations. As well there is a centrosymmetric double-amide N-H...O(carboxyl) bridged bis(cation-anion) ring system [graph set R2/4(8)] in the three-dimensional framework. The structures reported here demonstrate the utility of the isonipecotamide cation as a synthon with previously unrecognized potential for structure assembly applications. Furthermore, the structures of the two polymorphic 3,5-dinitrosalicylic acid salts show an unusual dissimilarity in hydrogen-bonding characteristics, considering that both were obtained from identical solvent systems.

Hydrogen bonding in the anhydrous 1:1 proton-transfer compounds of isonipecotamide with nitro-substituted benzoic acids: the salts of the three isomeric mononitrobenzoic acids and of 3,5-dinitrobenzoic acid

The structures of the anhydrous 1:1 proton-transfer compounds of isonipecotamide (piperidine-4-carboxamide) with the three isomeric mononitro-substituted benzoic acids and 3,5-dinitrobenzoic acid, namely 4-carbamoylpiperidinium 2-nitrobenzoate (I), 4-carbamoylpiperidinium 3-nitrobenzoate (II), 4-carbamoylpiperidinium 4-nitrobenzoate (III), (C6H13N2O+ C7H4NO4-) and 4-carbamoylpiperidinium 3,5-dinitrobenzoate (IV) (C6H13N2O+ C7H5N2O6-)respectively, have been determined at 200 K. All salts form hydrogen-bonded structures: three-dimensional in (I), two-dimensional in (II) and (III) and one-dimensional in (IV). Featured in the hydrogen bonding of three of these [(I), (II) and (IV)] is the cyclic head-to-head amide--amide homodimer motif [graph set R2/2~(8)] through a duplex N---H...O association, the dimer then giving structure extension via either piperidinium or amide H-donors and carboxylate-O and in some examples [(II) and (IV)], nitro-O atom acceptors. In (I), the centrosymmetric amide-amide homodimers are expanded laterally through N-H...O hydrogen bonds via cyclic R2/4(8) interactions forming ribbons which extend along the c cell direction. These ribbons incorporate the 2-nitrobenzoate cations through centrosymmetric cyclic piperidine N-H...O(carboxyl) associations [graph set R4/4(12)], giving inter-connected sheets in the three-dimensional structure. In (II) in which no amide-amide homodimer is present, duplex piperidinium N-H...O(amide) hydrogen-bonding homomolecular associations [graph set R2/2(14)] give centrosymmetric head-to-tail dimers. Structure extension occurs through hydrogen-bonding associations between both the amide H-donors and carboxyl and nitro O-acceptors as well as a three-centre piperidinium N-H...O,O'(carboxyl) cyclic R2/1(4) association giving the two-dimensional network structure. In (III), the centrosymmetric amide-amide dimers are linked through the two carboxyl O-atom acceptors of the anions via bridging piperidinium and amide N-H...O,O'...H-N(amide) hydrogen bonds giving the two-dimensional sheet structure which features centrosymmetric cyclic R4/4(12) associations. In (IV), the amide-amide dimer is also centrosymmetric with the dimers linked to the anions through amide N-H...O(nitro) interactions. The piperidinium groups extend the structure into one-dimensional ribbons via N-H...O(carboxyl) hydrogen bonds. The structures reported here further demonstrate the utility of the isonipecotamide cation in molecular assembly and highlight the efficacy of the cyclic R2/2(8) amide-amide hydrogen-bonding homodimer motif in this process and provide an additional homodimer motif type in the head-to-tail R2/2(14) association.

Influence of historic land use change on the biosphere-atmosphere-exchange of C and N trace gases in the humid, subtropical region of Queensland

Increases in atmospheric concentrations of the greenhouse gases (GHGs) carbon dioxide (CO2), methane (CH4), and nitrous oxide (N2O) due to human activities have been linked to climate change. GHG emissions from land use change and agriculture have been identified as significant contributors to both Australia’s and the global GHG budget. This is expected to increase over the coming decades as rates of agriculture intensification and land use change accelerate to support population growth and food production. Limited data exists on CO2, CH4 and N2O trace gas fluxes from subtropical or tropical soils and land uses. To develop effective mitigation strategies a full global warming potential (GWP) accounting methodology is required that includes emissions of the three primary greenhouse gases. Mitigation strategies that focus on one gas only can inadvertently increase emissions of another. For this reason, detailed inventories of GHGs from soils and vegetation under individual land uses are urgently required for subtropical Australia. This study aimed to quantify GHG emissions over two consecutive years from three major land uses; a well-established, unfertilized subtropical grass-legume pasture, a 30 year (lychee) orchard and a remnant subtropical Gallery rainforest, all located near Mooloolah, Queensland. GHG fluxes were measured using a combination of high resolution automated sampling, coarser spatial manual sampling and laboratory incubations. Comparison between the land uses revealed that land use change can have a substantial impact on the GWP on a landscape long after the deforestation event. The conversion of rainforest to agricultural land resulted in as much as a 17 fold increase in GWP, from 251 kg CO2 eq. ha-1 yr-1 in the rainforest to 889 kg CO2 eq. ha-1 yr-1 in the pasture to 2538 kg CO2 eq. ha-1 yr-1 in the lychee plantation. This increase resulted from altered N cycling and a reduction in the aerobic capacity of the soil in the pasture and lychee systems, enhancing denitrification and nitrification events, and reducing atmospheric CH4 uptake in the soil. High infiltration, drainage and subsequent soil aeration under the rainforest limited N2O loss, as well as promoting CH4 uptake of 11.2 g CH4-C ha-1 day-1. This was among the highest reported for rainforest systems, indicating that aerated subtropical rainforests can act as substantial sink of CH4. Interannual climatic variation resulted in significantly higher N2O emission from the pasture during 2008 (5.7 g N2O-N ha day) compared to 2007 (3.9 g N2O-N ha day), despite receiving nearly 500 mm less rainfall. Nitrous oxide emissions from the pasture were highest during the summer months and were highly episodic, related more to the magnitude and distribution of rain events rather than soil moisture alone. Mean N2O emissions from the lychee plantation increased from an average of 4.0 g N2O-N ha-1 day-1, to 19.8 g N2O-N ha-1 day-1 following a split application of N fertilizer (560 kg N ha-1, equivalent to 1 kg N tree-1). The timing of the split application was found to be critical to N2O emissions, with over twice as much lost following an application in spring (emission factor (EF): 1.79%) compared to autumn (EF: 0.91%). This was attributed to the hot and moist climatic conditions and a reduction in plant N uptake during the spring creating conditions conducive to N2O loss. These findings demonstrate that land use change in subtropical Australia can be a significant source of GHGs. Moreover, the study shows that modifying the timing of fertilizer application can be an efficient way of reducing GHG emissions from subtropical horticulture.

Hydrogen bonding in proton-transfer compounds of 5-sulfosalicylic acid with a series of aliphatic nitrogen Lewis bases

The crystal structures of the proton-transfer compounds of 5-sulfosalicylic acid (3-carboxy-4-hydroxybenzenesulfonic acid) with the aliphatic nitrogen Lewis bases, hydroxylamine, triethylamine, pyrrolidine, morpholine, N-methylmorpholine and piperazine, viz. hydroxyammonium 3-carboxy-4-hydroxybenzenesulfonate (1), triethylaminium 3-carboxy-4-hydroxybenzenesulfonate (2), pyrrolidinium 3-carboxy-4-hydroxybenzenesulfonate monohydrate (3), morpholinium 3-carboxy-4-hydroxybenzenesulfonate monohydrate (4), N-methylmorpholinium 3-carboxy-4-hydroxybenzenesulfonate monohydrate (5) and piperazine-1,4-diium bis(3-carboxy-4-hydroxybenzenesulfonate) hexahydrate (6) have been determined and their comparative structural features and hydrogen-bonding patterns described. Crystals of 4 are triclinic, space group P-1 while the remainder are monoclinic with space group either P21/c (1 - 3) or P21/n (5, 6). Unit cell dimensions and contents are: for 1, a = 5.0156(3), b = 10.5738(6), c = 18.4785(9) Å, β = 96.412(5)o, Z = 4; for 2, a = 8.4998(4), b = 12.3832(6), c = 15.4875(9) Å, β = 102.411(5)o, Z = 4; for 3, a = 6.8755(2), b = 15.5217(4), c = 12.8335(3) Å, β = 92.074(2)o, Z = 4; for 4, a = 6.8397(2), b = 12.9756(5), c = 15.8216(6) Å, α = 90.833(3), β = 95.949(3), γ = 92.505(3)o, Z = 4; for 5, a = 7.0529(3), b = 13.8487(7), c = 15.6448(6) Å, β = 90.190(6)o, Z = 4; for 6, a = 7.0561(2), b = 15.9311(4), c = 12.2102(3) Å, β = 100.858(3)o, Z = 2. The hydrogen bonding generates structures which are either two-dimensional (2 and 5) or three-dimensional (1, 3, 4 and 6). Compound 6 represents the third reported structure of a salt of 5-sulfosalicylic acid having a dicationic piperazine species.

Sensitivity of Dot-ELISA on Nitrocellulose Membranes in Comparison with ELISA on Polystyrene Plates for the Detection of Four Plant Viruses

ABSTR.4CT Senitivity of dot-immunobindinding ELf SA on nitrocellulose membrane (DotELISA)was compared with double-antibody sandwich ELISA (DAS-ELlSA) on polystyrene plates for the detection of bean yellow mosaic virus (BYMV), broad bean stain virus (WMV-2). Dot-ELISA was 2 and 1O times more sensitive than DAS-ELISA for the detection of BBSV and WMV-2, respectively, whereas DAS-ELISA was more sensitive than Dot-ELiSA for {he detection of BYMV. Both techniques were equally sensitive for the detection of BYDV. Using one day instead uf the two-day procedure, the four viruses were still detectable and the ralative sensitivity of both techniques remained the same.