“Algebraic Cryptanalysis” against a cryptosystem often comprises finding enough relations that are generally or probabilistically valid, then solving the resultant system. The security of many schemes (most important being AES) thus depends on the difficulty of solving multivariate polynomial equations. Generically, this is NP-hard. The related methods of XL (eXtended Linearization), Gröbner Ba...

This document describes the Advanced Cryptographic Engine (ACE ). It specifies a public key encryption scheme as well as a digital signature scheme with enough detail to ensure interoperability between different implementations. These schemes are almost as efficient as commercially used schemes, yet unlike such schemes, can be proven secure under reasonable and well-defined intractability assum...

A selective disclosure attribute-based credential system (SDABCS) can provide a communication mechanism to protect both security and privacy in electronic communication, by issuing a kind of credential with attributes, which the user can disclose parts of attributes. We present a general framework for formally verification of SDABCS with applied Pi calculus, and provide three definitions of rel...

No wonder you activities are, reading will be always needed. It is not only to fulfil the duties that you need to finish in deadline time. Reading will encourage your mind and thoughts. Of course, reading will greatly develop your experiences about everything. Reading concrete mathematics a foundation for computer science is also a way as one of the collective books that gives many advantages. ...

In this paper, modeling of high speed projectiles with different nose shapes, penetrating into steel fiber reinforced concrete is investigated. This is a novel study because it considers the length to diameter ratio of steel fiber as well as projectile length to diameter ratio and volume fraction of fiber used in concrete matrix on the impact resistance of steel fiber reinforced concrete fibers...

In this study, the co-operation of steel and concrete in composite columns is considered. Using numerical modeling to study the behavior of these sections, a new type of sections, namely Concrete Filled Double-Skin steel Tubular (CFDST) columns, is introduced. The parameters and techniques that influence the numerical simulation that bring this modeling closer to...

   This paper reviews some progressive studies and innovations in cement and concrete materials in nano field. Due to the widespread acceptance of the special properties of nano materials and using them for engineering concrete performance, understanding and directing their properties are not achievable without instructing concepts and investigating interactions among components. Due to ach...

In this research, the performance of ultrasonic pulse velocity (UPV) in concrete is examined as a nondestructive experiment in order to estimate mechanical (compressive and tensile strength) and durability (water absorption) properties of fiber-reinforced self-compacted concrete For this purpose 11 mixture designs containing 3 types of fibers (steel: 0.1, 0.2, 0.3 and 0.4 percent by volume, Pol...

With many years of construction and application of common concrete, researchers have always been searching for a better composition. One of the notable ideas for achieving such a composition is using recycled materials. One of the materials which is suitable for environment and constant development is damaged tires .For studying mechanical properties of concrete containing tire particles, a ser...

Steel corrosion of bars in concrete structures is a complex process which leads to the reduction of the cross-section bars and decreasing the resistance of the concrete and steel materials. In this study, reliability analysis of a reinforced concrete beam with corrosion defects under the distributed load was investigated using the enhanced Hasofer-Lind and Rackwitz-Fiessler (EHL-RF) method base...