A distributed systems approach to secure Internet mail

One of the obstacles to improved security of the Internet is ad hoc development of technologies with different design goals and different security goals. This paper proposes reconceptualizing the Internet as a secure distributed system, focusing specifically on the application layer. The notion is to redesign specific functionality, based on principles discovered in research on distributed systems in the decades since the initial development of the Internet. Because of the problems in retrofitting new technology across millions of clients and servers, any options with prospects of success must support backward compatibility. This paper outlines a possible new architecture for internet-based mail which would replace existing protocols by a more secure framework. To maintain backward compatibility, initial implementation could offer a web browser-based front end but the longer-term approach would be to implement the system using appropriate models of replication. (C) 2005 Elsevier Ltd. All rights reserved.

Towards a Modeling Environment for Earth Systems Simulations

The developments of models in Earth Sciences, e.g. for earthquake prediction and for the simulation of mantel convection, are fare from being finalized. Therefore there is a need for a modelling environment that allows scientist to implement and test new models in an easy but flexible way. After been verified, the models should be easy to apply within its scope, typically by setting input parameters through a GUI or web services. It should be possible to link certain parameters to external data sources, such as databases and other simulation codes. Moreover, as typically large-scale meshes have to be used to achieve appropriate resolutions, the computational efficiency of the underlying numerical methods is important. Conceptional this leads to a software system with three major layers: the application layer, the mathematical layer, and the numerical algorithm layer. The latter is implemented as a C/C++ library to solve a basic, computational intensive linear problem, such as a linear partial differential equation. The mathematical layer allows the model developer to define his model and to implement high level solution algorithms (e.g. Newton-Raphson scheme, Crank-Nicholson scheme) or choose these algorithms form an algorithm library. The kernels of the model are generic, typically linear, solvers provided through the numerical algorithm layer. Finally, to provide an easy-to-use application environment, a web interface is (semi-automatically) built to edit the XML input file for the modelling code. In the talk, we will discuss the advantages and disadvantages of this concept in more details. We will also present the modelling environment escript which is a prototype implementation toward such a software system in Python (see www.python.org). Key components of escript are the Data class and the PDE class. Objects of the Data class allow generating, holding, accessing, and manipulating data, in such a way that the actual, in the particular context best, representation is transparent to the user. They are also the key to establish connections with external data sources. PDE class objects are describing (linear) partial differential equation objects to be solved by a numerical library. The current implementation of escript has been linked to the finite element code Finley to solve general linear partial differential equations. We will give a few simple examples which will illustrate the usage escript. Moreover, we show the usage of escript together with Finley for the modelling of interacting fault systems and for the simulation of mantel convection.

A carbon activation model with application to longan seed char gasification

In this paper a new structural model is presented to describe the evolution of porosity of char during the gasification process. The model assumes the char structure to be composed of bundles of parallel graphite layers, and the reactivities of each layer with the gasification agent are assumed to be different to represent the different degree of heterogeneity of each layer (i.e. each layer will react with the gasification agent at a different rate). It is this difference in the reactivity that allows micropores to be created during the course of gasification. This simple structural model enables the evolution of pore volume, pore geometrical surface area and the pore size distribution to be described with respect to the extent of char burn-off. The model is tested against the experimental data of gasification of longan seed-derived char with carbon dioxide and it is found that the agreement between the model and the data is reasonably satisfactory, especially the evolution of surface area and pore volume with burn-off.

On the steady-state assumption and its application to the rotating disk voltammetry of adsorbed enzymes

Rotating disk voltammetry is routinely used to study electrochemically driven enzyme catalysis because of the assumption that the method produces a steady-state system. This assumption is based on the sigmoidal shape of the voltammograms. We have introduced an electrochemical adaptation of the King-Altman method to simulate voltammograms in which the enzyme catalysis, within an immobilized enzyme layer, is steadystate. This method is readily adaptable to any mechanism and provides a readily programmable means of obtaining closed form analytical equations for a steady-state system. The steady-state simulations are compared to fully implicit finite difference (FIFD) simulations carried out without any steady-state assumptions. On the basis of our simulations, we conclude that, under typical experimental conditions, steady-state enzyme catalysis is unlikely to occur within electrode-immobilized enzyme layers and that typically sigmoidal rotating disk voltammograms merely reflect a mass transfer steady state as opposed to a true steady state of enzyme intermediates at each potential.

Control of hypersonic turbulent skin friction by boundary-layer combustion of hydrogen

Shvab-Zeldovich coupling of flow variables has been used to extend Van Driest's theory of turbulent boundary-layer skin friction to include injection and combustion of hydrogen in the boundary layer. The resulting theory is used to make predictions of skin friction and heat transfer that are found to be consistent with experimental and numerical results. Using the theory to extrapolate to larger downstream distances at the same experimental conditions, it is found that the reduction in skin-friction drag with hydrogen mixing and combustion is three times that with mixing alone. In application to flow on a flat plate at mainstream velocities of 2, 4, and 6 knits, and Reynolds numbers from 3 X 10(6) to 1 x 10(8), injection and combustion of hydrogen yielded values of skin-friction drag that were less than one-half of the no-injection skin-friction drag, together with a net reduction in heat transfer when the combustion heat release in air was less than the stagnation enthalpy. The mass efficiency of hydrogen injection, as measured by effective specific impulse values, was approximately 2000 s.