• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2001.11a
• /
• pp.20-25
• /
• 2001

블록 암호 알고리즘과 블록 암호의 운영모드 및 메시지 인증 알고리즘에 대한 의사 난수성의 증명은 근래의 암호 분석에서 구조적인 안전성을 증명을 위한 기법으로 커다란 안전성의 평가 방법으로 자리 매김하고 있다. 본 논문에서는 비동기식(W-CDMA) 3세대 이동통신 3GPP에서의 MAC 알고리즘의 안전성을 의사 난수성에 기반한 concrete security 관점에서의 안전성에 대해 알아본다. 즉, 3GPP-MAC 알고리즘의 구조적인 안전성에 대한 증명을 다룬다.

• Computers and Concrete
• /
• v.19 no.4
• /
• pp.387-394
• /
• 2017

To study the effects of water-cement ratio changes and cracks on chloride ion transmission rate in cracked concrete, RCM method was adopted to accelerate the diffusion of chloride ion in cracked concrete, and the changes in chloride ion concentration and around the cracks are inferred by finite-element method. The test results show that as far as prefabricated cracks on concrete components are concerned, the width thresholds of two cracks on the concrete specimens with a water-cement ratio of 0.5 and 0.6 are 0.05 mm and 0.1 mm respectively, the width threshold of two cracks on the concrete specimens with a water-cement ratio of 0.4 is 0.05 mm and 0.2 mm respectively; and the results of numerical simulation show that the smaller the water-cement ratio is, the more significant effects of cracks on chloride ion transmission rate are. As a result, more attention shall be paid to the crack prevention, repairing and strengthening for high-strength concrete.

• Proceedings of the Korea Concrete Institute Conference
• /
• 2006.05b
• /
• pp.469-472
• /
• 2006

Amount used of admixture fare is increasing for concrete economic efficiency and ability security. Security of economic efficiency and ability can expect by use of this admixture fare but is displaying a lot of problems on early age strength hold by hydrate delay relatively. Specially, in the case of construction site, concrete strength can speak that interrelation is high with mold removal of forms time. Therefore, is economical and need examination of plan that can secure robber within 3 days using admixture fare such as fly ash and blast furnace slage differential speech to secure function. In this study, adding liquid admixture within 1% of a binding agent quantity to examine these problem with physical characteristic after hardening ago specially, strength change at standard and air dry curing of observed change in priority. Air dried and water curing total strength enhancement effects appeared by thing which is in case of add test result liquid admixture by below 1% and strength deputy by passage of age could know is not big.

• Earthquakes and Structures
• /
• v.11 no.5
• /
• pp.823-840
• /
• 2016

The plastic hinge lengths of beams and columns are a critical demand parameter in the nonlinear analysis of structures using the finite element method. The numerical model of a plastic hinge plays an important role in evaluating the response and damage of a structure to earthquakes or other loads causing the formation of plastic hinges. Previous research demonstrates that the plastic hinge length of reinforced concrete (RC) columns is closely related to section size, reinforcement ratio, reinforcement strength, concrete strength, axial compression ratio, and so on. However, because of the limitations of testing facilities, there is a lack of experimental data on columns with large section sizes and high axial compression ratios. In this work, we conducted a series of quasi-static tests for columns with large section sizes (up to 700 mm) and high axial compression ratios (up to 0.6) to explore the propagation of plastic hinge length during the whole loading process. The experimental results show that besides these parameters mentioned in previous work, the plastic hinge of RC columns is also affected by loading amplitude and size effect. Therefore, an approach toward considering the effect of these two parameters is discussed in this work.

• Structural Engineering and Mechanics
• /
• v.87 no.3
• /
• pp.273-282
• /
• 2023

Concrete construction, one of the oldest building practices, is commonly used in all parts of the world. Concrete is the primary building material for both residential and commercial constructions. The challenge of protecting the buildings, hence nation, against the attack of terrorism has raised the importance to explore the understanding of building materials against the explosion. In this research, a security check-post (reinforced concrete frame filled with plain cement concrete) has been chosen to study the behavior of structural elements under blast loading. Eight nitroglycerines-based dynamite blasts with varying amounts of explosive charge, up to 17 kg weight has been carried out at various scale distances. Pressure and acceleration time history records are measured using blast measuring instruments. Security check post after being exposed by explosive loading are photographed to view cracking/failure patterns on the structural elements. It is noted that with the increase of quantity of explosive, the dimensions of spalling and crack patterns increase on the front panels. Simple empirical analyses are conducted using ConWep and other design manuals such as UFC 3-340-02 (2008) and AASTP-1 (2010) for the purpose of comparison of blast parameters with the experimental records. The results of experimental workings are also compared with earlier researchers to check the compatibility of developed equations. It is believed that the current study presents the simple and preliminary procedure for calculating the air blast and ground shock parameters on the structures exposed to blast explosion.

• Journal of Korean Society of societal Security
• /
• v.2 no.4
• /
• pp.59-65
• /
• 2009

The rebound test using Schmidt hammer is most popular method to estimate strength of concrete. However, this method is inappropriate for Seoul Metro underground structures due to unsuitable aging effects. Consequently, the strength presumption equation of underground structures is proposed according to the correlation of uniaxial compressive strength, rebound test results and age of concrete. To achieve this, the results of in-depth inspection of Seoul Metro underground structures performed annually for last 8 years was anlayed.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.10 no.1
• /
• pp.55-69
• /
• 2007

The paper provides the approach to apply formal methods to the development and certification criteria of defense safety/security-critical software. RTCA/DO-178B is recognized as a do facto international standard for airworthiness certification but lack of concrete activities and vagueness of verification/certification criteria have been criticized. In the case of MoD Def Stan 00-55, the guidelines based on formal methods are concrete enough and structured for the defense safety-related software. Also Common Criteria Evaluation Assurance Level includes the strict requirements of formal methods for the certification of high-level security software. By analyzing the problems of DO-178B and comparing it with MoD Def Stan 00-55 and Common Criteria, we identity the important issues In safety and security space. And considering the identified issues, we carry out merging of DO-178B and CC EAL7 on the basis of formal methods. Also the actual case studies for formal methods applications are shown with respect to the verification and reuse of software components.

• Magazine of the Korea Concrete Institute
• /
• v.14 no.4
• /
• pp.14-21
• /
• 2002

국내에서 시공되는 콘크리트 구조물의 대부분은 레미콘(ready-mixed concrete)으로 시공되고 있기 때문에 레미콘의 품질관리(quality control) 및 품질확보(quality security)는 곧 콘크리트 구조물의 품질과 내구성의 확보를 위해 매우 중요한 사항이다. 최근 콘크리트 구조물의 잦은 사고로 인해 콘크리트의 품질문제가 사회문제로 나타나고 있으며 이에 대비한 콘크리트 품질보증 시스템의 확립이 시급한 실정이다. 그러나 레미콘의 품질환경은 원재료의 품질저하, 레미콘 운반시간의 증대 및 기술개발의 미흡 등 주변여건이 좋은 편은 아니며 레미콘 산업도 경쟁시대에 돌입하면서 레미콘 품질이나 기술우위의 시대로 변화되고 있다.(중략)

• Steel and Composite Structures
• /
• v.42 no.1
• /
• pp.91-106
• /
• 2022

Concrete-filled square stainless steel tubes (CFSSST), which possess relatively large flexural stiffness, high corrosion resistance and require simple joint configurations and low maintenance cost, have a great potential in constructional applications. Despite that the use of stainless steel may result in high initial cost compared to their conventional carbon steel counterparts, the whole-life cost of CFSSST is however considered to be lower, which offers a competitive choice in engineering practice. In this paper, a comprehensive experimental and numerical program on 24 CFSSST stub column specimens, including 3 austenitic and 3 duplex stainless steel square hollow section (SHS) stub columns and 9 austenitic and 9 duplex CFSSST stub columns, has been carried out. Finite element (FE) models were developed to be used in parametric analysis to investigate the influence of the tube thickness and concrete strength on the ultimate capacities more accurately. Comparisons of the experimental and numerical results with the predictions made by design guides ACI 318, ANSI/AISC 360, Eurocode 4 and GB 50936 have been performed. It was found that these design methods generally give conservative predictions to the ultimate capacities of CFSSST stub columns. Improved calculation methods, developed based on the Continuous Strength Method, have been proposed to provide more accurate estimations of the ultimate resistances of CFSSST stub columns. The suitability of these proposals has been validated by comparison with the test results, where a good agreement between the predictions and the test results have been achieved.

• East Asian mathematical journal
• /
• v.39 no.3
• /
• pp.291-298
• /
• 2023

Recently, a new type of encryption called Homomorphic Authenticated Encryption (HAE) has been proposed. This combines the functionality of homomorphic encryption with authentication. Several concrete HAE schemes have been developed and security results for homomorphic authenticated encryption, designed by combining a homomorphic message authentication scheme with a homomorphic secret-key encryption, have been partially reported. In this paper, we analyze the security of a design method that combines homomorphic message authentication and homomorphic encryption, with a focus on the encryption after authentication (EAA) type. The results of our analysis show that while non-forgeability and indistinguishability are maintained, strong non-forgeability is not.