Information systems security defines three properties of information: confidentiality, integrity, and availability. These characteristics remain major concerns throughout the commercial and military industry. In this work, we focus on the integrity aspect of commercial security applications by exploring the nature and scope of the famous integrity policy the Clinical Information Systems Policy....

PURPOSE The porcelain fused to gold has been widely used as a restoration both with the natural esthetics of the porcelain and durability and marginal fit of metal casting. However, recently, due to the continuous rise in the price of gold, an interest towards materials to replace gold alloy is getting higher. This study compared the bond strength of porcelain to millingable palladium-silver (P...

A study was carried out on the aging behaviour of a solution treated 6082 aluminium alloy deformed by equal channel angular pressing up to six passes. Aging of the so obtained ultrafine alloy was studied by DSC and TEM analyses as well as by isothermal treatments at 130, 160 and 180 C. The results showed that the formation of metastable 00 and 0 precipitates were markedly anticipated and that t...

Rapid solidification by planar flow casting has been found to have introduced deficiencies, viz. partial crystallinity, air pockets and compositional difference in the ribbons of rapidly solidified Ti42⋅9Cu57⋅1 alloy. In order to investigate the effects of these deficiencies on the corrosion of rapidly solidified Ti42⋅9Cu57⋅1 alloy ribbons, electrochemical behaviour of alloy ribbons has been in...

Alloy is a specification language based on a relational firstorder logic with built-in operators for transitive closure, set cardinality, and integer arithmetic. The Alloy Analyzer checks Alloy specifications automatically with respect to bounded domains. Thus, while suitable for finding counterexamples, it cannot, in general, provide correctness proofs. This paper presents Kelloy, a tool for v...

This paper aims to compare the tribo-mechanical properties and structure–property relationships of a wear resistant cobalt-based alloy produced via two different manufacturing routes, namely sand casting and powder consolidation by hot isostatic pressing (HIPing). The alloy had a nominal wt % composition of Co–33Cr–17.5W–2.5C, which is similar to the composition of commercially available Stelli...

Fe-Cr-Al alloy nanopowders were successfully prepared by electrical wire explosion method in ethyl alcohol media. The formation of FeCr-Al alloy nanopowder was monitored by X-ray diffraction. The alloy powders have spherical shape and nanometer size. The alloy powders prepared by the electrical wire explosion method have main crystal structures of bcc Fe-Cr alloy. The geometric mean diameter an...

In vitro tensile bond strengths were determined for three adhesive cements and two resin-bonded bridge cements to two alloys, each prepared by two methods: sandblasted Ni-Cr-Be alloy (I), electro-etched Ni-Cr-Be alloy (II), sandblasted Type IV gold alloy (III), and tin-plated Type IV gold alloy (IV). Storage conditions of 24 hours at 37 degrees C and 30 days at 70 degrees C were evaluated. The ...

The Al-Mg-Ge alloy is one of the age-hardening aluminum alloy after solution heat treatment. It has been proposed that the age-precipitation behavior of Al-Mg-Ge alloy is different from that of Al-Mg-Si alloy according to our previous works about the microstructure on Al-Mg-Ge alloy over-aged at 523K. For example, The hardness of peak aged Al-1.0mass%Mg2Ge alloy is higher than that of Al-1.0mas...

Alloy is a new modeling language for software design, while Unified Modeling Language (UML) is a standard modeling language widely used in industry. This paper analyzes the similarities and the differences between Alloy and UML. It focuses on the complexity differences, accuracy differences, and the expression differences between these two languages. Both Alloy and UML can be used to specify th...