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...

This paper describes a review of the potential use of High Strength Incorporating Ground Granulated Blast Furnace Slag and Steel Fiber Reinforced Concrete used in construction industry to improve the structural strength and reduce steel reinforcements requirements. Blast furnace slag (GGBS) has been used as a supplementary material along with the cement. It helps in increasing the durability an...

This paper looks to address the grand challenge of integrating construction materials engineering research within a multi-scale, inter-disciplinary research and management framework for sustainable concrete infrastructure. The ultimate goal is to drive sustainability-focused innovation and adoption cycles in the broader architecture, engineering, construction (AEC) industry. Specifically, a pro...

As argued by ‘Declaration of Concrete Environment (2010)’ of Korea and ‘Declaration of Asian Concrete Environment (2011)’ of six Asian countries, concrete as a single material has lately shown extremely large impact on environmental issues such as climate change. Assessment of environmental impact from concrete material and production has considerable importance. Concrete is a major material us...

Concrete is one of the most widely used construction materials in the world. However, the production of portland cement, an essential constituent of concrete, leads to the release of significant amount of CO2, a greenhouse gas; one ton of portland cement clinker production is said to creates approximately one ton of CO2 and other greenhouse gases (GHGs). Environmental issues are playing an impo...

Self-consolidating concrete (SCC) is becoming a popular choice in concrete industry due to ease of placement in congested reinforcements, reduced labor and equipment, nonsegregating character, and smooth surface. Due to its sensitivity to aggregate grading, proportions, admixtures, and filler contents and being a relatively new material, more information are required on the effects of aggregate...

Using nano-technology materials in the asphalt pavement industry is new compared with Portland cement concrete. The main objective of this study is to investigate the effects of nano-silica modification on some properties of a penetration grade asphalt cement and a typical asphalt concrete. 60/70 penetration grade bitumen was modified with different percentages of nano-silica (i.e. 1, 3 and 5%,...

Concrete is the most widely used man-made material on the planet. Unfortunately, producing Portland cement generates carbon dioxide (a greenhouse gas) at roughly a pound for pound ratio. High-volume fly ash (HVFA) concrete – concrete with at least 50% of the cement replaced with fly ash – offers a potential “green” solution. However, because it is still relatively new and has some disadvantages...

Polymer concrete, a composite material in which the binding material is some type of polymer, is being used more widely in the construction industry. Polymer concretes can also contain steel reinforcing rebars; therefore, the rate of adhesion between polymer concrete and reinforcing steel must be determined. Our study investigated the extent and behaviour of adhesion in the case of reinforcing ...