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 presents the difference in behavior between hollow-core fiber reinforced polymer-concrete-steel (HC-FCS) columns and conventional reinforced concrete (RC) columns under vehicle collision in terms of dynamic and static forces. The HC-FCS column consisted of an outer FRP tube, an inner steel tube, and a concrete shell sandwiched between the two tubes. The steel tube was hollow inside a...

a comparison between design codes i.e. aci and aisc-lrfd in evaluation of flexural strength of concrete filled steel tubular columns (cfts) is examined. for this purpose an analytical study on the response of cfts under axial-flexural loading is carried using three-dimensional finite elements with elasto-plastic model for concrete with cracking and crushing capability and elastoplastic kinemati...