Enhanced security protocol engineering through a unified multidimensional framework

Multidimensional security protocol engineering is effective for creating cryptographic protocols since it encompasses a variety of design, analysis, and deployment techniques, thereby providing a higher level of confidence than individual approaches offer. SPEAR II, the Security Protocol Engineering and Analysis Resource II, is a protocol engineering tool built on the foundation of previous experience garnered during the SPEAR I project in 1997. The goal of the SPEAR II tool is to facilitate cryptographic protocol engineering and to aid users in distilling the critical issues during an engineering session by presenting them with an appropriate level of detail and guiding them as much as possible during design, analysis and implementation. The SPEAR II tool currently consists of four components that have been integrated into one consistent and unified graphical interface: a protocol specification environment (GYPSIE), a GNY statement construction interface (visual GNY), a Prolog-based GNY analysis engine (GYNGER), and a message rounds calculator. The multidimensional approach realized by SPEAR II is combined with a graphical interface that focuses on making specification of a protocol and its associated conditions for formal analysis as straight forward and painless as possible. Experiments that we have conducted confirm that the analysis engine is able to generate accurate proofs for achievable GNY-based goals, while preliminary usability experiments have indicated that the interface utilized by SPEAR II is both expressive and simple to use for specifying cryptographic protocols and constructing logic statements pertaining to these protocols.     

High‐Tech‐Cellulose‐Funktionspolymere nach dem ALCERU®‐Verfahren

Functional High‐Tech‐Cellulose materials by the ALCERU® process Cellulose is one of the eldest materials of mankind. While the use of cellulose in former times was focused on application as a more construction or as a more textile material at present time the application profile turns to a more functional material using the ALCERU® process. Shaping of pure cellulose dissolution in NMMNO permits the manufacturing of materials for upholstery, filtration or biodegradable film strips having an uniform cross section. Fibreds, which can be applied in several packaging materials, are available using different techniques for regeneration cellulose. A great field of innovative functional cellulose materials is opened up by addition of several functional additives to cellulose dissolution. In this way piezo‐electrical conductive cellulose fibres (PZT) or high‐temperature filtration membranes are to be generated if one adds special types of ceramic powders. Above all PZT green fibres are applied in more recent uses as sensors or actuators. Electrically conductive cellulose fibres or filaments, which can be also used in the textile chain, can be prepared adding conductive carbon black to a cellulose dope on the same way, too. Cellulose material having adapted conductivity to different application is available by adding an exact defined amount of carbon black to cellulose dissolution. Finally cellulose beads can be manufactured by means of varied shaping technique. The beads are showing variable particle sizes and narrow pore size distribution. These properties open up very interesting application in the field of human blood purification or chromatography.     

Accidents,often the result of an ‘uncontrolled business process’—a study in the (Dutch) chemical industry

Often companies in the (petro‐) chemical industry claim that all possible countermeasures against potential accidents have been taken and therefore accidents are unforeseeable. In this paper we question this statement by analysing the pre‐warning signals (precursors) preceding a number of industrial accidents. 17 accidents that occurred in the (petro‐) chemical industry have been investigated by exploring FACTS, an accident database containing information about industrial accidents worldwide. This paper will demonstrate that the existence of precursor information could have been used to foresee and even prevent these accidents if a proper control action had been initiated. The accidents are analysed further, according to a control model, which was adapted from that of C. Argyris. It demonstrates the ineffectiveness of several elements of business process control loops and that the so‐called ‘double‐loop learning’ cycle is more important than the ‘single‐loop learning’ cycle if one considers safety improvement. Copyright © 2003 John Wiley & Sons, Ltd.     

Integrated-optic dispersion slope equalizer for N/spl times/ several tens of Gb/s WDM transmission

We report a dispersion slope equalizer on a planar lightwave circuit for wavelength division multiplexing (WDM) transmission. This device consists of an array of lattice-formed equalizers with different compensation values fabricated on one wafer and arrayed-waveguide gratings for wavelength multi/demultiplexing. We describe its configuration, operational principle, parameter design, fabrication, and measured characteristics in detail. N/spl times/20 and N/spl times/40 Gb/s slope equalizers were fabricated and their characteristics agreed well with designed values. We also report a reduction in the bias electrical power needed for thermooptic phase shifters in the equalizer array that we realized by employing a phase trimming technique normally used for optical switches.     

The effect of hydrogen on the shear modulus of polycrystalline aluminum

Electrolytic hydrogen saturation of polycrystalline aluminum leads to a significant (up to about 30%) decrease in the shear moduli G of samples. This change in G is accompanied neither by the loss of plasticity (no hydrogen-induced brittleness) nor by a change in the electric resistance (in contrast to that observed during the hydrogenation of typical hydride-forming metals and alloys, including those in the amorphous state).     

A comparative study of thin film insulation techniques for gold electrodes

The increasing use of microelectrodes in small sample volumes and biological environments require the use of thin film insulators. The insulating ability of the thin film insulators electrophoretic paint, polyimide, allylphenol phenol copolymer and an epoxy dip coat have been assessed using gold wires coated in the relevant film. Insulation was assessed by recording the current from the wires in a solution of known redox couple. The effect of prolonged storage in aqueous solutions was also investigated. The most successful insulating approach, with regards to insulative ability, prolonged use in aqueous environments and speed of application, was the combination of cathodic electrophoretic paint followed by polyimide.     

Traffic grooming on WDM rings using optical burst transport

A sublambda traffic-grooming scheme on wavelength-division-multiplexed (WDM) rings, which is called optical burst transport (OBT), is proposed. The network protocol and architecture allow increased flexibility to tailor the transport network behavior for efficient delivery of bursty data traffic. Using different network parameters, its performance is analyzed via simulation, and the implementation issues including the media-access-control (MAC) protocol, tunable-filter controller, and burst-mode receiver are addressed. Finally, the feasibility of the OBT with an experimental testbed built by the authors is demonstrated and a streaming-video application is used to present its overall functionality.     

A comparative study of the durability and behaviour of fat lime and feebly-hydraulic lime mortars

Lime mortars are often used for repairs to historic buildings. This paper investigates two forms of lime binder: fat and feebly-hydraulic, in order to predict their long-term behaviours and hence ascertain which of the two possesses greater durability, so that they may be used more efficiently in restoration. Mortars were tested for properties governing moisture movement and also subject to durability cycles. The resistance to damage under freezing conditions was evaluated with the saturation coefficient. Thermal cycles had no effect on the mortars and gave no indication of the relative durabilities of the binders. Salt crystallization cycles, though effective in distinguishing the more durable of the two, were too aggressive to gauge a clear profile of salt weathering and succeeded in rapidly decomposing the samples. Tests on the properties governing moisture movement produced good indications of the degree to which the mortars permit flow through their fabrics. According to the results obtained, fat lime mortars are more durable than those made with feebly-hydraulic lime. The results also suggest that the feebly-hydraulic lime mortars are at a higher risk of decomposition by granular disintegration whereas fat lime mortars are better suited to damp, slightly exposed conditions. These results disagree with the general opinion that hydraulic limes are more durable than fat limes due to the additional strength and water insolubility arising from their hydraulicity.     

Sicherer und wirtschaftlicher Betrieb von Kraftwerken – Ergebnis der Forschung im Bereich Werkstoffe,Auslegung und Instandhaltung

Safe and Economic Operation of Power Plants – Research Results in the Field of Materials, Design and Maintenance Components of power plants which undergo high temperatures are subjected to complex loading situations. The requirements on the used materials result from the special operation conditions of the plants and have to be adjusted to the steadily growing requirements on higher efficiency of the complete power plant as well as to those of safe and economic operation. The expenses for control and downtimes are directly connected with economic efficiency and availability. However, in case of new procedures or components it is not possible to revert to the existing know‐how. Different failure mechanisms than known before can occur. The same goes for the load situation. Therefore the knowledge base has to be extended to in‐advance or even parallely running scientific examinations that life assessment and maintenance strategies can be applied which guarantee the operational reliability and the efficiency of the plant. The main emphasis of these F&E works has to be put on condition monitoring based on actual operational data, the standard materials’ and component’s behaviour (deformation, damage and failure behaviour) in connection with design of components and the related material laws. In the framework of applied AVIF projects, following problems are handled:. – qualification of materials by determinating parameters related to practise. – optimal design of components by making available material laws and numerical tools. – economic manufacturing of components by qualifying processing methods such as welding. – The results can be transferred to concepts for safe and economic operation of power plants, especially for newly introduced materials for which there is no operational experience available.