Calcite precipitation induced by clay-bleach cation exchange in andesitic reservoir rocks

Experiments were carried out on the sodium hypochlorite bleach sensitivity of a deep subsurface andesitic reservoir in order to predict possible deleterious mineral transformations during a downhole clean-up job. Experiments involved examination of core samples from the reservoir using an Environmental Scanning Electron Microscope (ESEM) with an attached Energy Dispersive Spectrometer (EDS) before and after the samples were immersed in bleach. Bleach immersion of whole-rock samples resulted in rapid (less than 1 min) precipitation of abundant 3.0-10.0-μm-wide calcite rhombs within clay-associated micropores and on clay and feldspar grain surfaces. Abundant microporefilling calcite rhombs also formed in pure separates of constituent chlorite/corrensite, whereas no calcite formed in a pure separate of constituent zeolite. These experiments indicate that corrensite is the likely calcium source in this experimental fluid-rock system. Formation of calcite occurs via a cation exchange reaction in which calcium in the smectitic interlayers of corrensite exchanges for sodium in the bleach. Serious formation damage due to calcite precipitation would have occurred in the andesite reservoir had it been exposed to bleach. This finding gives credence to earlier suggestions that cation exchange reactions have the potential to cause calcite precipitation in some sandstone reservoirs when exposed to drilling, completion or stimulation fluids. © 1993.

Password Based Server Aided Key Exchange

We propose a new password-based 3-party protocol with a formal security proof in the standard model. Under reasonable assumptions we show that our new protocol is more efficient than the recent protocol of Abdalla and Pointcheval (FC 2005), proven in the random oracle model. We also observe some limitations in the model due to Abdalla, Fouque and Pointcheval (PKC 2005) for proving security of such protocols.

Exchange relationships in building services maintenance activity : a test of transaction cost economics and the resource dependency view

The firm is faced with a decision concerning the nature of intra-organizational exchange relationships with internal human resources and the nature or inter-organizational exchange relationships with market firms. In both situations, the firm can develop an exchange that ranges from a discrete exchange to a relational exchange. Transaction Cost Economics (TCE) and the Resource Dependency View (RDV) represent alternative efficiency-based explanations fo the nature of the exchange relationship. The aim of the paper is to test these two theories in respect of air conditioning maintenance in retail centres. Multiple sources of information are genereated from case studies of Australian retail centres to test these theories in respoect of internalized operations management (concerning strategic aspects of air conditioning maintenance) and externalized planned routine air conditioning maintenance. The analysis of the data centres on pattern matching. It is concluded that the data supports TCE - on the basis of a development in TCE's contractual schema. Further research is suggested towards taking a pluralistic stance and developing a combined efficiency and power hypothesis - upon which Williamson has speculated. For practice, the conclusions also offer a timely cautionary note concerning the adoption of one approach in all exchange relationships.

Universally composable contributory group key exchange

We treat the security of group key exchange (GKE) in the universal composability (UC) framework. Analyzing GKE protocols in the UC framework naturally addresses attacks by malicious insiders. We define an ideal functionality for GKE that captures contributiveness in addition to other desired security goals. We show that an efficient two-round protocol securely realizes the proposed functionality in the random oracle model. As a result, we obtain the most efficient UC-secure contributory GKE protocol known.

Modeling key compromise impersonation attacks on group key exchange protocols

A key exchange protocol allows a set of parties to agree upon a secret session key over a public network. Two-party key exchange (2PKE) protocols have been rigorously analyzed under various models considering different adversarial actions. However, the analysis of group key exchange (GKE) protocols has not been as extensive as that of 2PKE protocols. Particularly, the security attribute of key compromise impersonation (KCI) resilience has so far been ignored for the case of GKE protocols. We first 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 even against outsider KCI attacks. The attacks on these protocols demonstrate the necessity of considering KCI resilience for GKE protocols. Finally, we give a new proof of security for an existing GKE protocol under the revised model assuming random oracles.