경주 중저준위방폐물 처분시설 내 셀룰로오스 함유 방폐물 처분가능 총량 도출을 위한 스웨덴 SFR 처분시설 사례 분석

하재철,강명구,최세호,JaeChul Ha,MyungGoo Kang,SeHo Choi 한국방사선산업학회 2023 방사선산업학회지 Vol.17 No.4

There are various factors that have a negative impact on safety over a long period of time after the closure of a radioactive waste disposal facility. In particular, it is important to limit substances that accelerate radionuclide migration while inhibiting adsorption between radionuclides and the subsurface medium. Through this study, a method for deriving a quantitative criteria evaluation method is proposed for cellulose among materials that accelerate the movement of these radionuclides after closure of the disposal facility. Since Sweden's SKB is representative worldwide for preparing criteria for cellulose in disposal facilities, it analyzed Sweden's acceptance criteria method and presented a method that can be applied domestically. The decomposition characteristics of cellulose and the adsorption and dissolution characteristics of ISA among degradation products were reviewed, and quantitative analysis of cement materials that create a high pH environment favorable for cellulose decomposition was also included. In addition, the total amount of the finally disposable cellulose material can be derived by using the volume information of the waste containing the cellulose material. Through this methodology for calculating the total amount of cellulose, it is expected that subsequent studies will be conducted to secure data reflecting the environmental conditions of radioactive waste disposal facilities in Korea. In addition, it is expected to be utilized as a good method to evaluate the impact of other complexing agents other than cellulose and to suggest the amount of disposal.

중·저준위 방사성폐기물 처분시설 폐쇄후 기체이동

하재철,이정환,정해룡,김주엽,김주열,Ha, Jaechul,Lee, Jeong-Hwan,Jung, Haeryong,Kim, Juyub,Kim, Juyoul 한국방사성폐기물학회 2014 방사성폐기물학회지 Vol.12 No.4

본 연구에서는 중 저준위방사성폐기물 처분시설(이하 처분시설)에서 발생하는 기체의 이동현상을 예측하기 위한 2차원 수치 모델링을 수행하였다. 또한, 기체 이동 모델링에서 주요 입력변수로 적용되는 사일로 콘크리트의 기체침투압(gas entry pressure)와 기체 투과도(gas permeability)를 실측하여, 모델링 입력변수로 적용하였다. 사일로 콘크리트의 기체침투압(gas entry pressure)와 기체 투과도(gas permeability)는 각각 $0.97{\pm}0.15bar$ 및 $2.44{\times}10^{-17}m^2$로 측정되었다. 기체 이동 모델링 결과, 사일로 내부에서 발생하는 수소 기체는 기상으로 이동하지 않고 지하수에 용해되어 지하수와 함께 생태계로 이동하는 것을 알 수 있다. 또한, 폐쇄 후 약 1,000 년 후 부터 사일로 상부부터 수소기체 밀도가 증가하기 시작하는 것으로 예측되었다. 따라서, 사일로 내부에서 발생된 기체는 기상으로 사일로 내부에 축적되지 않으며, 이로 인해 사일로 콘크리트의 내구성에 영향을 미치지 않을 것으로 판단된다. The first Low- and Intermediate-Level Waste (LILW) disposal facility with 6 silos has been constructed in granite host rock saturated with groundwater in Korea. A two-dimensional numerical modeling on gas migration was carried out using TOUGH2 with EOS5 module in the disposal facility. Laboratory-scale experiments were also performed to measure the important properties of silo concrete related with gas migration. The gas entry pressure and relative gas permeability of the concrete was determined to be $0.97{\pm}0.15bar$ and $2.44{\times}10^{-17}m^2$, respectively. The results of the numerical modeling showed that hydrogen gas generated from radioactive wastes was dissolved in groundwater and migrated to biosphere as an aqueous phase. Only a small portion of hydrogen appeared as a gas phase after 1,000 years of gas generation. The results strongly suggested that hydrogen gas does not accumulate inside the disposal facility as a gas phase. Therefore, it is expected that there would be no harmful effects on the integrity of the silo concrete due to gas generation.

연산자 조작 공격에 대한 CRT-RSA 알고리듬의 안전성 재분석

하재철(Jae-Cheol Ha),백이루(Yi-Roo Baek),박제훈(JeaHoon Park),문상재(SangJae Moon) 한국정보보호학회 2010 정보보호학회논문지 Vol.20 No.4

최근 오류주입 공격은 중국인의 나머지 정리(Chinese Remainder Theorem)를 이용한 RSA 암호 시스템 (CRT-RSA)의 안전성에 심각한 위협이 되고 있다. 따라서 오류주입 공격에 강인한 대응 암호 알고리듬들이 개발 되었고 다양한 오류 검사 방법이나 오류 확산을 이용한 대응책이 제시된 바 있다. 그러나 최근 Hur 등은 연산자 조작을 이용한 오류주입 공격 시 Kim 등이나 Ha 등이 제안한 알고리듬이 공격될 수 있다고 분석하였다. 본 논문에서는 이연산자 조작 공격이 다정도(multi-precision) 연산을 하는 CRT-RSA 알고리듬에는 적용할 수 없으며 Kim 등이나 Ha 등이 제안한 알고리듬도 여전히 안전함을 밝히고자 한다. Since the RSA cryptosystem based on Chinese Remainder Theorem is vulnerable to many fault insertion attacks, some countermeasures against them were proposed. Recently, Kim et al. or Ha et al. respectively proposed each countermeasure scheme based on fault propagation method. Unfortunately, Hur et al. insist that these countermeasures are vulnerable to their opcode modification fault attack. In this paper, we show that the proposed attack can not apply to almost CRT-RSA countermeasures which use multi-precision operations in long bit computation. Therefore, the countermeasure against fault attack proposed by Kim et al. or Ha et al. are still secure.

왕실보(王實甫) 잡극(雜劇)에 나타난 혼인관(婚姻觀)과 부부관(夫婦觀) 소고(小考) -《서상기(西廂記)》와 《파요기(破窯記)》를 중심으로-

하재철 ( Jae Cheul Ha ) 한국중문학회 2007 中國文學硏究 Vol.34 No.-

고속 멱승을 위한 Montgomery 알고리듬의 변형 및 적용

하재철(Jae-Cheol Ha),문상재(Sang-Jae Moon) 한국정보과학회 1997 한국정보과학회 학술발표논문집 Vol.1997 No.4

비밀정보 동기화에 기반한 Strong RFID 인증 프로토콜

하재철(JaeCheol Ha),김환구(HwanKoo Kim),하정훈(JungHoon Ha),박제훈(JeaHoon Park),문상재(SangJae Moon) 한국정보보호학회 2007 정보보호학회논문지 Vol.17 No.5

최근 Lee 등에 의해 비밀 정보 동기화에 기반한 RFID 인증 프로토콜이 제안되었다. 본 논문에서는 이 프로토콜이 공격자가 악의적인 랜덤 수를 전송함으로써 합법적인 태그로 리더를 속일 수 있는 스푸핑 공격(spoofing attack)에 취약함을 보이고자 한다. 또한 논문에서는 위장공격을 방어할 뿐만 아니라 RFID시스템에서 최근 이슈화 되고 있는 backward untraceability는 물론 forward untraceability를 만족하는 인증 프로토콜을 제안하고자 한다. 특히 제안하는 프로토콜 Ⅱ는 데이터베이스에서 동기화된 태그를 인증하는데 필요한 연산량을 3회의 해쉬 연산(비동기화된 태그의 경우 평균 [m/2]·2+3번, m은 태그 수)으로 줄일 수 있어 대형 RFID 시스템에 적합하다. Lee et al. recently proposed an RFID mutual authentication scheme based on synchronized secret information. However, we found that their protocol is vulnerable to a spoofing attack in which an adversary can impersonate a legal tag to the reader by sending a malicious random number. To remedy this vulnerability, we propose two RFID authentication protocols which are secure against all possible threats including backward and forward traceability. Furthermore, one of the two proposed protocols requires only three hash operations(but, [m/2]·2+3 operations in resynchronization state, m is the number of tags) in the database to authenticate a tag, hence it is well suitable for large scale RFID systems.

My Ántonia에 나타난 Jim Burden의 의식구조 연구

하재철 ( Ha Jaechel ) 현대영미어문학회 1998 현대영미어문학 Vol.16 No.2

This is a study of major characters and changes of the conscious in My Ántonia(1918) by Willa Cather. It analyzes the hero, Jim Burden, the loss of his oedipal connection with his mother and the heroine, Ántonia Shimerda. His narration constitutes a perpetual desirous return to the lost mother-body from which his life departed. As many critics have pointed out, Cather was acutely aware of the contradiction of her own position as a woman and this influenced how she handled Ántonia’s problem of being a new immigrant in the U.S.A. Specifically, this study focuses on Jim’s male-centered culture. Jim Burden, the narrator of this novel, is the one who tells the story from a retrospective viewpoint. This narrative mask permits Cather to hide her real presence and to present her autobiographical story without revealing herself. Despite Jim’s role as a replacement for the author, he is not limited in his autonomy. He is not simply a narrator; he plays a central role in the thematic aspect of the novel. Although many critics have seen Ántonia as the central figure of the novel and her pioneer spirit as its theme, I believe that the novel is not about Ántonia but about Jim’s memory. Jim, as narrator of this novel, reveals his own story and also the reason why Ántonia epitomizes human values for him. The whole novel, in short, consists of the movement from possession to loss, from union to separation. In this process, Jim reveals his consciousness to seek generosity and simplicity like a mother and search for the substitutes of the lost mother. This idea is the deep and central pattern of Jim’s experience in My Ántonia. In this study, I clarify the point that the elements of this novel cohere in Jim’s consciousness, and in his vision of Ántonia they are all subsumed. As a result, he seeks symbolic mothers, but does not satisfy his spiritual desire. Jim’s behavior fits a pattern of modem urbanites’ spiritual emptiness.

브레히트와 현대연극 : 연극을 통한 인지왜곡의 극복

하재철 ( Jae Cheol Ha ) 한국브레히트학회 2014 브레히트와 현대연극 Vol.0 No.31

사회인지이론은 캐나다의 심리학자 앨버트 반두라 Albert Bandura의 ‘사회학습이론’에서 발전한 것으로 학습에서의 카타르시스 이론, 즉 정화이론의 부분부정에서 출발한다. 정화이론은 사람들은 자기 내면의 증오심이나 분노 등 공격적 에너지를 어떤 식으로든 분출해야 하는데, 범죄영화나 폭력물을 봄으로써 이를 달성할 수 있다고 주장한다. 반면에 사회학습이론은 그런 류의 관람물들이 감정의 정화효과와는 반대되는 충동효과나 모방효과를 유발하기도 한다고 설명한다. 반두라에 따르면, 이때 사람들은 자신들이 본 것에 대해 모두 동일하게 반응하는 것이 아니라 자신의 경험과 기억, 사고의 망(網)에 따라 각자 나름대로의 해석을 내리면서 반응하게 되며 바로 이 과정에서 일종의 왜곡현상이 일어나게 된다. 사회인지이론을 접목한 연극의 출발점은 바로 여기에 있다. 이 연극의 전제조건은 사람들(관객)은 한 덩어리의 동일체 집단이 아니라 개인적으로 반응하는 개별기관이라는 것이다. 그러므로 관객들은 동일한 장소에서 동일한 장면(자극)을 보면서도 이 장면들을 서로 다르게 선택하고 조직하고 전환하게 되고 그 결과 상이한 반응을 나타낸다. 그런데 이 반응들이 한 사물 속에 실존하는 여러 가지 상(相)에 대한 해석들일 경우에는 문제가 없지만 그 사물 자체를 왜곡해서 받아들인 결과물일 때는 문제가 적지 않게 된다. 그러므로 앞서 말한 것처럼 사회인지이론을 활용한 연극은 이런 왜곡의 과정을 관객 스스로 인지하고 극복하는 것을 목표로 한다. Die vorliegende Arbeit hat sich zum Ziel gesetzt, die verzerrte Wahrnehmung durch den kognitiven Prozesse korrigieren zu konnen. Hierbei sollte die kognitiven Prozesse ins Theater angewendet werden. Die sozial-kognitive Theorie geht davon aus, dass Menschen sich gegenseitig durch Beobachtung eines ihnen passend erscheinenden Modells neue Verhaltensweisen aneignen konnen. Nach Banduras Ansichten werden dabei kognitive Prozesse auf der personlichen Ebene verzerrt. Man kann nicht diese Verzerrung vermeiden. Alle Entscheidungen und Aktionen sind die Ergebnisse der Wahrnehmung und der Selbstkontrolle externer und interner Reize. Und meistens versucht man, die eigenen verzerrten Entscheidungen und Handlungen zu rechtfertigen. Das auf der sozial-kognitiven Theorie beruhende Theater zielt darauf ab, dass der Zuschauer den Verzerrungsprozess zu erkennen vermag. Und das ultimative Ziel dieses Theaters ist es, keine Rechtfertigung des Verhaltens, sondern Richtiges Verhalten zu akzeptieren.

RSA 암호 시^템을 사용하는 보안성 평가 대상 제품에 대한 취약성 분석 체계 개발

하재철(Jae -Cheol Ha) 호서대학교 공업기술연구소 2016 공업기술연구 논문집 Vol.35 No.1

Recently, many physical attacks wmch can be occurred in case of naive implementation of exponentiation algorithm in RSA ciyptosystem were presented m order to recover a secret key using side channel information. Therefore, some systematic analysis methods of side channel attacks and their countermeasures and efficient security evaluation processes are needed to the evaluator of cryptographic devices. In this paper, we present a vulnerability analysis framework on security evaluation target adopting RSA cryptosystem which is a typical public key cryptosystem. Concretely, we design evaluation flow charts on vulnerabilities which can occurred in the system setup process and an exponentiation computation, then increase evaluation efficiency by eliminating the overlapping of physical tests or unnecessaiy verification processes. RSA 암호 시스템을 암호용 모듈에 구현할 경우 부채널 정보를 이용하여 비밀 키를 추출할 수 있음이 밝혀졌다 . 따라서 암호용 디바이스 평가자에게는 부채널 공격 및 대응 기법에 대한 체계적인 분석 방법 및 효율적인 안전성 평가 절차가 필요하다 . 본 논문에서는 대표적인 공개키 암호 시스템인 RSA 암호 시스템을 구현할 경우 보안성 평가 대상 제품에 대한 취약성을 평가하는 체계를 제시하고자 한다 . 구체적으로 RSA 시스템의 구성과 멱승 연산 과정에서 일어나는 취약성을 평가하는 흐름도를 설계함으로써 중복 시험이나 불필요한 검증 절차를 제거하여 평가 효율성을 증대시켰다 .

현대 예술 및 문화 : 학습극 실천의 패러다임 확장 -인지과학과 게임이론의 활용

하재철 ( Jae Cheol Ha ) 한국브레히트학회 2012 브레히트와 현대연극 Vol.0 No.27

Bertolt Brecht entwickelte um 1930 das Konzept der Lehrstucke, um aus dem klassischen Theater und seinen Institutionen auszubrechen. Die Lehrstucke wendeten sich vor allem an Laien(Lernenden), die sich durch eigenes Spiel oder Beteiligung an Auffuhrungen aktiv mit Problemen der Zeit auseinandersetzen sollten. Aber Brecht hat im Spiel eine moglichen Losung genannt oder zumindest vorgeschlagen. Das unterbricht die Entscheidungschance der Lerneden. Die Kognitive Wissenschaft beschaftigt sich mit der Analyse der menschlichen Informationsverarbeitung. Herbert A. Simon hat ein Konzept der eingeschrankten Rationalitat bei der Entscheidungsfindung eingefuhrt. Sie bezeichnet die Tatsache, dass Entscheidungsprozesse aufgrund von Einschrankungen der kognitiven Fahigkeiten des Menschen immer nur begrenzt rational getroffen werden. Anders ausgedruckt: Aus Zeitmangel, Informationsmangel, Unfahigkeit oder anderen Grunden treffen wir Menschen Entscheidungen manchmal schlechter als unter Idealbedingungen moglich. Vollstandig rationales Verhalten ist unmoglich. Die Prospect Theory(Daniel Kahneman) ersetzt das strikt rationale Modell durch ein Modell, in dem die Rationalitat durch Kognitive Verzerrungen modifiziert wird. Die Spieltheorie erlaubt es, soziale Konfliktsituationen, die strategische Spiele genannt werden, facettenreich abzubilden und mathematisch streng zu losen. Kein Mensch wird jemals so rational sein, wie es den Spielern durch die spieltheoretischen Losungskonzepte unterstellt wird. Menschen unterliegen stets kognitiven Beschrankungen, die perfekt rationales Verhalten in komplexen Spielen ausschließen. Die Kognitive Wissenschaft und die Spieltheorie kann den Rahmen von der Lehrstuckpraxis ausdehnen.