M. Naor (Ed.): TCC 2004, LCNS 2951, pages 336 352, February 2004. c © Springer-Verlag Berlin Heidelberg 2004. Abstract. We consider compositional properties of reactive systems that are secure in a cryptographic sense. We follow the well-known simulatability approach of modern cryptography, i.e., the specification is an ideal system and a real system should in some sense simulate this ideal one...

Barite (Ba[SO4]) is one of the promising candidates for sequestration radioactive waste. can incorporate radium (Ra) and form ideal solid solutions, i.e., (Ba,Ra)[SO4]. Together with isostructural celestite (Sr[SO4]), ternary (Ba,Sr,Ra)[SO4], may exist in natural conditions. Our fundamental understanding dissolution kinetics sulfates critically important a better risk assessment nuclear waste r...

Drilling fluids can be considered complex liquids containing several desired materials. These materials (small additives) are specialty products that serve a specific need, such as controlling the rheological properties of drilling fluid and reducing corrosion for operational both oil gas wells. Additives used to resist called inhibitors. Previous research has shown polymers Carboxymethyl Cellu...

The ~635 Ma Marinoan glaciation is marked by dramatic Earth system perturbations. Deposition of nonmass-dependently (17)O-depleted sulfate (SO4(2-)) in worldwide postglacial sediments is, thus far, unique to this glaciation. It is proposed that an extremely high-pCO2 atmosphere can result in highly (17)O-depleted atmospheric O2, or the Marinoan Oxygen-17 Depletion (MOSD) event. This anomalous (...

Multiscale modeling for cement-based materials, such as concrete, is a relatively young subject, but there are already a number of different approaches to study different aspects of these classical materials. In this paper, the parameter-passing multiscale modeling scheme is established and applied to address the multiscale modeling problem for the integrated system of cement paste, mortar, and...